学部・大学院区分
Undergraduate / Graduate

情報学部

時間割コード
Registration Code

1001140

科目区分
Course Category

専門科目(自然情報)
関連専門科目(人社，CS)

科目名　【日本語】
Course Title

数理情報学１０

科目名　【英語】
Course Title

Mathematical Informatics 10

コースナンバリングコード
Course Numbering Code

SIS-11-3016-J

担当教員　【日本語】
Instructor

木原貴行 ○ 吉信康夫

担当教員　【英語】
Instructor

KIHARA Takayuki ○ YOSHINOBU Yasuo

単位数
Credits

開講期・開講時間帯
Term / Day / Period

秋２期月曜日４時限
Fall2 Mon 4

対象学年
Year

３年
3

授業形態
Course style

講義
Lecture

開講系（学部）・開講専攻（大学院）
Subject

自然・数理情報

必修・選択
Required / Selected

選択

授業の目的　【日本語】
Goals of the Course(JPN)

この講義では、数理情報学9で学習した計算理論と論理学の関連性について、より深く学習する。特に，計算と論理の結び付きに関する「カリー・ハワード対応」について深く学び，さらに，様々なラムダ計算のシステムについて学ぶ。

授業の目的　【英語】
Goals of the Course

In this lecture, we will study more deeply the connection between computation theory and logic learned in Mathematical Informatics 9. In particular, we will study in depth the "Curry-Howard correspondence" concerning the connection between computation and logic, and also learn about various systems of lambda-calculus.

到達目標　【日本語】
Objectives of the Course(JPN)

数理情報学9で学習したことをもとに、計算可能性理論や関連する論理学的トピックの発展的な内容について学ぶ．

到達目標　【英語】
Objectives of the Course

Building on what we have learned in Mathematical Informatics 9, we will learn about the connection between computation and logic.

授業の内容や構成
Course Content / Plan

1. 計算と論理
2. 高階原始再帰
3. システムT
4. ダイアレクティカ解釈
5. ランダム性と情報
6. マルチンゲール
7. ゲーデルの不完全性定理
8. 総括

履修条件・関連する科目
Course Prerequisites and Related Courses

数理情報学9 の内容を理解していることが望ましい。

成績評価の方法と基準
Course Evaluation Method and Criteria

講義中に与える演習課題の評価30％，期末レポート70％，合計100点満点で60点以上を合格とする。

教科書・参考書
Textbook/Reference book

必要に応じて参考資料を配布する。

参考書としては以下を紹介しておく。
大堀淳著「プログラミング言語の基礎理論」
Benjamin C. Pierce著「型システム入門プログラミング言語と型の理論」

課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)

講義において説明した理論を理解するために課題を与える。

授業開講形態等
Lecture format, etc.

遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)