今日は馬鹿に眠かった。一旦起きても眠くてまたダウン。ゼミに遅刻するわけにはいかないので、無理矢理起きた。幸い居眠り運転はしなかったが。運転中に飲酒が原因で寝落ちし死亡事故を起こした奴のニュースが昨日やっていたが、幸いまだ運転中に前後不覚に成ったことはない。今後もあってはいけない。運転の前にはちゃんと寝ておかないと。
12時40分くらいに職場に着いて、弁当はもう無いかと思っていたが、何と本当に1個だけ残っていた。最後の一個だからまあ期待しないで買ったが、結構美味しかった。
1時からゼミだが、ゼミ中も眠くて。Z[√－d]（d＝1,2）の時を真似て Z[(－1＋√－d)]（d＝3,7,11）の場合をやるんだが、証明はほぼ出ていない。にも拘らず、ちゃんと考えてきていた。眠くて殆ど聞いてなかったが、時々見る限りまあ大丈夫そう。で y2＝x3－11 の有理整数解を求める問題がよく分からないと言っているので、ちゃんと意識を取り戻して集中。前に y2＝x3－9 の有理整数解を求めた時を参考にしてやろう、ということだが、何故かスマホを持ってる。何故だと思ったら、この前の板書をスマホで撮影していたようだ。今風だな。で同じ所、違う所色々あるが、小生の手元には前に解いた時のものを TeX 化して印刷したものがあったので、それを見い見い。で 3375 とか出てくると一瞬ギョっとするんだが、これは楕円曲線をちょっといじった人には見覚えのある数字。一応念のためスマホの関数電卓で3乗根を求めたが、案の定15の3乗だった。ということでどうにかなった。でまたその黒板を撮影していた。その後選手交代で Z[√2] の話。単数群を求めることだけやったら残り10分くらいに成ったので、素数がどう分解するかは来週に回すことにして早目に終了。何であんなに眠かったんだか謎だが、まあ何とか乗り切った。
で4時半からちょっと別の仕事があるんだが、ちょっと時間があるので生協の本屋を冷やかして、3冊ばかり購入。で1時間くらい頑張るつもりだったが、気に成ることがあって、1時間半以上頑張ってしまった。もう眠くなかったので、集中して出来た。式が2本で変数が2個の連立一次方程式は易しいが、どっちも3以上に成ると中々難しい。逆行列を求めるのは易しくないし、そんなことするなら拡大係数行列を掃き出した方が早い。で何度か間違えたが大丈夫だった。これで大体終了。後は本番を待つのみ（謎）。
6時くらいに個研室に戻って線形代数。3個以上のベクトル空間の直和がテキストに問題で出てるんだが、略解を見ても何か納得がいかない。これは一から考えた方が早いでしょう、と昨日寝る前にちょっとやったんだが、それを片付けて、TeX 化して、でその後色々。写像が単射とか全射とか全単射とか例を沢山用意したら物凄い量に成ってしまった。線形写像である例とかない例とかも。まあ全部講義で話すことは無いだろうが、一応10ページ分印刷しておいた。沢山載せるから読んどいてね、ということにしようと思う。で何だかんだと9時くらいまで。
今週末は久々に平和。24日（日）は朝9時までに職場に行かないといけないので、また23日は職場に泊る。30日は Baystars の優勝パレードの最有力日だと言っているので、そうしたら29日のゼミ後横浜に行く予定。色々忙しい。23日にパレードやるのでは？という気がしていたが、その日はファン感謝デーを毎年やってるそうで、今年もそうらしい。上に書いた通り24日は仕事なので、パレードだったら終わったら飛んで戻ってきて、職場に行って、と大忙しに成るかもだったのだが、まあよかった。いや、まだ30日にやるという発表があったわけでない。情報をこまめにチェックして、本当にそうかどうか見落とさないようにしよう。
