[Name]: HARAO Masateru
[Birth Day]:Year January 26th in 19??
(PjAdvanced omputation theory
iQjAdvanced Program theory
Refer to here
(1) Artificial Intelligence (2) Theorem Proving (3) Intelligent Reasoning (4) Logic Program (5) Type Theory (6) Computation Theory
1966 Kyushu Institute of Technology, Dept. of Electrical Engineering. 1972 Graduate School of Electrical and Communication, Doctor course , Tohoku University
Doctor of Engineering (Tohoku University)
(1) Japanese Society for Artificial Intelligence (2) The Institute of Electronics, Information and Communication Engineers (3) Japan Society for Software Science and Technology (4) Information Processing Society of Japan
* 1972 April : Research Assistant of "Research Institute of Electrical Communication, Tohoku University'. * 1976 December : Associate Professor of "Research Institute of Electrical Communication, Tohoku University". * 1984 September : Professor of "Department of Information Engineering , Yamagata University". * 1989 April :Professor of "Department of Artificial Intelligence, Kyushu Institute of Technology".
1987 Excellent paper award in Annual Conference of JSAI 1989 Excellent paper award in Annual Conference of JSAI 1990 Excellent paper award in Annual Conference of JSAI