今日で仕事納め。シャワーを浴びて髭を剃ってスッキリ出掛ける、の筈が、寝たのが遅くて、起きたらもう12時を結構回っていた。いかん、と急いで飛び出す。奇跡的に昨日のボサボサの髪型がそれなりに収まっていた。
リンクスクエアでカレーパンを一個買って、コーヒーで流し込んでからゼミ。今日は素数次の Kummer 拡大の残りをやって、3次体の整環（order）の話。色々詰めてきてない。いけないな。昔読んだ時に、著者の計算ミスがあることを本にメモしておいたが、そこを素通りしようとするので、計算させる。小生が合ってた。こういう所を計算してこないで、現地で計算するのは良くない、という趣旨のことを言ったが、返事をするでも無く、何を考えてるんだか、と思ったが言わずにおいた。何か自分でしたい時は、ちゃんと細部の計算まで詰める必要があるし、論文に出ている結果を引用しようとするなら、ちゃんと間違いが無いかどうか確認しないと。もっときつく言っておいてもよかったかな。まあ年内最後だし、気分よく終えましょ、ということでね。
その後ちょっと月曜日の講義の資料の直し。昨晩見たら、沢山まずい所があったので、大分直したが、今日見たら幾つも間違いがある。丹念に計算して、もういいだろう、というところまでやって、web にアップした。事務室に行って有隣社からの荷物を開けたが、2冊注文したのに一冊しか入ってない。有隣社は前も同じミスをした。もう、と思うが、冷静な文章でメールを書いておいた。担当者がメールを見るのは年明けかな。まあいいです。
でジョーシン電機に寄ろうと、7時くらいに職場を後にした。で渋滞してない高速道路を通って、7時半前にジョーシン電機の近くに着いたが、電気が点いてなく、駐車場が閉鎖されていた。変だな、コロナ禍の時は7時閉店だったが、8時閉店に戻っていたはず。後で見たら7時閉店だった。何だそうだったか、急ぐ必要無かったな。もうちょっとやりたいことがあったので、職場に残ればよかった。で直帰してもよかったが、車線変更をしないといけなくて、混んでるから嫌だな、というところで閃いた。魁力屋で拉麺を食べよう、ということで、東野を左折。で期間限定のメニューを頼んだが、一つ失敗。トッピングのもやしを頼んでしまった（タブレットをタッチしていたか？）が、山盛りで、中々麺に辿り着かない。もやしとチャーシューを醤油スープで煮込んだのを食べたような感じだった。まあいいです。また近い内行って、もやしが乗ってないのを食べよう。
帰ってきてしばし紙の整理。奥から奥から TeX 化してないものが出てくる。適当にやってから、「グルグル99」を追っ掛け再生。今日ゴチの首が決まるので。が、何やらどうでもいい企画が前半にあったので、その間も TeX 化作業。ようやく始まった。で見てて、時計を見たらもう11時半を過ぎていてビックリ。長いな。まだ結論は見てないがどうなったでしょうか？「アメトーーク！」が終わったら続きを見よう。
映画どうしようかな？明日行こうか？明日は早起きしないだろうが、土曜日は午前中に用事があるので、昼からの映画なら見られる。土曜日にしようか？後で上演時間を確認しておこう。「緊急取調室」が明日封切だが、まず「栄光のバックホーム」を見ないと。「緊急取調室」は実家の近くの映画館でいいや。明日はジョーシン電機には行く。7時閉店なのは学習した。特段早起きしなくてもいいのでね。国道一号に嫌な感じの合流の仕方をしないといけないので、交通が激しい時間は避けよう。一度ちょっと強引にやってクラクションを鳴らされて、sの車が小生の前に出てアクセル踏んですぐブレーキ踏んで、という嫌がらせ（煽り運転の一種？）をされたことがある。すぐ車線変更して逃げたが、バックミラーで見たらその車は暫く同じことを続けていた。小生の車じゃなくてもよかったのだろうか？知らんけど。まあ程々に行きます。
