ハギヤ, マサミ
萩谷, 昌己(1957-)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
場所 | 東京 |
一般注記 | 専攻: ソフトウェア科学,計算機科学 東京大学理学部助教授→東京大学大学院情報理工学研究科教授(2007.6) EDSRC:論理と計算のしくみ / 萩谷昌己, 西崎真也著(岩波書店 , 2007.6)の奥付頁により経歴を追加 |
生没年等 | 1957 |
から見よ参照 | Hagiya, Masami, 1957- |
コード類 | 典拠ID=AA00000710 NCID=DA00068762 |
1 | ソフトウェア科学のための論理学 / 萩谷昌己 [著] 東京 : 岩波書店 , 1994.1 |
2 | 論理と計算 / 萩谷昌己著 東京 : 岩波書店 , 1993.6 |
3 | Common Lisp入門 / 湯浅太一, 萩谷昌己著 東京 : 岩波書店 , 1986.7 |