学部・大学院区分
Undergraduate / Graduate
理学部
時間割コード
Registration Code
0615830
科目区分
Course Category
専門科目
Specialized Courses
科目名 【日本語】
Course Title
数理科学展望Ⅲ
科目名 【英語】
Course Title
Perspectives in Mathematical Science III
コースナンバリングコード
Course Numbering Code
担当教員 【日本語】
Instructor
藤原 一宏 ○ 林 正人 HESSELHOLT LARS
担当教員 【英語】
Instructor
FUJIWARA Kazuhiro ○ HAYASHI Masahito HESSELHOLT LARS
単位数
Credits
2
開講期・開講時間帯
Term / Day / Period
春 火曜日 4時限
Spring Tue 4
授業形態
Course style
講義
Lecture
学科・専攻
Department / Program
Department of Mathematics
必修・選択
Compulsory / Selected
Selected


授業の目的 【日本語】
Goals of the Course(JPN)
この講義は講師三人によるオムニバス形式の英語講義である.
内容は英文を参照すること.
See English text.
授業の目的 【英語】
Goals of the Course
The first part (Fujiwara) of the course provides a brief look at the classical Galois theory (theory of symmetries of algebraic equations) from a categorical viewpoint, following the idea of Grothendieck in 1960's.

In the second part (Hesselholt), more detailed basics of category theory will be discussed.
The theory provides a useful language in algebraic and geometric theories in pure mathematics, and also in applied mathematics such as computer science.

The subject for the third part (Hayashi) is on information.
This course briefly explain how to mathematically formulate information-theoretical security.
到達目標 【日本語】
Objectives of the Course(JPN))
各講師ごとに与えられたテーマに則した問題について考察し, レポートを作成, 提出することによってテーマの理解を深める. 各テーマの内容は英文を参照すること.
See English text.
到達目標 【英語】
Objectives of the Course
In part I (Fujiwara), students should learn some basic ideas on Galois theory from a categorical viewpoint.

In part II (Hesselholt), participants should learn some of the key new phenomena, which separate category theory from set theory, including limits and colimits, adjoint functors, and Grothendieck's theorem that, in the category of sets, finite limits and filtered colimits commute.

In part III (Hayashi): Understanding the basics of information-theoretical security.
授業の内容や構成
Course Content / Plan
The following is a preliminary outline of the lectures during the course.

Galois theory from a categorical viewpoint
Lecture 1. Set theory from an axiomatic viewpoint
Lecture 2. Language of category theory, including limits and colimits
Lecture 3. Field extensions
Lecture 4: Galois category
Lecture 5: Examples


Introduction to category theory (Hesselholt)
Lecture 1. Category theory
Lecture 2. Limits and colimits
Lecture 3. Adjoint functors
Lecture 4: The Yoneda embedding
Lecture 5: Grothendieck's theorem

Title: Information theoretical security (Hayashi)

Lecture 1. Notations on probability theory
Lecture 2. Introduction of Information measure
Lecture 3. Security measure
Lecture 4. Hash function
Lecture 5. Leftover hashing lemma
履修条件
Course Prerequisites
Familiarity of linear algebra and calculus is desirable.4年生対象科目。
関連する科目
Related Courses
Part 1: Undergraduate linear algebra, algebra, set theory
Part II: Undergraduate linear algebra, algebra, set theory
Part III: Undergraduate linear algebra, calculus
成績評価の方法と基準
Course Evaluation Method and Criteria
Grades are assigned based on solutions to weekly problem sets.
The course grade is based on a final numerical grade calculated as Max(I+II,I+III,II+III)/2, where I, II, and III are the number of points (between 0 and 100) in each of the three parts of the course.
不可(F)と欠席(W)の基準
Criteria for "Fail (F)" & "Absent (W)" grades
Students should get gradings from at least two lecturers, otherwise you will have W (absence).
The course grade is based on the final numerical grade calculated as above. You may have F (fail) according to the result.
参考書
Reference Book
Recommended books will be introduced in the lecture.
教科書・テキスト
Textbook
N/A.
課外学習等(授業時間外学習の指示)
Study Load(Self-directed Learning Outside Course Hours)
Expect to spend at least two hours per week to read the course notes and complete the problem set.
注意事項
Notice for Students
Each lecturer might use NUCT for various purposes, such as distributing documents and report submissions.
他学科聴講の可否
Propriety of Other department student's attendance
可 (possible)
他学科聴講の条件
Conditions for Other department student's attendance
Contact by email (to Fujiwara) is necessary before signing up to discuss prerequisites.
レベル
Level
2
キーワード
Keyword
Part I: algebraic equations, Galois theory, Galois category
Part II: category, diagram, (co)limit, adjoint, topos.
Part III: Information measure, information leakage, hash function
履修の際のアドバイス
Advice
The most important thing that you learn as a mathematician is what a *definition* is and that a *proof* is. It is not enough to almost understand a definition. You really need to understand definitions completely and be able to state a definition without any mistakes at all.
授業開講形態等
Lecture format, etc.
In person class unless there is a need for the online course.
遠隔授業(オンデマンド型)で行う場合の追加措置
Additional measures for remote class (on-demand class)
You should have access to NUCT.