0416
昨晩は$\Z[\sqrt{-26}]$が素元分解の法則に従わないことを示し(たとえば$3\in\Z[\sqrt{-26}]$は素元ではないし素元で割り切れもしない)、イデアルが定義されるところまで進みました。素イデアル分解は一般の代数体の整数環でできる、という話だと思います。こうするとフェルマーの定理を示すときに素元分解のかわりに素イデアル分解を使えば同じ議論ができる、とかなのかな(昔そんな話を聞いた気がする)。
お昼から仕事。不具合対応に入ろうと思ったけれど、コンテンツの調整に手間取ったので結局着手できず。でもコンテンツの調整はほとんど終わったと言えそうなのでよかったとしましょう。明日から検証?
さて、昨夜は早く寝たので今日はそこまでひどい具合じゃなかった、今夜もあまり夜更かししない方向で行きたい。
そういえば、「響け!ユーフォニアム」の二話がけっこうおもしろかったのでした。いいよいいよ、僕こういう薄暗い気持ちになるお話大好きだよ、頭の中のそういう受容体が次回をものすごく楽しみにしているよ……。