|
サイズ: 474
コメント:
|
サイズ: 1078
コメント:
|
| 削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
| 行 10: | 行 10: |
| * [[http://www.ueda.info.waseda.ac.jp/~ueda/index-j.html|教官のHP]] * [[http://www.ueda.info.waseda.ac.jp/oess/LM2011/|講義ページ]] * [[http://www.cl.cam.ac.uk/~amp12/ | Dr. Andrew M. Pitts のサイト]] |
|
| 行 18: | 行 21: |
| * 締切11/27 23:59 [[http://www.ueda.info.waseda.ac.jp/oess/LM2011/Html/class_rsc/materials/exercise1.html]] | |
| 行 19: | 行 23: |
| == ノート == 第３回講義ノート（中途半端） * [[attachment:3.pdf|Tの定義とか]]<<BR>> ラムダ計算ノート（応用数学XCの内容 チャーチ・ロッサーの定理の証明もあります） * [[attachment:appliedmathXC_note.pdf]] |
言語モデル論
開講時限・場所
月曜 2限 7号館214教室
担当教員
上田和紀
リンク
休講・補講
教科書・参考書
教科書
参考書
評価基準
レポート・期末試験
課題
試験
ノート
- 第３回講義ノート（中途半端）
Tの定義とか
ラムダ計算ノート（応用数学XCの内容 チャーチ・ロッサーの定理の証明もあります）