0414
昨晩はフェルマーの定理の$n=3$の場合の証明を読みました。やってることはわかるけど、動機がいまいち不明瞭というか、$x^3=(z-y)(z-\zeta_3y)(z-\bar{\zeta_3}y)$から$z-y$が３乗元になることを示す、ということをしたくなる気分がよくわかりません。まあそんなものかな。
あと気晴らし？に読んでる数学の本（「現代幾何学への道」）で思ったけど、二千年以上前の人名が冠されている数学の定理ってすごいことなのではという気がする。神話かよ。
あと古代ギリシャの人は直線を無限に長いものと定義したけど、これはド慧眼だったなあ、とか。いや、振り返ってみればなんでもないけれど、二千五百年前にサア幾何学始めましょうってなったときこの抽象化を選べたってのはちょっとしたことだと思う。
お昼から仕事。追加仕様の対応とUIの落ち穂拾い。面倒だと思って敬遠していたところが意外とてきぱき片付いたけど、簡単だろうと思っていたところが意外と手間取ってしまった（しかもまだ完全ではない）ので帳消し。でも明日からは本格的に不具合対応かなあ。
今日は疲れた。早く眠りたいけど数学もしたい。ついに「代数的整数論の核心」と題する節に入る（わくわく）。