[kisoron-ml] 数学基礎論サマースクール2023のお知らせ(第二報)

関係者の皆様，

以下の要領で数学基礎論サマースクール2023を開催いたします． 周知および多くの方にご出席いただけますと幸いです．

テーマ：連続体上の計算論

日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス 幹事：宮部賢志（明治大学），木原貴行（名古屋大学） 連絡先：宮部賢志，research@kenshi.miyabe.name

講師および内容： 鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論 木原貴行：実現可能性理論／計算可能数学の圏 すべての講演は日本語で行います．

詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/

スケジュールを公開しました． 内容の詳細を加えました． 人数把握のために参加登録をお願いします．参加登録は必須ではありません．

懇親会の案内も加えました． 日時：9月14日(木)の夜 場所：スカイラウンジ暁（リバティタワー17階） https://www.meiji.ac.jp/koho/studentsservice/dining/di_surugadai.html 立食の予定です． 時間がなくて申し訳ありませんが，懇親会参加希望される方は以下までに登録をお願いします． 登録一次締切：9月3日(日)23:59，可能な範囲でこのときまでにお願いします． 最終締切：9月8日(金)昼12:00

どうぞよろしくおねがいします．

宮部