| 日時 | 火曜日3限(13:00〜14:30) |
| 場所 | 工学部10号館4階第二講義室 |
w(Z) = 1 w(S(a)) = w(a) + 1 w(a1+a2) = w(a1) + 2w(a2) w(a1*a2) = 3w(a1)w(a2)
| date | 講義内容(予定) | 配布資料 |
|---|---|---|
| 10/4 | 事務連絡・導入・数学の復習 | resume1.pdf(訂正済) |
| 10/11 | 算術式の言語 | resume2.pdf |
| 10/18 | 算術式の言語(2) | resume3.pdf |
| 10/25 | 算術式の言語(3) | |
| 11/1 | λ計算(1) | resume4.pdf |
| 11/8 | λ計算(2) | |
| 11/15 | 単純型付λ計算(1) | resume5.pdf |
| 11/22 | 単純型付λ計算(2) | |
| 11/29 | Featherweight Java (1) | resume6.pdf |
| 12/6 | ||
| 12/13 | (情報学シンポジウムのため休講) | |
| 12/20 | Featherweight Java (2) | |
| 1/10 | π計算 | resume7.pdf |
| 1/17 | System F (1) | resume8.pdf |
| 1/24 | System F (2) |
| 第1位 | C (Visual C含む) | (21票) |
| 第2位 | Java | (17票) |
| 第3位 | C++ (Visual C++含む) | (16票) |
| 第4位 | Lisp (Scheme 含む), Perl | (7票) |
| 第6位 | ML (Objective Caml 含む), BASIC (Visual BASIC 含む) | (6票) |
| 第8位 | PHP | (4票) |
| 第9位 | Prolog, Pascal (Delphi 含む) | (3票) |
| 第11位 | FORTRAN, Haskell, MATLAB, Python | (2票) |
| 第15位 | Ruby, Hypercard, Javascript, Script (??), R, VHDL, ASM | (1票) |