Jun-ichi Akahani

Jun-ichi Akahani

Jun-ichi Akahani, Ministar: An Efficient Method for Generating the Optimal Test Tree in Classification Problem Solving (in Japanese), Trans. of IPSJ, Vol.30, No.9, 1989.
Jun-ichi Akahani, A Multi-Agent System Simulator based on Modal Logic (in Japanese), Multi-Agent and Cooperative Computing I, Lecture Note in Software Science, Kindai Kagakusha, 1992.
Jun-ichi Akahani, Katsumi Inoue, Ryuzo Hasegawa, Modal Clause Transformation: A Bottom-Up Approach to Modal Theorem Proving, FGCS Workshop on Automated Theorem Proving, 1994．
Jun-ichi Akahani, Katsumi Inoue, Ryuzo Hasegawa, Bottom-Up Modal Theorem Proving based on Modal Clause Transformation (in Japanese), Trans. of IPSJ, Vol.36, No.4, 1995.
Ishida, T., Akahani, J., Hiramatsu, K., Isbister, K., Lisowski, S., Nakanishi, H., Okamoto, M., Miyazaki, Y., Tsutsuguchi, K., Digital City Kyoto: Towards A Social Information Infrastructure, International Workshop on Cooperative Information Agents (CIA-99), Lecture Notes in Artificial Intelligence, Vol. 1652, Springer-Verlag, 1999．

1988 - 1989 Working Group Member, Institute for New Generation Computer Technology (ICOT)
1991 - 1995 News Committee Member, New Generation Computing Editorial Committee
1993 - 1995 Task Group Member, Institute for New Generation Computer Technology (ICOT)
1994 - 1996 Committee Member, SIG Foundation of Artificial Intelligence, Japan Society for Artificial Intelligence

1985 M.E. in Applied Mathematics and Physics from Kyoto University. Joined NTT
1989 - 1990 Visiting Scholar, Robotics Lab, Stanford University
1992 Senior Research Scientist, NTT Communication Science Laboratories
1996 Associate Manager, Research Planning Department, NTT Communication Science Laboratories
1999 Senior Research Scientist, Supervisor, NTT Communication Science Laboratories