線形代数のことを SageMath にやらせるのが何か上手くいかなくて、昨晩は結構時間を使った。出力の意味を分かるのに手間取ったのが原因。幾つかいじって、そういうことだな、と一応納得はいった。その後書き物（謎）が手間取って、またしても結構な時間に成っていた。寝床で YouTube を見てれば寝られるだろうと思って、案の定寝落ちした。が、ちょっとで起きてしまった。むぅ。
時間があるので、マイナンバーカードの更新をしに山科区役所に行くか、と思って調べる。車で行けるか？と調べたら、駐車場はあるらしい。でも京都府の火の車の状況に手助けをしよう、と地下鉄で行こうと。で書類を見たら、何と役所に行かなくても更新出来る。送られてきた書類に書いてある QR コードを読み込んで、色々入力して、スマホで撮った写真をアップロードすれば完了らしい。そうなのか。やってみたら確かに出来た。役所に行かないで済んだが、地下鉄の利用料に貢献出来なかったな。まあいいです。
で予定より早く職場に行けることに成ったので、10時45分くらいに出掛けた。鰻の取引だのなんだのが制限されるかも、みたいな話が数日前にニュースで流れていたが、僅差で否決されたそうだ。鰻好きとしては有難い。ということで時間があるので、いつものうな松へ。今月初旬に開店した鰻の成瀬の前は素通り。でいつもの通り一本鰻を食べた。1回を除いて毎回一本鰻。3300円はお得。しかも200円引きのクーポンがあったので、更に安く食べられて、しかも PayPay で払ったから、財布の中身は減ってない。嬉しい。
職場には12時前に着いた。ジハンピの使える販売機で栄養ドリンクを買ってドーピング。行列のクロネッカー積の勉強、はしなかった。昨日 1318＋1813 は素数か？ということを鈴木貫太郎氏が動画で上げていたので、それを確認。18 乗を見た瞬間に mod 19 で考えてフェルマーの小定理、と思い付かないあたりは何ともぬるい。鈴木貫太郎氏の初手がそれだった。で素数でないことはもう示せたが、実は17でも割れる、と言っていて、氏は小さい素数から順に調べたと言っていたが、コメント欄に「132＝169≡－1 (mod 17) だよね」と書いてる人がいて、う、成程、と。ですぐ再現出来た。17、19 以外にもう一つの素数で割れるが、それはデカい。で TeX 化して、さあクロネッカー積を、の筈が、中途半端に TeX 化したものを考え始めてしまい、さらにそれに関連したことをしらべたら、tsujimotter 氏のページに辿り着いてしまい、見たら面白そうな話題が沢山あって、そっちに熱中してしまった。そんなことをしているうちに1時を過ぎていた。いかん、講義に行かな。
今日は「代数学II」。先週ガロア理論の基本定理を証明し終えたので、今日はガロア群の計算と、中間体の対応付けを少々。今日は学生は気分悪かったろうな。「シローの定理」と2回ばかり言ったし、有限巡回群の部分群がどうしたとか、単位群でない p 群の中心が非自明とか、多分誰も覚えていないだろう。まあいいです。大学院を受ける人はこの手のことは強く成っておいた方がいいです、と言っておいた。寝不足でハイなこともあって、今日も色々口汚くなってしまった。3回生相手にこういうことをしてるから、小生の卒研を選んでくれないのだろう、とは思うがな。
すぐゼミだが、例によってちょっと遅れて行った。今日はまず合同数を調べるのに使う楕円曲線の L 関数の話。色々分かって嬉しい。和田秀男先生が合同数の一覧を作ってた話とか、SIMATH や Upecs で L 関数とその導関数の s＝1 での値が0かどうか判定するのに結構雑なことをやっていたが、それは学生が話してくれた通り、ちゃんと誤差評価が出来てるから、とか色々話しておいた。で漸く保型形式の章に入った。フルモジュラー群をまずやるのは Serre の本と同じだが、著者が書いている通り最初からレベル付きでやるのでちょっと難しい。まあ今日は分かった。いつ落ちこぼれるでしょうか？などと思っていたが、多分後4回しか金曜日はない。二人の学生が交互に藤崎先生の楕円曲線の本とコブリッツの本（上田、浜畑訳）を読んでたので、28週間あるが実質14回ずつ。まあ仕方ないな。二人共よその大学院に行く。行った先では厳しくやられるだろうけど、二人共ちゃんとしていたし、いいでしょう。5時半過ぎに終了。
すぐ帰ると渋滞してるだろうし、居眠りしてギャ！とか成るわけにはいかないので、7時半過ぎまで職場にいた。Qp の位相的な性質を講義でやるから、勉強しておかないとと思って、画面を睨みながらペンを片手にやったが、一言二言足りないばかりに、理解するのに時間の掛かった所が数か所あった。ちゃんと書き足しておいて、しっかり話せるようにしないと。暫く慌てなくて済みそうだ。定期試験の問題を作ったり単位認定レポートを考えないといけないので、そっちに集中しよう。
NHK でニュースを見ているが、トップニュースは香港の高層住宅の火事。何か凄いことに成ってるな。想像を絶する。高い階に住んでると逃げられないな。小生は2階に住んでるので、酔い潰れてるとかそういうことが無ければ逃げられるだろう。法律では10階を越えてるかどうかで高層かどうかわかれるそうだが、親父殿が再開発マンションの10階を選んだのはそういう理由だろうか？知らんけど。小生は料理はしないし煙草を吸わないから、火のもとに成る心配は無いだろう。いや、電気のコードのカバーが破れて、漏電して綿埃に発火、ということはあるそうだから、気を付けないと。と言いつつ全然掃除してないんだが。色々忙しいんでね。
明日は午前中に用事があるから、早く寝ないと。「探偵！ナイトスクープ」とその後のドラマは録画しておくか。いや、録画しなくても Tver で見ればいいが、録画しないと落ち着かないのが昭和の人間。明日は呑みに行けないので、用事が済んだらまとめて見よう。
