すうがく徒のつどい
第8回 スケジュール

第1教室 (E301/303): あかり「層から Grothendieck topos への入門」

X (旧Twitter): akari0koutya
分野: 代数、幾何、圏論
想定する前提知識: 位相空間、圏論、代数学の初歩
ファイル: アブストラクト

第2教室 (E404/406/408): N.Y「作曲の数理」 🔰

X (旧Twitter): N_Y_Big_Apple
分野: 応用数学
想定する前提知識: 集合の基本的な操作(同値類など)、確率変数、線形計画について知っていると望ましいが、都度説明する予定である
ファイル: アブストラクト

第3教室 (E304/306/308): 岡本 和也「アレクサンドロフ空間入門」 🔰 💻

分野: 位相空間論
想定する前提知識: 集合論, 位相空間論
ファイル: アブストラクト スライド(直積について修正)

第4教室 (E316/318): 大槻兼資さん「数学でつながる、ゲーム・宇宙・プログラミング」 🔰 💻

分野: collaborate with おきなわ数学まつり
想定する前提知識: ゲームが好きな人も、宇宙に夢を持つ人も、プログラミングを学びたい人も。どんな世界に進むにしても数学は力強い共通の道具になります。今回は数学パズルを通して、さまざまな分野のつながりを体感しましょう！
ファイル:

第1教室 (E301/303): サクラ「Grothendieckトポスことはじめ」

X (旧Twitter): 1997_takahashi
分野: 圏論
想定する前提知識: 位相空間、圏などの基本的な事柄
ファイル: アブストラクト

第2教室 (E404/406/408): うどん「Lévy過程論・概説」

X (旧Twitter): udon_math
分野: 確率論
想定する前提知識: 確率論(分布, 独立, 特性関数がわかればOK) また, 図や直感的説明をメインにするので大学数学を知らなくても多分OK
ファイル: アブストラクト

第3教室 (E304/306/308): アーベルようこ「群論入門〜群論って何だ？〜」 🔰 💻 (キャンセル済み)

X (旧Twitter): youchan_0124
分野: 代数学
想定する前提知識: 算数から高校数学まで何となく覚えている
ファイル: アブストラクト

第4教室 (E316/318): 日曜数学会「日曜数学会 in 沖縄（5分間トークで数学を語る！）」 💻

X (旧Twitter): nichimath
分野: collaborate with おきなわ数学まつり
想定する前提知識: 「日曜数学」とは、趣味でやる数学研究のこと。普段あまり発表する機会のない日曜数学の成果を、LT(5分間発表)の形で発表しましょう！
ファイル:

第1教室 (E301/303): Taichi Uemura「ホモトピー型理論による「正しい」数学」 🔰

X (旧Twitter): t_uemura669101
分野: 数理論理学、計算機科学、代数トポロジー、圏論
想定する前提知識: なし
ファイル: アブストラクト スライド

第2教室 (E404/406/408): すてふ「八元数体で遊ぼう」

X (旧Twitter): Sgt_Stephen3rd
分野: リーマン幾何
想定する前提知識: 基本的なリーマン幾何学（平行移動程度まで）
ファイル: アブストラクト スライド

第3教室 (E304/306/308): 後藤達哉「無限次元位相空間入門」 💻

分野: 位相空間論
想定する前提知識: 集合・位相
ファイル: アブストラクト スライド

第4教室 (E316/318):

第1教室 (E301/303):

第2教室 (E404/406/408):

第3教室 (E304/306/308): yuchains「協力ゲーム理論入門」 🔰 💻

分野: 協力ゲーム理論、経済数学、ミクロ経済学
想定する前提知識: 高校数学、大学教養レベルの数学
ファイル: アブストラクト スライド

第4教室 (E316/318):

第1教室 (E301/303): 山中正和「ミンコフスキー空間内の光的曲線について」 🔰

分野: 微分幾何学
想定する前提知識: 大学１年程度の知識と曲線論の初歩
ファイル: アブストラクト スライド

第2教室 (E404/406/408): 色数「多重ゼータ関数の解析接続とその性質について」 🔰

X (旧Twitter): ATDY6GzGZoYWRWz
分野: 数論
想定する前提知識: なし
ファイル: アブストラクト スライド 時間が余れば…

第3教室 (E304/306/308): Alwe「闇空間\(\mathbb{R}\)と実数の正則性」 (キャンセル済み)

X (旧Twitter): Alwe_Logic
分野: 記述集合論
想定する前提知識: 順序数や基数などの基本的な知識、位相空間論
ファイル: アブストラクト

第4教室 (E316/318):

第1教室 (E301/303): 一人セミナー数理物理「平行切断の可積分条件とPoincareの補題」

X (旧Twitter): hitosemi
分野: 微分幾何
想定する前提知識: 多様体論、Lie群論、主束やベクトル束についてもある程度慣れていることが望ましい
ファイル: アブストラクト スライド

第2教室 (E404/406/408): °ρ°(どろ゛ぉど)「やはり楕円曲線…!!楕円曲線は全てを解決する…!!」

X (旧Twitter): Dorhodo
分野: 数論幾何
想定する前提知識: 線形代数, 群論, 環論, 体論
ファイル: アブストラクト スライド

第3教室 (E304/306/308): いことんど「古典命題論理の健全性と完全性」 🔰

X (旧Twitter): ikotondo
分野: 数理論理学 / 数学基礎論
想定する前提知識: 題材自体は、高校数学の「命題と集合」を知っていれば楽しんでいただけます。数学的な部分については、「集合と位相」の初歩的な知識と、大学数学によくある「任意の◯◯について」や「ある◯◯が存在して」を用いた証明に慣れていれば大丈夫です。
ファイル: アブストラクト スライド

第4教室 (E316/318):

第1教室 (E301/303): すーり「CR多様体の変形と埋め込み可能性」

X (旧Twitter): math_su_ri
分野: CR幾何学
想定する前提知識: 多様体，ベクトル束
ファイル: アブストラクト スライド

第2教室 (E404/406/408): えすきす「"悪い商"の非可換幾何学」

X (旧Twitter): Esquisse1102
分野: 非可換幾何学
想定する前提知識: 関数解析やトポロジーについての基礎的な事項
ファイル: アブストラクト スライド

第3教室 (E304/306/308): すむーずぷりんちゃん「炭化水素列挙 RTA をつまみ食い」 🔰

X (旧Twitter): mat_der_D
分野: 線形代数, グラフ理論, 探索アルゴリズム
想定する前提知識: 線形代数の基礎
ファイル: アブストラクト スライド

第4教室 (E316/318):