水曜日が健康診断の日や、言うてるのに、昨晩はうっかり呑んでしまい、挙句あまりちゃんと寝てない。いけないな。まあ今晩はタップリ寝るのでいいでしょう。健康診断の時間は遅い時間（3時）にしておいたし、相当寝られる。血圧の薬を服用し忘れないようにだけしておかないと。
今日も遅い時間からで、会議が無ければ火曜日の用事は2時55分からの講義のみ。で例によってはま寿司へ。河豚とかマグロの中トロとか車海老とか、そそられるメニューが多い。少しページをめくったら、何と大トロまである。つい調子に乗って食べてしまい、気付けばあっと言う間に2000円を越えていた。まあ前に比べると単価が上がってるからね。1628円食べて、もう100円食べればよかった（単価が税込み100円のものが無いので不可能だが）と思ったのは遠い昔。
職場に2時40分過ぎに着いた。講義室は真っ暗。初回は終了のチャイムが鳴っても、暫く先生と学生（皆外国人だった模様）が暫く何やらしていたが、最近は早目に終わるのだろうか？知らんけど。で読書をしていたら学生が一人入ってきて、何やら尋ねている。彼はマスクをしていたのでよく聞こえなかった。聞き返すと「今日はオンライン講義でしたか？」と言っていた。他に誰もいなくて不安だったのだろうか？「いいや」と言い返して数分経ったらもう一人入ってきた。チャイムが鳴った時に部屋にいたのは3人。関係者が一人も来てないので、2分ばかり待ったら一人来た。他の二人はどうしたのだろうか？まあいいや、始めるか、ということにした。この前は p 進の exp をやったので、今日は log から。で exp と log を使って Qp× の構造を調べたり、前にヘンゼルの補題を使って示した p 進単数が平方数であることの特徴付けの別証明を与えたりとか。大体紙数枚持っていくが、めくったらもう最後の紙。え？と思って時計を見ると、まだ結構時間がある。うむ、早く終わり過ぎるか、と思ったが、一箇所変だと思しき所（変じゃなかったが）があったので、丁度いいくらいまでやれた。来週からコンパクト性が何の連結性がどうのとやるんだが、予定より少し早いな。まあいいけど。でコンパクトという言葉を定義したが、まあ大半の学生（と言っても数名しかいないが）が沈没してるだろうと思われる。前に院試でコンパクトの定義が分かってれば即答出来る問題が出ていたが正解者0で、出題者が驚いておられたというか呆れておられたというかそんなことがあった。質問すると皆中空に丸を書いていたが、要するに「任意の開被覆から有限な部分被覆が取れる」という意味が分からないのだろう。幾つか定理の証明を読めばすぐ納得出来るレベルのことだと思うが。連続と一様連続、収束と一様収束の違いもどう証明で差異が効いてくるかを定理の証明を読んでみないと実感出来ないと思う。まあ解析だと（と言う程解析を知らんが）コンパクト＝有界閉集合、もしくはコンパクト＝点列コンパクトなので問題は無いのだろう。
その後部屋で講義資料の直しを少し。一箇所 4 が 2 に成ってる所があったので直して、もう一箇所書いてないことがあったので足そうと思ったら、そんな単純なことではないのに気付いた。何故任意の素数でなく 2 にしていたのか気付いていなかった。－1 と 1 が合同なのは mod 2 だから、という大変重要なことを見落としていた。危ない。今まで気付かなかったのはちょっとやばいな。気を付けないと。その後高木貞治「代数学講義」で行列のクロネッカー積のことを調べる、の筈だったが、うっかり「代数学II」のノートを読み始めてしまったり、もう読まないだろうと思しき論文からホチキスを外して計算用紙に回したりと、現実逃避ばかりやってた。いけないな。ちょっとだけ「代数学講義」を眺めたが、行列式のラプラス展開を使う、というのは大体想像通り。ただラプラス展開を分かっていないので、明日の健康診断後に勉強することにして帰ることにした。既に8時半。
車に乗る前にカフェイン含有の飲み物を飲んでおいた。ジハンピアプリで買えるのでいい。思いっ切り渋滞してると退屈で眠く成るかもしれないし、かと言って全然他の車がいないとやはり眠く成るという恐れがあるが、そうならないくらいの程々の車が走っていた。9時過ぎに帰宅。
先週の「座王」を見たら、正月2日にまたしても全国版をやると告知してた。いつも全国放送すればいいがな。放送してない地域でも Tver で見られるので、関東の芸人は見ているようだ。「相席食堂」も関西ローカルだが、やはり芸人には広く知られているらひい。Tver 様様だな。ちょっと見逃したものがあっても大丈夫だし、いい時代だ。前にドラマの最終回だけ録画し忘れるという間抜けなことをしたことがあったが、Tver なら1週間過ぎるまでは見られる。ということで録画してある物を2日がかりで全部見て、最終回を Tver で、とやったことがある。いい時代だ。録画してあると安心して中々見ないが、「緊急取調室」は12月末から映画があるので、ちゃんと見てる。毎週録画にしておけばいいが、何か緊張感に欠けるので、毎週きちんと予約してる。明後日の分ももう大丈夫。明日は「相棒」が無い。「タイムショックZ」というのが7時から9時50分までやる。司会はお馴染み中山秀征だが、先週の「テレビ千鳥」に告知の為か無茶な企画のために出演していた。「俺もう60前だよ」と言っていたが、そう秀ちゃんは小生と同い年。もう58歳に成ってる。若く見えるな。羨ましい。松本明子、飯島直子と組んで「DAISUKI!」をやってたが、松本明子は来年60、飯島直子は秀ちゃんと同い年（推移律により小生とも同い年）。歳をとったな。番組が終わってもう25年も経っている。ビックリだな。
あ、メールを数通書かないといけないな。やってから寝よう。
