Mathematics as a daily practice
代数幾何・圏論を軸に学習しています。数学ノートやメモなどの保管場所。
Profile
・徳島大学 理工学部 理工学科 数理科学コース B2。 ・スキーム論を軸に、圏論など抽象的な視点で代数と幾何をやりたいです。 ・「すうがく徒のつどい」や「数物セミナー」の運営をやってます。
Math Diary
最近の足跡（Math Diary）
- 詳細
2025.11.25
Condensed Math に関する覚書。
<p>参考文献 Peter Scholze, Lectures on Condensed Mathematics, 2019 https://www.math.uni-bonn.de/people/scholze/Condensed.pdf Qi Zhu, Fractured Structure on Condensed …</p>
PV 274#1 - 詳細
2025.11.22
東京大学数理科学研究科 2025年度公開講座「D加群」
<p>11/22（日）に東大駒場キャンパスで開催された公開講座『$D$ 加群』に参加してきました。ここでは，その私のノートを公開します。注意：多少私の知識が混ざっているので、完全な板書ではないです。目次『微分方程式とワイル代数』（池 祐一 先生）『$D$ 加群とリーマン・ヒルベルト対応』（阿部 知行 先生）『$D$ 加群の表…</p>
PV 1968#2 - 詳細
2025.11.21
整拡大と付値と極について
<p>あらすじA -> B を整拡大とする。このとき(1) p ∈ Spec(A) の上にただ一つの点 q ∈ Spec(B) があるとき、A_p -> B_q は整(2) B に整域を課す。 p の上に複数の点 q_1, q_2 があるとき、A_p -> B_{q_1} は整ではないという謎命題なんですが…</p>
PV 46#3
Weekly Diary
週間日記
2026/01/15-01/21
01/15（木） spm30th のリレーセミナー班わけが公開され、参加者向けの Discord サーバーが公開されました。本当は、14日公開予定でした。ちょっと運営の仕事が遅れがちで不安です...... それはそうと、数ヶ月開発が忙しいとか言っていたのは、 数物教科書ガイド という無印数物で行われるリレーセミナーの班…
2026/01/08-01/14
01/08（木） ようやくLiuの4章までゼミが終わりました！！！ 浅縹、じゅんにー、某さんありがとう！！！ （もしかして去年一年で1章も進まなかった......?🤔） みんなが院試までに5章は終えたい！！！ 01/09（金） spmのwebアプリ開発を進めています...... 迷惑しかかけておらず、私いる？？？にな…
Study Map
学習テーマ
導来代数幾何
現代的な「正しい」代数幾何を目指し、∞-圏的な視点から幾何を学習したいです。
幾何学的ラングランズ
表現論と数論を結ぶ橋として、幾何学的ラングランズ対応に興味があります。
Condensed Mathematics
どこかおもしろそう感があって学習したいです。
Seminars
自主ゼミのテーマ
スキーム論
Liu ``Algebraic Geometry and Arithmetic Curves''を自主ゼミで扱っています。数論幾何に興味があるわけではないです。
References
（無限）圏論 / ホモトピー型理論
導来代数幾何を見据え、Haugseng ``Yet Another Introduction to Infinity Categories''を進めつつ、Rijke ``An Introduction to Homotopy Type Theory''で synthetic 手法を学習。将来は Riehl-Shulman ``A type theory for synthetic ∞-categories'' を読みたいです。
References
TeX
数学文書の表現力を高めるため、Knuth``The TeXbook''をゼミで学習。TeXのプリミティブを追求し、Knuth の思想を体現する組版を自力で行えることを目標にしています。
References
Activities
近年の活動
2026
- spm30th 参加・運営（副指揮）
- 第9回すうがく徒のつどい 運営（主催）
2026
- spm30th 参加・運営（副指揮）
- 第9回すうがく徒のつどい 運営（主催）
2025
- 東京大学数理科学研究科 2025年度公開講座「D加群」参加
- 第8回すうがく徒のつどい 講演（層から Grothendieck topos への入門）・運営
- 第7回すうがく徒のつどい 講演（中山の補題のいろいろ）・運営
- spm29th-SGL 参加・運営（数学教務）
- spmAdv7th-Cisinski 参加
2025
- 東京大学数理科学研究科 2025年度公開講座「D加群」参加
- 第8回すうがく徒のつどい 講演（層から Grothendieck topos への入門）・運営
- 第7回すうがく徒のつどい 講演（中山の補題のいろいろ）・運営
- spm29th-SGL 参加・運営（数学教務）
- spmAdv7th-Cisinski 参加
2024
- 第6回すうがく徒のつどい 参加・運営
- 第5回すうがく徒のつどい 参加・運営
- spm28th 後半 [ハーツホーン] 参加
2024
- 第6回すうがく徒のつどい 参加・運営
- 第5回すうがく徒のつどい 参加・運営
- spm28th 後半 [ハーツホーン] 参加
2022
- 第42回数理の翼夏季セミナー 参加
2022
- 第42回数理の翼夏季セミナー 参加
Projects
進行中のプロジェクト
資料づくり、ウェブ制作、数理系コミュニティの試みなど。