8時前に目が覚めてしまった。寝不足だがいいか、ということにして、先週の「座王」を見たりして時間潰し。10時45分くらいに住処を発つ。
で少し時間があるので、はま寿司へ行こう、と思ったが、ちょっと混み始めた時間で、注文したものが5分、10分と出て来ないことがあって、嫌に成って1200円ちょっとしか食べてないが職場に向かうことにした。荷物を個研室に置いて、ちょっとお茶を飲むくらいの時間は欲しかったので。
で1時から「代数学II」。今日は前回積み残した単純拡大の話を幾つかして、その後有限次拡大は代数拡大とか、代数拡大に代数拡大を乗せても代数拡大とか。寝不足だとハイに成っていけない。今日も色々口走ってきた。疲れた。
が、休めない。2時40分から代数的整数論のゼミ。今日は同じイデアル類に入っている条件を加群の同型の言葉で言い換えることから。が、これが想像以上に難しい。で何だか二つのベクトル空間がであるということが書いてあって、ん?と思ったが、片方がもう片方の部分空間で、次元は自明に同じだったので、いい、ということになった。何だか騙された気分だった。その後代数体の整数環の合同式の話とか既約剰余類が何だとか。でフェルマーの小定理の整数環バージョンが出ていて、その後 Z でのフェルマーの小定理が書いてあったが、不思議なことに次に出てくるウィルソンの定理にはちゃんと「ウィルソンの定理」と名前が書いてあるのに、フェルマーの小定理の方には何にも書いてない。まあ有名な定理だからいいということだろうか。で5時半ちょいに終わったので、ウィルソンの定理の初等整数論的な証明をちょろっと話したり、ウィルソンの定理から素因数を一つも見付けないでも素数でないということが分かるよね、とかフェルマーテストとか、冪乗の早い計算法(指数を2進展開してやるというあれ)のことをちょろっと喋ってきた。寝不足でハイである状況が続いていたので、気分良く話してきた。まあ発表がちゃんとしていたからというはあるが。分かっていない所は結構あったが、分かっていないのを分かっているのでいいです。
で6時ちょい前に職場を後にする。もうこんなに暗いのか。そりゃもう10月も後半だもんな。高速道路は混む時間だな、と思ったら案の定。「草津JCT-京都南 渋滞17km」ととんでもない表示だったが、大津インターが近付いた頃に70km/h出せるくらいに成って、また京都東が近付いたら混み始めたが、まあもう大した距離ではないので。三条通も混んでいたが、まあ想定の範囲内。で右折してマンションの敷地に行くと、小生の車を入れる立体駐車場で、入庫作業中の人がいた。親子連れで何やらもたもたしていた。いや、別に苛立ったりはしないが、小生の後にもう一人待っていたので、ちょっと申し訳ないなという気に成ったので。で6時45分くらいには部屋に入った。駐車するまでの待っている時にスマホで野球の情報を見たら、0-1でリードされている状況。うむ。でテレビを付けると、岡本に一発打たれたようだ。が、吉野は3回1失点なら上出来でしょう。その後オースティンが同点ホームランを打った。で勝ち越し点は思わぬ展開から。オースティンの打席でランナー3塁。すると、Giants の投手の赤星がワイルドピッチ。労せずしてホームイン。でこれが何と決勝点。今日も2点しか取れなかったが、まあいいです。昨日の結果を見ると、併殺打を5本も打って勝ったようだし、今日も豪打炸裂ではなかったが、戸郷、菅野のエース級から勝ち星を奪い、ローテーションの谷間で勝つとは、何とも儲けもの。もう1試合勝てば7年振りの日本シリーズだが、まだ油断してはいけない。往年の近鉄ファンとしては、あの3連勝の後4連敗食らったシーンはまだ脳裏に焼き付いている。それに、前に Giants は CS ファイナルステージで Dragons に3連敗を食らった後3連勝仕返して日本シリーズ進出ということもあったそうだし。まあだけど、明日決まって欲しいな。明日は 10.19。近鉄ファンとしてはこの日は忘れられない日だ。もう近鉄 Buffaloes は無いし、後継球団であるオリックス Buffaloes は今年は惨敗だった。もう 10.19 の新しい思い出は、Baystars が CS 進出決定、しかない。明日も応援しよう。
で気付いた。10.26 は Baystars ファンには忘れられない日だが、今年の日本シリーズは 10.26 から。CS があるから、10.26 が日本シリーズの最終日ということは無いだろう。去年の日本シリーズは11月5日に終わったようだ。さ、どうなるでしょうね。
野球が終わった後、報告集の直しをちょっとしていた。ちゃんと読んでみると気に成ることが続々出てくる。25日が締め切りだが、25日の晩に名古屋に乗り込むし、今日と同じで昼から講義だゼミだと時間が無いので、木曜日には送ってしまわないと。月曜日の講義の準備を大抵木曜日にやってるから、そっちのことも考えないといけない。後1週間、色々やることあるな。若い先生に質問されている件があるが、そっちも片付けないと。やっぱり野球は明日決まって欲しい。まあ結果はどうあれ、明日は呑むけど。ちょっとふなごやに持っていくものがあるので。来週は名古屋だから行けないので、明日届けないと。