日時 | 火曜日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 | 試験 |