科目名 Course Title	形式言語論［26C5143］ Formal Language Theory
授業言語 Language	Japanese
科目区分・科目種	情報科学科	クラス	情報科学科
コンピテンシー	◎批判的思考力，◎問題解決力	ｶﾗｰｺｰﾄﾞ
単位数	2.0単位	履修年次	3〜4年

担当教員	戸次　大介
学期	前期
曜日・時限・教室	火曜 5 〜 6 限 共3-408【情報科学講義室2】

受講条件・その他注意
・「数理基礎論」「位相空間論」において学んだ証明論の知識を前提とします。 ・「情報解析学」と隔年での開講となります。

授業の形態
講義

教科書・参考文献
「数理論理学」戸次大介著，東京大学出版会

ＡＬＨ区分
ＡＬＨを実施しない

評価方法・評価割合
期末試験=40%，中間試験=40%，その他=20%

主題と目標
依存型理論を通して、検証条件の概念が、意味の理論の基礎を与えることを学ぶ。また、自然言語の統語理論である範疇文法によって、自然言語の表層形を依存型理論の型に対応づける理論を学んだのち、両者を合わせて、自然言語において表層形と意味の間にどのような構造があるのかを議論する。

授業計画
第1回：Motivating Dependent Types 第2回：Pi-types (1) 第3回：Pi-types (2) 第4回：Pi-types (3) 第5回：Sigma-types (1) 第6回：Sigma-types (2) 第7回：Enumeration types 第8回：Infinitude Claim 第9回：Combinatory Categorial Grammar (1) 第10回：Combinatory Categorial Grammar (2) 第11回：Quantification (1) 第12回：Quantification (2) 第13回：Quantification (3) 第14回：Quantification (4)

時間外学習
指定した練習問題を解くこと。ALHの内容は授業中に説明する。

学生へのメッセージ
依存型理論と範疇文法を中心として、自然言語の統語理論と意味理論についての講義とする予定です。隔年開講なので履修の際には注意して下さい。

学生の問い合わせ先
SlackチャンネルもしくはDMで。