学部後期課程
HOME 学部後期課程 言語モデル論
戻る
過去（2017年度）の授業の情報です
学内のオンライン授業の情報漏洩防止のため，URLやアカウント、教室の記載は削除しております。
最終更新日：2024年4月22日

授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。

言語モデル論

プログラミング言語の基礎となる計算モデル、および意味論について学び、プログラムの挙動に関する厳密な推論やプログラミング言語およびその処理系の正しい設計を行えるようにする。
MIMA Search
時間割／共通科目コード
コース名
教員
学期
時限
0510020
FSC-IS3020L1
言語モデル論
小林　直樹
A1 A2
月曜2限
マイリストに追加
マイリストから削除
講義使用言語
日本語
単位
2
実務経験のある教員による授業科目
NO
他学部履修
可
開講所属
理学部
授業計画
講義の前半はプログラミング言語の基本的な意味論を学び、後半ではλ計算を代表とする計算モデルおよび型システム等について学ぶ。 第1回：導入 第2回～6回：プログラミング言語の意味論（操作的意味論、表示的意味論、公理的意味論） 第7回～11回: λ計算と型システム 第12回～13回：その他の計算モデルとプログラミングパラダイム 途中で中間試験を行う場合もある。
授業の方法
黒板およびスライドを用いて行う。
成績評価方法
レポートおよび試験に基づいて行う。
教科書
なし
参考書
Glynn Winskel, The Formal Semantics of Programming Languages, The MIT Press, ISBN 0-262-23169-7 その他、講義のホームページ（講義中にアナウンス）に講義ノートを掲載する。
履修上の注意
形式言語、数理論理学の基本的な知識を前提とする。
戻る