6学期講義/言語モデル論

新着情報


科目区分

理学部情報学科6学期開講科目

教員

米澤 明憲(情報理工学系研究科コンピュータ科学専攻教授)

場所

理学部7号館 214

教科書

参考書:モデルと表現 / 米澤明憲, 柴山悦哉 [著] 岩波書店、Concepts in Programming Languages/J.C. Mitchell著, Cambridge Universty Press、 Formal Semantics of Programming Languages/Glynn Winskel著,MIT Press、計算論/高橋正子著 近代科学社

成績評価


過去問


シケプリ


シラバス

プログラミング言語の基礎理論、プログラミング言語のモデル、意味論について講義する。
授業細目: 1)計算とは 2)帰納的関数とプログラミング 3)λ計算 4)プログラム言語の意味論 5)作用型プログラミングと並列処理 6)型推論

関連サイト


講義まとめ

前半は7学期開講の計算モデルの数理とやや被りそうですが、プログラム意味論に興味ある人が先取りするにはちょうど良さそう。

  • 最終更新:2009-09-04 19:20:48

このWIKIを編集するにはパスワード入力が必要です

認証パスワード