プログラム理論と言語
(コンピュータサイエンスコース)

 更新日 25 Jan 2018
 連絡事項
定期試験: 2月1日(木)!8:45-10:15 A21講義室
試験は第1部,第2部の両方
第2部(後半部)演習問題(昨年度版)
20180125: 第2部(後半部)演習問題(本年度版)
    20180125 11:00 整数リストの図を修正(y.firstCell()==null の箇所)
20180125: 2.1.2, 2.1.3, 2.2.1 の修正版をアップ
 連絡先 mh@ist.hokudai.ac.jp

講義資料(第2部)
 2.1 オブジェクト指向言語 − Java
 2.1.1 「もの」とその操作系
 2.1.2 インタフェース
 2.1.3 階層による体系化
 2.2 論理型言語 − Prolog
 2.2.1 関係計算としての論理
 2.2.2 操作的・宣言的意味>