2026-05-03, 04 / 机分解

3

20時くらいに活動開始したのであんまりない。引越し日が近づいてるにもかかわらずあんまり荷物の移動が済んでない気がするが、これでいいんだろうか。机もはやくバラして持ち運ぶ準備をすべきなのだろうが、可換環論を進めている最中だもんで、バラし時が分からない。机なくてもできるっちゃできる……のか？

----

初めて焼酎飲んだ。蕎麦焼酎と麦焼酎。下町のナポレオン。想像以上にフルーティーな風味だった。こう、フルーティーな酒って本当に、何に合わせれば美味いのかが、とんと分からない。それこそ果物みたいな無難な組み合わせしか思いつかないし、なんならそれが美味いのかどうかも分からない。
試しにスモークチーズと合わせてみたら、焼酎の風味が燻製香に完全に負けて全てが意味なくなった。

なんか、結局ワイン(あるいはビール)が一番食間酒に良いな、と思う。食間酒としての焼酎はまだピンと来ない。
食間酒にしないんだったら、かねてから言っている通りブランデーかウイスキーだな。

まあ、脳鈍らせる趣味がないので今じゃ酒も大して興味ないんだけどな！　付き合い程度すら飲まない。

----

件の可換環論では、PIDや素・極大イデアルの話をし始めた。

堀田を読んでたら、極大イデアル⇒素イデアルの証明の最中に「体は整域である」って言ってたんだけど、なんとそれまでのページに一切そのことへの言及がなく、それに気づいたときにビビってしまった。そんなことしていいんだ、って。簡約則をシレッと用いていたときも同じ事を思った。どちらの命題もかなり簡潔に示せるので紙面をコンパクトにしたいときの最適解はそれなのかもしれないが、証明なしで命題として載せるか、それとも演習問題にはしてほしいかも知んないッス……

雪江は書き口が肌に若干合わないが、堀田は思い切りの良さが若干合わないかも。まあ行間埋めて自分の足しになる証明を書くことができるという点ではかなりよい教科書であるかもしれん。

環準同型で素イデアルの引き戻しが素イデアルなので、そこからCRing^op→Topの、Specを取るための反変関手が定まるらしい。代数幾何の匂いがしてきたぜ……

----

4時くらいから10時くらいまで勉強してたので、そこから軽く飯、飯かどうかと言われると微妙なラインナップの物体を食った。スニッカーズ、牛乳など。そんで正午くらいに寝た。

----

4

16時くらいに起きた。あんまり睡眠時間ない。
起床して1時間ほどピクシブを巡回し、最中、神のAIポルノを発見し、完全にGEM ALERTへ。マキマのソムノフィリア・ポルノ。

AIは万人の脳内に眠る大まかなイメージを比較的簡単に出力することが可能であるから、もはや性癖絵師のような肩書は少しずつ形骸化していく。誰しもが潜在的な性癖絵師となる時代においては。そしてついでにFANBOXで版権キャラのポルノを描いて日銭を稼ぐ者たちは身体が塵となる。そのようにオタク・聖書には記されているときいております。

日記で出された根石情報: bisexual, somnophilia, agender
進撃の巨人の「現在公開可能な情報」と同じ感じでもう少し出し渋る。

----

勉強そっちのけでとりあえず荷造りを進める。荷造って荷造って荷造ってまいります(高市)。
机も一応持っていく予定なんだけど、持ち運びを可能にするために一旦バラすのがダルい。まあ正味バラしてもデカいパーツ10個前後とちょっとしたネジ類だけなんだろう、というのは分かってるんだけど、依然としてダルい。

あと、今の机にはなんかラックみたいなのが天板以外に3段付いてるんだけど、数年間使ってきて、使わないものを天板から追放するという、床の代替品としてしか使っていないなと思ったから、真面目に買い替えてもいいかも。床の役割を床に返上するときが来た。天板だけの広いデスクにしてもいいかもって思ってきた。

そんでカーテンとかを向こうに持って行ったんだけど、向こうの部屋の窓がデカすぎたために、私の持って行ったカーテンがもう1枚分必要になってしまった。2枚しかないのに。縦に比較的短く、横にあまりにも長い。

----

5日の1時に戻ってきて、シャワーを浴び、飯を食い、そして寝た。バラす机の、梁が1本ないので、あるだろうという場所を探さないといけないのが、とてつもなくダルい。