andante

昨晩は虚二次体の類数公式が紹介されました。なんでこんなところに平方剰余記号が出てくるの。ＹＥＳ！宇宙！
でもそれがディリクレ指標をなすってんなら、まあディリクレのL関数が出てきてζと繋がること自体はそんな不思議なことでもないような気がする。いや、まだ知らないだけでζであることが本質的なのか？

お昼から仕事。あいかわらず具合がよくない。不具合対応は順調に進んでいるのだが、この期に及んでまだ仕様が追加される。まあ、そういう仕事だからね、しょうがないよね。そう思うと僕この仕事向いてないような気もする。僕もフニ〜とか言ってうやむやにしたい。

「俺はポジティヴだぞ〜！」みたいな人の精神構造が不気味。というより、僕の持っている精神の模型に当てはめると、それはなにか嘘を言っていたり後ろめたいことがある時の行動パターンに近いので、そういう人からは距離を置きたいと思う。きっと当人はそんなことはないのだと思う、だけど僕にはこの精神しかないのだから、これを信じるのをやめてしまうことは他者に対する一切の手懸かりを失ってしまうことだ。だから僕はそう信じるしかないし、距離を置くしかないと思う。

昨晩は虚二次体の類数公式でいろんな二次体の類数を計算練習しました。類数が１の虚二次体は９個しかなくて、しかもmの小さいほうから順ではなく飛び飛びに並んでいるようです。いいですか皆さん、これが萌えですよ。萌え。今夜はいよいよクンマーによるフェルマーの定理の部分的証明かな。

お昼から仕事。不具合対応を坦々と。それもわりと落ちついてきたし、今週は結構暇なのかもしれない。Swift移行ガイド作るタスクでも着手するか。

具合がまだ低空飛行のままです。うー。

追記。ユーフォ三話観ました。いやはや期待通り、やはり人間由来の不快感は（遠くから見る分には）良いなあみたいな気分になります。でも思ったよりあっさり話が進むような気配もあり、いやいや人間があれだけいるんだからまだまだ揉めるに決まっているさと期待もある。