春眠暁を覚えず。
3/23
22時就寝、6時起床。
労働をした。眠い。
Typstにログインできないので作業ができない。
3/24
21時就寝、5時起床。早寝に慣れていない。
今日は休み。
二度寝した。二度寝は贅沢なものではなく当然の権利であるべきだと思う。
多項式環の普遍性について思いを馳せていた。
Natoriの過去記事をアップデートした。そこまで変わってはない。
久々にTwitterにログインしたら、表現論のシリーズが刊行されることを知った。これはアツい。
個人的に気になるのは
柏原結晶基底とリトルウッド・リチャードソン規則
グラスマン多様体のコホモロジー
頂点代数の表現論
かなあ。もちろん全部気になる。
3/25
22時就寝、6時起床。
労働をした。
3/26
22時就寝、6時起床。
労働をした。
Quanta MagazineにLeanに関する記事があった。厳密さが数学の基本だと思われているけど、コンピュータで証明を検証するというのはやりすぎなのだろうか？ 過去にも数学の形式化に関する取り組みがあり、特にブルバキの影響は大きいらしい。こうして現代数学が生まれたが、過去の数学にあった多様性は失われてしまった。未来の数学はどうなるのか。記事の中にある「Leanだけでなくいろいろな証明支援系を使うとよい」という意見には同意。
生活保護VTuberが炎上しているらしい。配信者は収入が不安定だから、と言っている割に安定収入であるところのメンバーシップを削除するのが理解不能だと批判されている。ただ、働ける人間が働けない人間を叩くという構図は不快だね。ぼくも東大院を出て最低賃金で事務職をしていることからわかるように、労働に向いていない。少し人生がずれていれば生活保護もあり得たかもしれない。
トリッカルのアイコンがスピキになっていた。イードガシャを回したけどうーん。
3/27
22時就寝、6時起床。
労働をした。眠い。
Skebが納品された。夏を楽しむうちの子。水着もいいですね。こういうNSFWなイラストはうちの子サイトには載せないことにしたので、ぼくのSkebページとかクリエイターのSNSとかで見てね。
3/28
22時就寝、6時起床。
手を動かしてまなぶ群論の第1章を読んだ。手は動かしていない。第1章は整数論の話。最初に整数論を学ぶ理由は、群論の一部の定理に必要だからというだけでなく、整数論を群論の見方で見られる場合があるからとのこと。整数を学ぶことで群論に親しむための準備が自然にできているというのは素晴らしい構成だね。
おひるねした。
過去のツイートを消したいのにTwitterの検索機能が終わっていてできない。
3/29
0時就寝、6時起床。
某所で週刊 Nano-Natori の第3号を公開した。
ガロア理論の復習を進めている。ようやくガロア理論の基本定理の証明まで読んだ。理解はできただろうか。
Misskey.ioが落ちていた。これだけ長時間落ちるのは珍しいかもしれない。ぼくははなみすきーにいたので影響なし。