開会式
LR201: 山田達也「2次体はどのくらい存在するのか?」
X (旧Twitter): Chogorizawa
分野: 整数論
想定する前提知識: 微分積分, 線形代数, 群論, 環論
ファイル:
アブストラクト
スライド
LR202: まるまる「Baum-Connes予想入門」
X (旧Twitter): m_a_t_h_01
分野: 作用素環論,粗幾何学
想定する前提知識: 関数解析,
ファイル:
アブストラクト
LR201: 人工対数「-空間上のフーリエ変換」
X (旧Twitter): F5nUa
分野: 実解析
想定する前提知識: 学部3回生くらい?の解析(アブストラクト参照)
ファイル:
アブストラクト
スライド
LR202: N.Y「ディオファントス方程式の解の個数の数え上げ公式」
X (旧Twitter): N_Y_Big_Apple
分野: 数論?確率論?
想定する前提知識: 確率変数の基本的な概念(期待値など)学部1回生の微積で習うような収束概念
ファイル:
アブストラクト
LR203: しずめこみ「アルクビエレ・ワープドライブについて」 💻
X (旧Twitter): Submersion13
分野: 相対論
想定する前提知識: 特殊相対論(世界線とか)
ファイル:
アブストラクト
スライド
LR201: いことんど「PA の可算超準モデルってマジやばくて!」
X (旧Twitter): ikotondo
分野: 数理論理学
想定する前提知識: 古典一階述語論理の完全性定理の主張を理解できること
ファイル:
アブストラクト
スライド
LR202: サクラ「トポロジー」
X (旧Twitter): 1997_takahashi
分野: トポロジー
想定する前提知識: 位相空間論、圏論
ファイル:
アブストラクト
懇親会
LR201: Alwe「群は単なる基点付き連結1-型だよ、何か問題でも?」
X (旧Twitter): Alwe_Logic
分野: ホモトピー型理論
想定する前提知識: ホモトピー型理論、特にunivalence axiomやtruncation levelなどに直感があると良いです。あるいはホモトピー論の知識で代用できるかもしれないです。
ファイル:
アブストラクト
スライド
LR202: すむーずぷりんちゃん「あるエンジニアから見たAIとこれからの数学」 🔰
X (旧Twitter): mat_der_D
分野: その他
想定する前提知識: 特になし
ファイル:
アブストラクト
スライド
LR203: 渕沢弘昌「曲面のキルト分解の変換のなす亜群の表示」 🔰 💻
X (旧Twitter): hoshikuzumath
分野: 低次元トポロジー
想定する前提知識: 「群、群の表示、セル複体、イソトピー(ホモトピー)、基本群(単連結)」などの概念をご存じであると意味が通じやすいですが、これらの概念をまったくご存じなくても通じるような話をいたします。
ファイル:
アブストラクト
スライド
このたびarXivに出した[F2]です。
交流会
LR201: すてふ「まだまだ擦れるリーマン面のモジュライコンパクト化」
X (旧Twitter): Sgt_Stephen3rd
分野: 代数幾何/複素幾何
想定する前提知識: 多様体論、複素解析、曲面論の初等的な知識
ファイル:
アブストラクト
LR202: はる「幾何と幾何を繋げよう」 🔰
X (旧Twitter): team_mathsan
分野: 微分幾何、代数幾何
想定する前提知識: 位相空間論、可換環論
ファイル:
アブストラクト
スライド
LR203: 君がいるだけで「部分構造論理入門」 🔰 💻
X (旧Twitter): Nr2YcdmDGE53729
分野: 数理論理学/哲学的論理学
想定する前提知識: 必要とする前提知識はできる限り少なくするつもりである.一応,数学や論理学を専門にしてい ない哲学科の学生や高校生にも理解できるような形で講演することを目標にする.恐らく,(高校 で習う)初歩的な集合の知識が分かれば十分だと思われる.
ファイル:
アブストラクト
スライド
LR201: トー「トロピカル幾何学だって,みんなのお役に立つん だよ!!」
X (旧Twitter): to_manifold
分野: 代数幾何
想定する前提知識: 線形代数、代数学
ファイル:
アブストラクト
スライド
閉会式