547
コメント:
|
1258
|
削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
行 11: | 行 11: |
* [[http://www.ueda.info.waseda.ac.jp/oess/LM2011/|講義ページ]] * [[http://www.cl.cam.ac.uk/~amp12/ | Dr. Andrew M. Pitts のサイト]] |
|
行 19: | 行 21: |
* 締切11/27 23:59 [[http://www.ueda.info.waseda.ac.jp/oess/LM2011/Html/class_rsc/materials/exercise1.html]] | |
行 20: | 行 23: |
== ノート == 第3回講義ノート(中途半端) * [[attachment:3.pdf|Tの定義とか]]<<BR>> ラムダ計算ノート(応用数学XCの内容 チャーチ・ロッサーの定理の証明もあります) * [[attachment:appliedmathXC_note.pdf]] 自分のノートにあった演習題3問+そのうち2問の答え<<BR>> * [[attachment:pr.pdf|演習]]<<BR>> -- TakuyaKuwahara <<DateTime(2012-02-08T19:51:57Z)>> |
言語モデル論
開講時限・場所
月曜 2限 7号館214教室
担当教員
上田和紀
リンク
休講・補講
教科書・参考書
教科書
参考書
評価基準
レポート・期末試験
課題
試験
ノート
- 第3回講義ノート(中途半端)
Tの定義とか
ラムダ計算ノート(応用数学XCの内容 チャーチ・ロッサーの定理の証明もあります)自分のノートにあった演習題3問+そのうち2問の答え
演習
-- TakuyaKuwahara 2012-02-09 04:51:57