| 日時 | 火曜日3限(13:00〜14:30) |
| 場所 | 工学部10号館4階第二講義室 |
| date | 講義内容(予定) | 配布資料 |
|---|---|---|
| 10/6 | 事務連絡；導入；自然数の加算・乗算・比較と導出システム(1) | resume0.pdf, resume1.pdf |
| 10/13 | 自然数の加算・乗算・比較と導出システム(2) | resume2.pdf, 改訂版 |
| 10/20 | 演習 | app1.pdf |
| 10/27 | (出張のため休講) | |
| 11/3 | (文化の日) | |
| 11/10 | MLの操作的意味論(1) | resume3.pdf, resume4.pdf |
| 11/17 | MLの操作的意味論(2) | resume5.pdf |
| 11/24 | (11月祭) | |
| 12/1 | MLの操作的意味論(3) | resume6.pdf |
| 12/8 | 単純な型システム(1) | resume7.pdf |
| 12/15 | 単純な型システム(2) | |
| 12/22 | 多相的型システム(1) | resume8.pdf |
| 1/7(木) | 型推論 | resume9.pdf |
| 1/12 | 多相的型システム(2); 継続 (1) | resume10.pdf |
| 1/19 | 演習 | |
| 1/26 | 継続 (2) | resume11.pdf |
| 2/2 | 参照 | resume12-rev.pdf(改訂版) |
| 2/9 | 最終レポート締切 |