0427
昨晩はnが正則素数の場合のフェルマーの定理の証明を読みました(ただしx,y,zがnで割れない場合)。ここから非正則な場合を示すのに150年掛かるらしい。正則素数(すなわち$\Q(\zeta_p)$の類数がpで割れない)ってだいたいそうなんじゃないのと思っていたのだけど、素数全体の61%しかないと予想されているらしい。まじか。まあ無限個あるものに関する直感なんてそんなものかもしれない。
あとは演習問題を解いたら(たぶんこれも結構時間かかるけど)いよいよ類体論です。でもその前に付録のガロア理論のところを読もうかな。それで足りるかわからないけれど。
お昼から仕事。あいかわらず具合が悪い。不具合対応はあらかた完了なのでちょっと張り合いのない日でした。明日もそんな感じでしょう。時間が余ったらJenkinsによる自動化手順の整備とかしようかな。しなさそうな気がするけど。
憂鬱だなあと思います。僕はいつしか信頼できる友人というものを失ってしまったように思います。「信頼できる」ってのは「信頼できる」ってことで、まあ大雑把に言うとわけのわからないことを信じてないとかそういうことです。わけのわからないことを信じている人は苦手。