学部授業の方法
計算と論理の学理に基づいて, ラムダ計算序論,関数プログラミング,
人工知能と計算論に関する背景,
知能情報処理の論理的基礎, 論理プログラムの意味論と否定論
を講義した.
また,ソフトウェアと倫理の関係を展開してみた.
コンピュータ科学においては,実体を反映して抽象化された概念に関して,
(記号による)メタ表現力が不可欠であるので,
板書を正確にし, 学生の記述力の向上を計った.
さらに, 例題を用いて, 記号の直観的意味の説明にも心がけた.
著書
- 長尾・辻井・山崎, 情報基礎論, オーム社, 1988年.
- 山崎, 計算論理に基づく 推論ソフトウェア論, コロナ社, 2000年.
専門科目
- プログラミング言語論
- 論理型言語
- 非手続き型言語
- 情報倫理
教養教育科目
コンピュータ科学における
考え方や方法に基礎をおいて,教養教育科目を担当.