開催要項
日時：2025年10月16日 (木) 午後 ～ 10月18日 (土) 午前
場所：国立赤城青少年交流の家 (下記アクセスの注をご覧ください)
住所：〒371-0101 群馬県前橋市富士見町赤城山27
世話人：堀畑 佳宏 (群馬県立女子大学)
連絡先：horihata [at] mail.gpwu.ac.jp
参加・講演申込：9月12日(金)までに，コチラからお願いします．（9/13 締め切りました）
アブストラクト：講演者は10月3日(金)までにメールでお送りください．
数学基礎論若手の会について
数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です． 講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております． また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの皆様のご参加をお待ちしています．
過去の様子は，こちらから見ることができます．
プログラム
タイトルをクリックするとアブストラクトが見られます．
10月16日（木）
14:00-14:30 西谷史顕（静岡大学）
「アロンシャイン木と閉部分木特性」
14:35-15:05 野呂秀貴（神戸大学）
「無限の組み合わせ論について」
15:10-15:40 梶川彰仁（名古屋大学）
「IZF+DC上の非構成的原理」
15:45-16:15 市川航士郎（名古屋大学）
「TBA」
16:20-16:50 一倉海斗（東北大学）
「Subminimal Logic における算術の分析」
10月17日（金）
9:00-9:30 米田 豊（京都大学）
「倍圏入門」
9:35-10:05 瀬谷聖（京都大学）
「Judgemental equalityとメタな代入に依存しない同一視型の特徴づけ」
10:10-10:40 豊田陽基（東京大学）
「幾何学と論理学の交差点～100 年後の数学～」
10:45-11:15 郭 正隆（名古屋大学）
「オラクルの拡張と還元ゲーム」
11:20-11:50 池田侑登（東京大学）
「証明可能性の構造的理解に向けて：圏論的アプローチ」
～お昼～
13:30-14:00 中田哲（名古屋大学）
「直観主義論理序論としての選言特性証明」
14:05-14:35 横山駆（名古屋大学）
「ランダムネス概論」
14:40-15:10 黒木亮汰（東京大学）
「A quantitative Hilbert’s basis theorem and the constructive Krull dimension」
15:15-15:45 竹田侑人（東北大学）
「Large Ramsey Theorem およびその周辺の逆数学」
15:50-16:20 鈴木悠大（小山高専）
「逆数学とは何か (また何であるべきか)」
10月18日（土）
9:30-10:00 大倉 昂貴（筑波大学）
「NIP 構造の諸相」
10:05-10:35 宮代翔平（筑波大学）
「Fraisse 極限の存在と一意性」
10:40-11:10 中浦鯉太郎（東京大学）
「可算グラフの頂点彩色について」
11:15-11:45 山田瑛嗣（筑波大学）
「Introduction to Reasoning About Knowledge」
参加費
宿泊：大学生・院生は1泊1200円，大人1泊2500円（10/7 学割対応して頂けました！）
食事：朝640円・昼760円・夕920円（3食計2320円）※何れもビュッフェ形式
（例）フル参加 (2泊6食) 7040円（大学生・院生）
※懇親会を16日夜・17日夜に予定．各1000円ほど（会場の食堂にて．持ち込み無し）
特記事項
宿泊
・寝室は相部屋（4人ほど，男女別）
・歯ブラシ，タオル，部屋着等はご持参ください．
・宿泊についてのオリエンテーションを読んでおいてください．
会場アクセス（HPにおけるアクセスについてはコチラ）
JR前橋駅からバスが基本ですが，会場直通バスが1日1本しかありません．
定員の関係上，下記①直通バス利用者が30人を大きく超える場合は，別のデマンドバスを用意します．
人数把握のため，バスの利用予定について，参加申し込みのFormsでお伺いします．
① バス (会場直通)【会場着 13:08】
▶ 12:28 発・前橋駅 ⇒ (富士見温泉経由) ⇒ 13:08 着・会場 ≪50 富士見温泉線≫
② バス＋徒歩30分【会場着 11:45頃】
▶ 10:35 発・前橋駅 ⇒ 11:05 着・富士見温泉 ≪50 富士見温泉線≫
▶ 11:10 発・富士見温泉 ⇒ 11:15 着・龍の口 ≪49 富士見赤城山線≫
▶ 会場まで徒歩 (約30分，1.8km)
③ バス＋徒歩1時間10分 (健脚向け)【会場着 13:10頃】
▶ 11:30 発・前橋駅 ⇒ 12:00 着・富士見温泉 ≪50 富士見温泉線≫
▶ 会場まで徒歩 (約1時間10分．4.3km)
バスの時刻表
≪49, 50系統≫ ①②③ 平1日 土日祝
≪51系統≫ 富士見温泉まで．上記と別系統 平日・土日祝