DIARY
2026年7月
2026年7月の日記です。
1日
多分5月に大学で受けたTOEICが郵送で返却されました。 635点でした。 まぁ、徳島大生であること、受験を終えてから英語を勉強していなかったことを踏まえると、まぁまぁまぁ、、、といった感じでしょうか？？？ カスなのには変わりないですが; ;
一限に間に合ってハッピー。
凝縮数学のゼミの資料を作成してました。 以前のゼミでは読み飛ばしていた Appendix 2 が、本質的なことも書かれていることに気づき、急いで読んでいます...... 本当はある程度行間を埋めているコホモロジーとかの話をする予定でしたが、急遽予定を変更しました。 やはり難しく、なかなか進まない...... 本当に証明無しで重要なことをたくさん述べるのやめてくれ〜 明日は土下座かも...... まぁ、明日はゼミ以外で1日なにも予定はないので頑張って間に合わせます......
2日
今日は授業もバイトもない日なのですが、凝縮数学のゼミの進捗具合が芳しくないので、朝から大学の研究室で進捗を産んでいました。 本当に、めちゃくちゃ手を動かさないと示せないことを雰囲気だけ述べている部分が非常に多く、全てが行間でまともに読めません......
ゼミはギリギリ耐えた？？？
今回の発表で一番個人的に好きなのは、Sierpinski空間 を米田の補題で反変Hom関手 として 上 sheaf の圏に埋め込んだ は condensed set とは限らない sheaf の例になる部分です。 uncountable strong limit cardinal , とすると、 の コンパクト化 が 上の ultrafilter 全体と同型であり、 が 未満の clopen set の共通部分で表せないことが本質的に重要です。 そのため、この辺りの話を一度も勉強したことがなかった私にとって、2、3日でこの行間を埋めるのは大変厳しかったです。
今回のセミナーノートもLaTeX化して公開するのでしばらくお待ちください（日曜日に松村のゼミ発表があるので、来週の公開になると思います）。
Fable 5 が公開されていたので、ずっと回していました。
LLM の教科書が arXiv で公開されていたのでちょっと眺めてみました。 数学の文献は tcolorbox を基本的に使わずに書くことがほとんどなのですが、コンピュータサイエンスだと多様な色が使われて面白いですね。 個人的にこれは目が痛くなる配色なので、読む気が失せてしまいますが......
3日
数物の教科書ガイドの修正を急いでしていました :
過去のリレーセミナーの経験を次の世代に受け継いでいくために、毎回班長の方にリレーセミナー(以下RS)のアンケートをとっていて、それを綺麗に公開するために作成しています。
よければ、教科書のレビューをしてください。 ゼミに向いているか・向いていないか程度でもぜんぜん大丈夫なのでお願いします🙇
班長アンケート流し込むの面倒すぎる......
4日
教科書ガイドを31stのサーバーに公開しました。 反応はいいけど？ みんなあんまりレビューしてくれなくて......
Categories and Sheaves がほぼ全員初学の圏論1の班で教科書候補に上がっていて、まてまてまて......となるなど......
こういう時のために、教科書ガイドがあるんですね。 時間ある時にレビューします。
5日
無印で公理的集合論班になったのでちゃんと集合論をやりたい。 昔、Q.rad.heart さんも Kanamori 読んでたはずだし、Kanamori 読みたくなってきたな...... まあ、無難に Kenneth Kunen - Set Theory とかになる気がする。
condensed のゼミ準備で忙しく、昨日まで翼と数物の事務作業が溜まっていたのを消化する必要があったので、発表当日の今日まで碌に松村ゼミのゼミ資料を準備することができませんでした。 カスみたいな資料+カスみたいな内容しか書くことができず、ゼミまでに資料も完成させられなかったので、発表しながら資料を作るというあり得ないことをしてしまいました...... Mark6さんとLinuxmetelにはご迷惑をおかけしました。 申し訳ありません🙇
6日
今日は溜めていた、翼とか数物の事務作業を進めていました。 あみゅさんとかとSlackでゆるゆる雑談していました。 たのち〜〜〜
7日
翼の高校生を見ていると、わたしは大学2年ちょいいて高校生に比べて時間もあるはずなのに、代数幾何も数論幾何もどちらもなんの専門性も身につけられてなくて、非常に恥ずかしくなる。 3年後期からは、団体運営に精力的に活動することを抑えて、院とその先のための専門性を磨くことに注力しよう…… 甘えは無しです……
8日
そういえば、Adv の参加者名簿が発表されました。 班が私(B3),B4,M1,M1,M2,M2 で長谷川研や三枝研の方もいらっしゃるので、今までのゼミの中で一番私が炎上させてしまう可能性があり、やばいです...... う〜〜ん 夏休みは集合論(無印)+p進幾何(Adv)+凝縮数学のゼミ+数理の翼かな〜〜〜
ようやくホームページを自動バックアップする仕組みを作成した......
9日
小林・大島を読み始めました。 杉浦解析が面白くなくて挫折して以降、ずっと解析はこういう雰囲気が続くのだろうと思って逃げていたのですが、フーリエ解析がコンパクト群上の表現として理解できることを知り、かなり解析へのモチベが湧き出てきました。 まあ、解析そのものを解析として理解したいのではなく、Peter-Weylのような、代数としての解釈みたいなことを理解したいのですが...... この分野は、関数解析+表現論+多様体論の知識をフル動員するので、かなり教育的な分野だな〜〜〜となり、もっと早い時期に小林大島を読んでおくべきだったな〜〜〜と後悔しています。 別にB3のこの時期に読むのも遅いわけではないのでしょうが。 東大とかだったらこういうことをもっと早いうちに授業などで知れるのだろうと思うと、悲しい気持ちになる。
10日
ようやく重い腰を上げて凝縮数学ゼミのノートをTeX化し始めました。 まずノートをLaTeX化するのが辛いし、そこからさらにHTML+KaTeXの形式にも書き直すのがダルすぎて発狂〜
AIに、私のプリアンブルに最適化されたLaTeX to HTML+KaTeX のプログラムを書かせたら効率的かな？？？
AI といえば、GPT5.6が公開されて最高〜〜〜 とうとう、Pro相当のmodeがPlusでも使えるようになったってことかな？？？ 朝からずっとGPTにコードを書かせている。 それよりも、数学の性能がかなりよさそう。 凝縮数学とかのderivedな話とかは、5.5thinkingに聞いたらかなり出鱈目な部分が多かったのですが、GPT5.6-Sol がだと私では今の所誤植を見つけられません...... 悲しいね😖 horaさんの AI for Math のサーバーだと、まだまだ新規概念の創出は難しいらしい？？？ でも近いうちにできそうではあるよね〜
11日
あべのり先生のツイートで、あべのり先生が講究であげていたフランス語のp進簡約群の表現論の名著が英訳されたことに気づきました。 いいね！ いつか読もう。 次のAdv10thとか？？？
12日
小林大島を読んでいたら、 フーリエ変換は、だいたい
[古典] : 群上の関数 -> ユニタリ表現による作用素 ↓ 代数幾何化 [FM変換] : アーベル多様体上の層複体 -> 連接層の導来複体 ↓ 非可換化 [幾何ラングランズ] : モジュライスタック上のD加群 -> モジュライ上のind-連節層
みたいな雰囲気であることに気づきました。 もしかして解析ってかなりおもしろい？？？ 小林大島を大体読んだら、"Huybrechts - Fourier-Mukai Transforms in Algebraic Geometry" を読むと思います^^ Mark6とか井上とかにわからないとこあれば質問できるし、今のうちにやるのがよさそう。
13日
今日は午前中から非常に苦しかったです。 朝9時に起床し、正午までの解析学の課題があったので朝から学校に行こうと思いました。 その後、家事をしていたら10分で到着する大学の朝食営業時間10時に間に合わなかったです...... 500円ぐらい損をしました。 大学に行く途中も、急いでいたのにも関わらず、前にいる自動車(運転手はいる)が急に停止し、ハザード出さずにいきなり駐車をし始めぶつかりそうになりました。 本当にイライラです。 その後、大学に着いくと、つどいのweb担当として対応を求められ奔走したら、なんと一番の目的である解析学の課題を出すことでできませんでした...... 前日夜も、私の時間管理不足により、数物セミナーの運営業務（私の担当とかではなかったが、結構急ぎのもの）を行っていたら代数と数学英語と幾何の出席課題を出すことができなかったのもあり、かなり心にきました...... いつの間にか私はキャパっていたようです...... 先週まではこんなことなかったのに...... なぜか、つどいの運営や数物の運営を見ると、仕事が遅いのでは？と思ってしまい、指示を出す側の人間でもないと思っているので私が動かないとな〜と思って時間がないのに動いてしまうのですよね...... 実は本当はそんなことはなく、みんなの仕事の取り組み方が学生として適切で、私が焦りすぎているのかもしれませんが、私の感覚としては妥当だと思うのですよね...... う〜〜〜ん。 今後、この辺りは真剣に関わり方を考えます......
まあ、この大学の課題を大量に出せなかった件以降、ずっと体調が悪く、具体的にはずっと目と鼻が痒く、かなり些細なことでイライラしたり、ありえないほど眠かったりしました...... なので20時ごろに家に帰宅してお風呂に入ったら、髪も乾かさずに寝てしまい、25時に起きてしまいました...... 起きた頃には多少かゆみとかは解消されていましたが、頭痛がひどい...... 明日大学を休みたいが、出席がまずいのでいかないといけない...... 辛いな〜〜〜