Jun-ichi Akahani

赤埴淳一

赤埴淳一，分類型問題に対する最適な仮説検証木の効率的な生成法：ＭＩＮＩＳＴＡＲ法，情報処理学会論文誌，第30巻第9号，1989．
赤埴淳一，親切にしてくれるコンピュータ，『ＡＩ奇想曲：「知」の次世代アーキテクチャ』（竹内郁雄編・監修），ＮＴＴ出版，1992．
赤埴淳一，様相論理に基づくマルチエージェント系シミュレータ，マルチエージェントと協調計算Ｉ，レクチャーノート/ソフトウェアサイエンス，近代科学社，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．
赤埴淳一，井上克巳，長谷川隆三，様相節変換に基づくボトムアップ型様相論理証明法，情報処理学会論文誌，第36巻第4号，1995．
平松薫，赤埴淳一，石田亨: WWW・実時間センサ情報の統合によるデジタルシティ京都の構築, 1999年度人工知能学会全国大会 (第13回)論文誌, 1999．
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．