| 日時 | 火曜日3限(13:00〜14:30) |
| 場所 | 工学部10号館4階第二講義室 |
| date | 講義内容(予定) | 配布資料 |
|---|---|---|
| 10/5 | 事務連絡・導入・数学の復習 | resume1.pdf |
| 10/12 | 算術式/多項式の言語 | resume2.pdf,補遺(resume2a.pdf) |
| 10/19 | λ計算(1) | resume3.pdf,補遺(resume3a.pdf) |
| 10/26 | λ計算(2) | resume4.pdf,補遺(resume4a.pdf) |
| 11/2 | λ計算(3) | 配布資料はありません |
| 11/9 | 単純型付λ計算(1) | resume5.pdf,補遺(resume5a.pdf) |
| 11/16 | 単純型付λ計算(2) | 中間レポート課題 |
| 11/30 | オブジェクト計算(1) | resume7.pdf |
| 12/7 | オブジェクト計算(2) | resume8.pdf |
| 12/14 | オブジェクト計算(3) | resume9.pdf |
| 12/21 | オブジェクト計算(4) | |
| 1/11 | (休講予定) | |
| 1/18 | 並行プロセス計算 | resume10.pdf |
| 1/25 | (月曜日の読み替え) | |
| 2/1 | (休講予定) | |
| 2/8 | 試験 |