##master-page:LecturePageTemplate #format wiki #language ja = 言語モデル論 = == 開講時限・場所 == 月曜 2限 7号館214教室 == 担当教員 == 上田和紀 == リンク == * [[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 のサイト]] == 休講・補講 == == 教科書・参考書 == === 教科書 === /* * 書名、著者、出版社、ISBNコード、リンクなど */ === 参考書 === == 評価基準 == レポート・期末試験 == 課題 == * 締切11/27 23:59 [[http://www.ueda.info.waseda.ac.jp/oess/LM2011/Html/class_rsc/materials/exercise1.html]] == 試験 == == ノート == *第3回講義ノート(中途半端) * [[attachment:3.pdf|Tの定義とか]]<
> *ラムダ計算ノート(応用数学XCの内容 チャーチ・ロッサーの定理の証明もあります) * [[attachment:appliedmathXC_note.pdf]] *自分のノートにあった演習題3問+そのうち2問の答え<
> 全部を網羅しているとは言い難い -- TakuyaKuwahara <> * [[attachment:pr.pdf|演習]]<
> *ノートとプリント -- [[perim]] <> * [[attachment:lm_note.pdf|ノート]] * [[attachment:lm_handout.pdf|プリント]] ---- [[Category3年冬学期授業]]