日曜日に向けて（謎）生活リズムを整えて、万が一でも風邪をひいてはならん、の筈が、何か始めると熱中してしまう。昨晩も秘蔵の代数問題集をいじってたら意味不明な問題があって、考え始めてしまう。で結構な時間に成ってしまった。いかん、寝るぞ。
で目が覚めたら11時40分くらい。ダッシュで出掛ければ弁当が売り切れる前に職場に着くだろう、と12時半ちょいには着いた。が、弁当が売ってない。明日が祝日なのと関係あるのだろうか？仕方ない、生協で冷めた唐揚げ弁当を、と思ったら、今日も生協の前に揚げたての唐揚げの弁当を売ってるキッチンカーが。ちょっと時間が掛かって、食べる時間が短くなるが、やはり出来立ての方がいい、ということでそっちに並んで個研室で短時間で食べる。
1時から「代数学II」。まず有限次拡大がガロア拡大であることと拡大次数がガロア群の位数と一致することは同値（の簡易版）を証明して、でそれを幾つか例で見て、固定体を定義して、有限次ガロア拡大だと Gal(L/LH)＝H を証明したあたりで時間。LGal(L/M)＝M は来週。基本定理の主張を書いて証明して、例を幾つかやって、というところまでいきそうだ。今日で9回目だからね。面白くなってくるあたり。分からんちんな学生は？マークが頭の上を飛ぶ量が増えてきただろう。そろそろレポート問題を考えないといけないかな。
2時40分から代数的整数論のゼミ。今日はまず判別式が負の3次体の基本単数の計算を幾つか。まあ何か求まるんだな、という感じで、いまいちちゃんと聞いてなかった。その後 Minkowski の理論に突っ込む。フーリエ級数が何だとか重積分がどうしたとか測度の不変性が何だとか、聞き慣れない話題が多かったが、ちゃんと説明していたようだ。が、幾つか気に食わないこともあった。前半でギャップを埋めてないところがあったり、後半では内積を考える時に一方が零ベクトルだったら0に成るとか至極当たり前のことを一生懸命説明しだしたり。線形なものは何でも0を0に写すんです。まあ何はともあれ、大変だった。5時半ちょっとに終了。
その後個研室で気に成ったことをちょっと計算。そんなこんなしているうちに6時ちょい。一番高速道路が混む時間だが、まあ早目に帰りましょ、ということで職場を後に。高速道路は案の定渋滞。「事故渋滞11km」の表示を見て、ぎょっ！と思ったが、暫く進むと「京都南－茨木 事故渋滞11km」の表示。ちょっとほっとするも、混雑していることに違いはない。外環三条の交差点に辿り着いたのは7時過ぎ。腹が減ったし、はま寿司でも行くか、と思って行くと、こちらもかなりの混雑。明日は土曜日だし、しかも祝日だし、夜7時過ぎだしな。でも団体客は待たされるが、一人客はそんなに待たない。カウンターの両隣は二人組×2だったようだ。二人ならテーブルじゃなくてもいいのかな。でいつもの通り左折で出て大回りして帰ろうと思ったが、外環が案外すいてたので、右折してまっすぐ帰ってきた。
はま寿司に入る前に野球をちらっと見たら、3－0でリードしていた。住処に辿り着いた時点では3－2。才木が2ランホームランを打たれたようだ。その後6回表に2ランホームランとタイムリーヒットでひっくり返され2点差。うむ、と思って見ていたが、6回裏に坂倉がソロホームランで1点差、栗原が押し出し四球を選んであっさり同点。で次打者の牧が何と満塁ホームラン。ただいま9回表2死で大勢がマウンドにいる。もう勝つでしょう、という油断が怖い。最後まで引き締めないと。
「代数学II」の後始末が残っていたのを思い出して一作業。FFFTP でファイルを送って、Tera Term でちょっとホームページを直して、さて完了、と思った見たが、何やら forbidden というエラーメッセージ。昔ちょっとだけ UNIX をいじってた経験がこういう時に活きる。chmod でも実行すれば終わりでしょう、と思ったが、chmod の使い方を忘れてしまった。が、今はこんな時は「UNIX chmod」くらいで検索すればすぐ出てくる。思い出した。で完成。気に成ることが無いのはいいことです。
などと書いてしばし。大勢は1点取られたが、まあ大過無し。これで国際大会26連勝。何か今年は26という数字をよく聞く。Baystars が26年振りの日本シリーズ制覇、Hawks は26イニング連続無得点の日本シリーズタイ記録（29イニングの新記録まで伸びたが）とか。優勝するな。
大谷が MVP をとったらしい。DH としては史上初。まあ色々記録を残してるから、当然だろう。今年の野球は面白かった。まあ Baystars が Tigers も Giants も Hawks も破ったから楽しい気分でいられるから面白かったと言っている。これで Giants が日本シリーズまで制覇したら気分は最悪だったな。Hawks が優勝するのもそんなに楽しくはないが、まあ Giants よりはまし。残るはプレミア12優勝。明日、明後日で決まる。どうなるでしょう？
