Kuniaki Mukai
向井 国昭 ムカイ クニアキ

名誉教授
学位工学博士 (東京工業大学, 1991年)
略歴【学歴】
東京大学理学部数学科 (1971年)
【主な前職】
三菱電機 (株) 1971〜1991年
(財)新世代コンピュータ技術開発機構 (出向) (1982〜1991年)
専門分野計算言語学, 状況意味論, 状況理論, チャネル理論,制約論理プログラミング
所属学会・団体情報処理学会, 日本ソフトウェア科学会
主要著作・論文・作品Situation Theory and Its Applications, vol.I,II(共編著),Chicago Press, 1990, 1991.
Constraints on Coalgebras, in Information-oriented Approaches to Logic, Language, and Computation, CSLI Publications, 1995.
連絡先〒252-0882 神奈川県藤沢市遠藤 5322
慶應義塾大学湘南藤沢キャンパス