みなさま,
東北大学の横山です. 今年度の数学基礎論サマースクールにつきまして, 以下の要領で開催したいと考えております.
日時: 9月17日〜20日(4日間) 場所: 東北大学情報科学研究科(青葉山キャンパス) テーマ: 算術の証明論と構成的数学 講師: 倉橋先生,根元先生,横山,他1-2名にお願いする予定です
ご質問等ございましたら,世話人の横山 keita.yokoyama.c2[at]tohoku.ac.jp までお問い合わせください.
より詳しいことが決まりましたら,またご案内させていただきます. どうぞよろしくお願いいたします.
横山啓太