箱星省、解体。
2/17
0時就寝、7時起床。
訓練をした。
基本情報の試験を3月に受ける予定なので、そろそろ追い込まないといけない。
ハッピーミルフィーユに登場する歌詞「たてよこナナメ ぶつかりばったり」が数学的に解釈できるのでは！とふと気づいてしまったので文章を書いた。
プログラミングの世界は変化が激しい。記事を書いた後も変化に合わせてメンテナンスをしないといけないけど、当然負担になる。ついにメンテナンスを諦めてLLMに代わってもらった記事を目撃した。ぼくにとっては生成AIに正確な情報を求めるというのは抵抗があるけれど、こういう考えもいずれは少数派になるのかなあ。
2/18
23時就寝、7時起床。
訓練をした。
米不足は誰か1人が買い占めたから起きたのではなく、少し多めに買う人が多くいたから起きたらしい。何か問題が起きたときに誰か1人のせいにするのは適切ではない。我々は全員、局所的に正しいことをしている。大域的には間違った方向にいくこともある。今の生活苦を財務省のせいにする人も多いけど、財務省だって局所的には正しいことをしているのだろう。だから財務省だけのせいにするのはよくない。全部解体しよう。
楽天チケットが話題に。IT業界で働く人たちにとっては身の引き締まる思いだろうね。
Proof Complexity、面白そう。基礎論もやりたい。
2/19
23時就寝、7時起床。
訓練に行きたくないという気持ちで朝を過ごしている。
訓練をした。
おだやかTwitterの仕様が変わったせいか、左側がすっきりしたが右側にトレンドが表示されるようになってしまった。修正に期待。
2/20
23時就寝、5時起床。やはり運動をすると眠れなくなる。
訓練をした。午前だけ。
おだやかTwitterをずっと使っていたけど、おすすめされたControl Panel for Twitterを使ってみたら快適すぎてびっくり。顧客が本当に必要だったものだ。これでおすすめ欄やトレンドを見て不快になる必要がなくなるね。
おひるねした。
午後休んだおかげでNatoriを書く気力が生まれた。いいはなし。みんなが午後休むようになれば世の中の生産性も上がりそう。
背中がいたい。
寝る前に学マスのガシャを回したら、コントラスト篠澤広さんが出た。熱心に学マスをやってるわけじゃないのに篠澤広さんは8/11も持ってる。
2/21
23時就寝、6時起床。おひるねすると眠れない。
訓練をした。
作問をした。
本屋企画の動画が上がっていた。大きい本屋、行きたい。この動画に出てくる本屋はジュンク堂書店池袋店だけど、吉祥寺店にはよく行っていた。池袋よりは小さいけど数学書も充実していてよかった。動画内に「河野太郎に訴えられました」が出てきてびっくり。家族がよく動画を見ている人の書いた本だ。家族はテレビでYouTubeの動画を流しており、ぼくにも見えてしまう。
2/22
23時就寝、7時起床。
猫の日。
久々にManjaro環境にログインして研究の準備をした。当時の研究メモは散らかりすぎて今読むと読めない。当時の研究を発展させたい気持ちがあるけど、これ以上どうにもならないかもという気持ちもある。
本が届いた。凸多面体、気になるねえ。
おひるねした。
お腹が微妙に壊れた。
学マスの初星課題を放置していたのでやっていた。これをしないと篠澤広さんのTrueEndが見られない。
2/23
23時就寝、7時起床。
篠澤広数学合同への参加を迷っていたが、参加することにした。内容の候補はいくつかある。もっと篠澤広さんへの理解を深めたい。
また本が届いた。量子群、知りたい。大学院ではKac-Moody代数をやっていたし、組合せ論もある程度知っているので学ぶべき分野な気がする。結晶基底をやりたいとずっと言っているのに結局やってない。
Sakana AIが炎上しているらしい。知らなかった。悪意をもって騙そうとしたわけではないから擁護する人もいるようだけど、世界はそう甘くないと思うねえ。ちょっとのミスが大きく響く。
調べ物をしていたら以下の論文が出版されていた。Hall-Littlewood多項式のraising operator formulaをMacdonald多項式に拡張したもの。ぼくの修士の研究はHall-Littlewood多項式のraising operator formulaをsymplectic型に拡張しようとしたものなので、結構関連性がある。修士課程時代にこのプレプリントが出たのを見て興奮した覚えがある（ちゃんと読んでないけど）。この公式を使って何かできないだろうか。例えばHall-Littlewoodの場合は頂点作用素表示がraising operator formulaから従うけど、Macdonaldの場合はどうだろう。