学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2510034
科目区分
Course Category
主専攻科目
科目名　【日本語】
Course Title		数理情報学基礎論概論2
科目名　【英語】
Course Title		Survey on Pure Mathematical Informatics 2
コースナンバリングコード
Course Numbering Code		GSI116034J
担当教員　【日本語】
Instructor		吉信　康夫 ○ 木原　貴行
担当教員　【英語】
Instructor		YOSHINOBU Yasuo ○ KIHARA Takayuki
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		春２期 月曜日 ３時限
Spring2 Mon 3
対象学年
Year		１年
1
授業形態
Course style
開講系（学部）・開講専攻（大学院）
Subject
数理情報学専攻
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
これから数理情報学を学ぶ上で必要となる数理科学に関連する数学基礎論, 計算可能性理論などの分野について概説する。
授業の目的　【英語】
Goals of the Course
In this survey course, we study some topics from foundations of mathematics and theory of recursive functions in relation to our studies of informatics.
到達目標　【日本語】
Objectives of the Course(JPN)
数学基礎論, 計算可能性理論の基礎的なトピックに触れることで, これらの分野について親しむとともに, これらの分野が数理情報学とどのように関連するかについて理解することを目標とする。
到達目標　【英語】
Objectives of the Course
授業の内容や構成
Course Content / Plan
数学基礎論，計算可能性理論に関するトピックについてリレー形式で講義を行う.

〔計画〕
（木原貴行／４回）・計算可能性理論（帰納的関数論）について解説する。
（吉信康夫／４回）・数学基礎論に関する話題を計４回提供する。
履修条件・関連する科目
Course Prerequisites and Related Courses
履修要件は特にないが, 数理情報学基礎論概論1を併せて受講していることが望ましい.
成績評価の方法と基準
Course Evaluation Method and Criteria
主に期末試験で評価し，１００点満点で６０点以上を合格とする。
教科書・参考書
Textbook/Reference book
必要に応じて参考資料を配布する。
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
レポート課題を課す場合がある. 詳細は講義開始時に各教員から説明する.
授業開講形態等
Lecture format, etc.
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)