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

講義ノート

木原研セミナー

2017年度の学部後期セミナーでは,現在,以下の2冊の本を輪読しております.

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

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

その他

研究室紹介スライド