山崎 進 (Susumu Yamasaki)
A brief English introduction is available.
- 計算論理に基づくプログラミング論
- 推論機構論
- 意味論
推論機構研究のプログラミングシステム研究への適用を試みています．
数学的対象に関する方法論の課題に取り組んでいます.
知識論の課題を検分しています.
授業担当: 2013年3月まで
学部(情報系学科)において
大学院自然科学研究科(計算機科学講座)において
- 知能ソフトウェア（自然科学研究科博士前期課程）
- 知能計算論（自然科学研究科博士後期課程）
- 知能ソフトウェア基礎学演習（自然科学研究科博士後期課程）