2025年12月23日火曜日

年内の講義は今日で終わり(ゼミが一つ残っているけど)

寝ないといけなかったが、ついテレビを見てしまった。鬼に挑戦して、勝ったら賞金、という単純明快な番組。1つ目はカズレーザーにクイズで挑む、というものだが、流石に歯が立たずに惨敗していた。が、2つ目が凄かった。プロのバスケプレーヤに挑むというもので、バスケットボールの番組をやってるハライチ澤部がその選手を見て、凄いのが出てきたというようなことを言っていた。挑むのはかみなりのたくみ、ハナコの岡部、そして桜井日奈子。桜井日奈子が凄い使い古したバッシュを履いてきていて皆が笑っていたが、特技はバスケットボール、というほどの腕前らしい。で始まってみたら、ビックリした。遠くからのシュートを連続でボンボン決め、プロが焦り出して、最後は桜井日奈子だけ生き残って、賞金を手にしていた。面白かった。流石に眠く成ってきたので、すぐダウンした。

で今日は昼の1時半くらいまで寝てしまった。急いで出掛ける。途中で気付いた。昨日眠い中で頑張って赤入れした紙を置いてきてしまった。まあ幸い USB メモリーは持っていったので、講義後記憶に頼って作業をしたりは出来るのでいいけど。

リンクスクエアの売店で弁当を、と思ったら売り切れていて、菓子パン、おにぎり、サンドイッチが幾つかあるだけ。サンドイッチが一番量がありそうなので、買って食して、講義室へ。電気が点いていて、1人いた。2週間ばかり来なかった学生だが。暫くしたらもう一人来て、講義開始後もう二人ばかり来た。今日は Qp の有限次拡大に p 進付値が unique に延長出来ることを証明した。必要になる体の有限次拡大のノルムの話は程々にしておかないと時間が無い。ノルムの連鎖律はやりたいが我慢した。環の整拡大の話も程々にしないと。まあ整元を加減乗しても整元に成るのは、体論でやった代数的な元の全体が体に成るのの証明と同じだから、その旨言って略した。で残りの一回で Qp の有限次拡大体が p 進付値(の unique な延長)で完備に成ることをやりたいが、これも結構重い。Qp 上の有限次ベクトル空間のノルムが全て同値なのを示すのが結構大変。まあ最悪の場合、途中を「演習ね」と端折っていくしかないが。

年内の講義は今日で終わり。明後日ゼミが残っているが、金曜から冬期休暇。

講義後は部屋で一作業。一箇所変だと思った所があったが、ちょっとした勘違いだった。ただ書き方がよろしくない。web に上げる資料はちゃんと直しておいた。で年明けの作戦練りを少々やって、それから「代数学II」のことをちょっとやって、とかやってたらあっと言う間に9時に成ってしまった。群作用よく分かってないな、というのが分かってしまった。もう一回ちゃんとやらないと。

昼が少なかったので、すき家で牛すき鍋膳を、と思っていたのだが、文庫本を忘れてきたので、待つ時間が短いものにしよう、とメニューを見たら、ローストビーフ丼があるじゃないか。あんだけ何度行っても無かったのに。何かネットニュースでは見た目も食べた感じも写真や宣伝と違うぞ、と書かれていたが、美味しかったぞ。何か白っぽい物が別添でついてきたが何だろう?と思って舐めてみたらワサビだった。そこそこの量を舐めてしまい、ちょっと大変だった。ワサビはもっと緑色なイメージだったが。

結構雨が降ってたが、明日は結構降るようなことを言ってた。12月24日から25日に掛けては晴れの得意日らしいが。関東でこんだけ降るのは随分久し振りだと言ってた。でビックリしたのが、首都圏と札幌の最高気温が7度で同じらしい。もっと寒くて雪でも降ればいいのだろうが、何とも中途半端だな。まあ今年も小生はクリスマスは特に何もしないで終わるが。一応気分は出そうと、中山美穂のクリスマスの曲の入った CD を車で流してはいるが。去年は聞かなかった。死んでしまったばかりだから、というわけではなく、単に見付からなかったから。杉山清貴のクリスマスアルバムはどうしたかいな?行方不明。浜田省吾のもあるが、これはちょっと聞きづらい。最初クリスマスの曲だけを集めたものをLPとカセットテープで売り出して、「CLUB SNOWBOUND」というタイトルだったが、CD 化する時に夏の曲とクリスマスの曲を一緒くたにして、「CLUB SURF & SNOWBOUNT」にされてしまって、夏も冬も聴けない CD にされてしまった。MD プレーヤーがが車に付いてた頃は分割して2枚にしておけばよかったがな。いや、CD でもそういうことは出来るんだろうが、小生のような原始人はやり方をしらない。ということでずっと聴いてない。SENTIMENTAL CHRISTMAS は「愛の世代の前に」に違うアレンジのが入っているので聴けるけど。そうだ、後でコンビニで適当なケーキを買ってこよう。うん、そうしよう。で明後日からはもう年末年始モードだ。金曜日から休みに成るし。年賀状も買っておかないとな。一年早かった。来年度は忙しくなりそうだな。嫌なこった。