Numbering Code		Year/Term	2022 ・ Second semester
Number of Credits	2	Course Type	Seminar
Target Year	Master's students	Target Student
Language	Japanese	Day/Period	Fri.3
Instructor name	DE BRECHT，Matthew (Graduate School of Human and Environmental Studies Associate Professor)
Outline and Purpose of the Course	この授業では、数理論理学と関連する分野への理解を深めるためのセミナーと演習を行う。
Course Goals	数理論理学と関連する分野の基本的な知識を習得し、独自に研究を進める能力を身につけること。
Schedule and Contents	・第１週：オリエンテーション。 ・第２ー１４週：セミナーおよび演習を行う。扱う内容は、計算理論、論理学、位相空間論、記述集合論、ドメイン理論、ロケール理論、圏論、機械学習などから選ぶ。具体的な内容は参加者と相談して決める。 ・第１５週：フィードバック。
Evaluation Methods and Policy	セミナーでの発表の内容、他の受講者の発表・討論への参加、到達目標の達成度などを総合して評価する。
Course Requirements	計算機科学、計算理論、論理学などの基本的な予備知識を有すること。数理情報論分野に所属する学生以外が受講を希望する場合には，事前に必ず担当者に相談すること。
Study outside of Class (preparation and review)	セミナーの準備を徹底的にしてくること。