Okayama University The Graduate School of Natural Science and Technology, (Doctor Course) Division of Industrial Innovation Sciences, Department of Computer Science
About Okayama University The Graduate School of Natural Science and Technology, (Doctor Course) Division of Industrial Innovation Sciences, Department of Computer Science
Dataflow Computing Mechanism for Logic Program and Extraction of Functional from it
World Scientific, Software Science and Engineering (Nakata,I and Hagiya,M., eds.) 1991
Professional career (1):
Doctor of Engineering
Association Membership(s) (5):
日本数学会
, アメリカ人工知能学会(American Association for Artificial Intelligence)
, ヨーロッパ理論計算機科学会(European Association for Theoretical Computer Science)
, AAAI
, EATCS