| 日時 | 火曜日3限(13:00〜14:30) |
| 場所 | 工学部10号館4階第二講義室 |
| date | 講義内容(予定) | 配布資料 |
|---|---|---|
| 10/2 | 事務連絡・導入・数学的知識の復習 | resume1.pdf |
| 10/9 | 算術式の言語 (1) | resume2.pdf |
| 10/16 | 算術式の言語 (2) | |
| 10/23 | 休講 | |
| 10/30 | 算術式の言語 (3) | resume3.pdf |
| 11/6 | λ計算 (1) | resume4-rev.pdf |
| 11/13 | 風邪のため休講 | |
| 11/20 | λ計算 (2) | |
| 11/27 | λ計算 (3) | |
| 12/4 | 単純型付 λ計算 (1) | resume5.pdf |
| 12/11 | 単純型付 λ計算 (2); 多相性と System F | resume6.pdf |
| 12/18 | System F (2) | |
| 1/8 | Featherweight Java (1) | resume7.pdf |
| 1/15 | 休講 | |
| 1/22 | Featherweight Java (2) | |
| 1/29 | π 計算 | resume8.pdf |