0422'
昨晩は虚二次体の類数公式でいろんな二次体の類数を計算練習しました。類数が１の虚二次体は９個しかなくて、しかもmの小さいほうから順ではなく飛び飛びに並んでいるようです。いいですか皆さん、これが萌えですよ。萌え。今夜はいよいよクンマーによるフェルマーの定理の部分的証明かな。
お昼から仕事。不具合対応を坦々と。それもわりと落ちついてきたし、今週は結構暇なのかもしれない。Swift移行ガイド作るタスクでも着手するか。
具合がまだ低空飛行のままです。うー。
追記。ユーフォ三話観ました。いやはや期待通り、やはり人間由来の不快感は（遠くから見る分には）良いなあみたいな気分になります。でも思ったよりあっさり話が進むような気配もあり、いやいや人間があれだけいるんだからまだまだ揉めるに決まっているさと期待もある。