今日は昼前に目が覚めた。シャワーを浴びてから出発。食事ははま寿司で。中トロ100円（税込110円）フェアをやってるようなので。大トロもあった。でほぼお薦め品だけ食べた。それでも2000円をちょっと割るくらい。お腹一杯。一時シャリが減ったんでは？という気がしていたが、備蓄米を流通させてくれたので、米の値段が下がってきて元通りにしたのだろうか？知らんけど。
で職場に着いて、学生の書いたものをウダウダと読んでいたら、いつもと違う学生が現れた。今日まで何をしてたんだか、という感じ。印刷した物を持ってきたので、この前画面相手に見付けた色々を書き込んで、真っ赤にして返した。その後その学生といつもの学生が交代交代に度々現れた。一人はずっとやってたので、大分まともに成ったが、もう一人は大丈夫なんだろうか？いや、そもそも今日に成っても来ない学生がどうなるか気に成るが。あんな状態で完成にされたら小生は困るが、一番恥をかくのは彼のような気がする。知らんけど。まだ学生は残ってるんだろうか？こっちは別に泊っても構わないので、気長にやってもらっても構わないけど。ただ、12時で門が閉まってしまうので、食事に行くなり弁当を買い出しにいくなりはそろそろやらないと。
一人あまりかまってやらなかった学生がいるが、まあ彼はね、と思ったが、改めて読んでみると色々ミスがある。無限和を有限和に直す計算をしているはずなのに、変形後も \sum_{a=1}^\infty に成っている箇所があった。こういう所にはミスは無いもの、と思い込んでいると大変。前に自分で発見したようだが、オイラー積の所の \prod が \sum に成っていた場所があった、と言ってた。さっき見た時にオイラー積で一か所おかしな所があった。1－p－s の逆数のはずなのに、1からこれを引いていた。見た目が似てるので見過ごしたんだろう。危ない危ない。兎に角明日一杯頑張らないといけないかもね。やはり泊るか。今からエポックというわけにはいかないので、起き続けて個研室でずーっと色々やるか、数ファ研のソファーで眠らせてもらうかのどちらかだな。まあやることは色々あるので、いいんだけど。
昨日寝る前に山本芳彦先生の岩波から出てる本を見たら、2が惰性してたら判別式≡5 (mod 8) の面白い証明が出ていた。奇素数 p が (DK/p)＝－1 を満たしていれば K で惰性するのも大体同じ感じ。昨日はちょっと悦に入ってたが、大家の書かれたものを見てこういうのを見付けると恥ずかしくなる。後で TeX 化しておこう。高木貞治「初等整数論講義」はまだ見てないが、山崎隆雄さんの本に高木貞治の本を大いに参考にさせてもらったというようなことが書いてあったので、同じ taste かな。そうするとやはり二次体のイデアルがいい整基底を持つ階数2の自由アーベル群であることを使うのかな。暇だし見てみよう。
