国立大学法人 名古屋大学 | 大学院情報学研究科 | 数理情報学専攻 | 数理情報基礎論講座

講義ノート

集中講義・サマースクール

過去の担当講義

名古屋ロジックセミナー

公理的集合論グループ(松原研・吉信研)との共同セミナーを実施しています.
名古屋ロジックセミナー

過去の卒業論文・修士論文

本研究室の学生は,過去に以下のようなテーマで修士論文を書いています.

本研究室の学生は,過去に以下のようなテーマで卒業論文を書いています.