17 May
2023
17 May
'23
11:46 p.m.
関係者の皆様，
以下の要領で数学基礎論サマースクール2023を開催いたします． 周知および多くの方にご出席いただけますと幸いです．
テーマ：連続体上の計算論
日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス 幹事：宮部賢志（明治大学），木原貴行（名古屋大学） 連絡先：宮部賢志，research@kenshi.miyabe.name
講師および内容： 鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論 木原貴行：実現可能性理論／計算可能数学の圏
詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/
どうぞよろしくおねがいします．
宮部
--
Kenshi Miyabe
email (research): research@kenshi.miyabe.name
email (other): miyabe@meiji.ac.jp
Associate Professor
Department of Mathematics
School of Science and Technology
Meiji University
Tel: +81-44-934-7460