学部・大学院区分
Undergraduate / Graduate

理学部

時間割コード
Registration Code

0610006

科目区分
Course Category

専門科目
Specialized Courses

科目名　【日本語】
Course Title

数学研究ＧⅠ

科目名　【英語】
Course Title

Undergraduate Seminar GI

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

担当教員　【日本語】
Instructor

GARRIGUE JACQUES ○

担当教員　【英語】
Instructor

GARRIGUE JACQUES ○

単位数
Credits

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

春水曜日３時限
春水曜日４時限
Spring Wed 3
Spring Wed 4

授業形態
Course style

セミナ－
Seminar

学科・専攻
Department / Program

数理学科

必修・選択
Compulsory / Selected

選択必修

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

テーマ: プログラミング言語と型

プログラミング言語は正確に定義されなければならない。構文的な規則と意味的な規則によってその挙動が細かく規定される。前者は形式言語理論、後者は型理論や意味論という計算機科学特有の分野に発展している。

この卒業研究ではプログラミング言語を理解するための基礎理論を見て行く。

プログラミング言語の基礎概念を学び、型システムや意味論の形式化や証明を理解することを目標とする。また，聴衆を前にして数学的に筋道の通った話ができ、質問に対して的確に受け答えできるようになることも卒業研究の重要な目標になる。

Theme: Programming languages and type systems

A programming language should have a precise definition. Its behavior can be defined through grammatical and semantical rules. The former come from formal language theory, the latter from type theory and formal semantics, all independent areas of theoretical computer science.

In this undergraduate seminar we study the formal theory required to understand formally programming languages.

The goal of this seminar is to learn the fundamental concepts of programming languages, and understand the formal aspects and proof techniques of types systems and semantics. Being able to present a mathematically coherent account of the subject, and handle questions, is another important goal.

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

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

型システムの定義の仕方と基本性質（健全性など）の証明方法の理解。
様々な意味論の存在とその使い方の理解。

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

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

前期はプログラミング言語を定義する方法を見る。そこでは、有限オートマトン、文法、型システムや意味論が使われる。

後期は型システムや意味論をさらに深く調べる。

実施方法として、週に１回、おもに輪講形式のセミナーによって，文献を読み進めていく。

履修条件
Course Prerequisites

定員超過の場合の選考方法: オフィスアワーやビデオ通話などで面談した学生を優先する。