昨日は2時55分から院生向けの講義。が、時間に成っても学生が誰も来ない。レポート問題は今までの講義の内容で解けるから、もう構わんということだろうか？1分くらい経って一人来て、もう数分経ったらもう一人来たので、まあ始めるかと。一回書き間違いをしたら突っ込んできたので、講義についてこられているのだろうか？まあそれならそれで。昨日は Ostorwski の定理を証明して、それから Qp の有限次拡大に p 進付値が一意的に延長出来て、その付値に関し完備、ということを示すために、有限次拡大のトレースとノルムの話を少々。トレースは必要無いから、今度やる時は省こうか？あと2回だが、どれだけ学生が来るでしょうか？この前も書いたが、Qp の有限次拡大が完備であることをきちんと書いた物は見たことが無いのでやっているのだが。まあ誰も来なくてもいいです。こっちとしては大分勉強に成ったので。
4時50分から会議。今年度は学生員という仕事をやってる。でその会議が1時間半程の予定で行われる、と成っていたが、本当に1時間半やった。うちは物理の先生がとにかく真面目で、昨日も沢山発言されて、問題提起もされて、で長かったわけだが。
昨日書いた通り、呑む約束があったので、電話して会議が終わった旨伝えて、急いで帰る。6時半くらいだが、名神は混んでなかった。6時台はいつも混むのだが。で7時ちょい過ぎに住処に着いて、すぐふなごやに向かって合流。京大から何人かお連れに成るかと思いきや、皆それぞれ約束があったり都合があったりしたらしく、お一人で来られた。でお互いの大学の話だったり数学の話だったり Baystars の話だったり。前はよく一緒に日本酒を呑んだが、奥様のご趣味か最近はワインが多いらしく、こちらも店長の趣味でワインが多いので、魚介類を中心に食べながら合う白ワインを数杯。終電近くまで呑んでお開き。JR の駅への近道を教えてあげて感謝された。
火曜の晩は呑まないと、ということで、更に違法販売機（この言葉が面白いと言っておられた）で数本買って、呑み呑み先々週と先週のゴチバトルを見た。面白かった。それからどのタイミングか分からないがダウンした。
今日は4時50分から会議があった。オンライン参加でいいので、4時50分のちょい前に起きて、Zoom を起動させる。が、何やら本題とは別の話題がずっと続いていた。何だかよく分からない話だった。途中で Uber Eats にいつもの麻婆丼と餃子と唐揚げを頼む。いや、厳密に言えば「いつもの」ではない。一軒のお店が二つ看板を出していることがよくあって、いつもの店が一覧に無かったので、その店のもう一つの看板の方に頼んだ。来たものは同じ物だったので、まあ「いつもの」なのだが。届く頃には会議は終わってるかと思ったが、まだ続行中。食べ食べ会議に参加した。映像はオフにしてあるので、大丈夫。
会議終了後もう一度ダウン。「相棒」が始まった声が聞こえたので起きた。いや、見るためでなく、チャンネルを変えるため。ここ数年「相棒」は録画してあるだけで見てない。新幹線移動の時に昔のを見ているが、まだシーズン6。今やってるのはシーズン23。いつ追い付くんでしょうか？いや、見てた年もあるんだが、野球が佳境の頃にシリーズが始まるので、見る余裕が無くてつい溜まっていく。今は「緊急取調室」はちゃんと見ているが。こっちは映画が放映されることに成っていて、それを見るにはちゃんと見ておかないといけないから。「栄光のバックホーム」も見に行くし、色々忙しい。年内の講義はあと1週間ちょい。そしたら少し余裕が出来る。それから行こう。年末年始に実家に帰る時に幾つか録画していくので、そのためのハードディスクの余裕を作ることもするので、忙しい。いや、そんなのは忙しいことに成らないが。もう気付けば12月17日だね。今年の残りは2週間。早いぞ。
あ、月曜日の講義と昨日の講義の後始末をまだしてないな。やって演習担当の先生に報告しないと。眠いから今日は早寝するが、まあ「これ余談なんですけど…」が終わるまでは起きてるので、見い見いやるか。