今日も結構遅くまで寝ていた。職場に着いたのは12時半を結構過ぎていて、外で弁当は売ってないかも、と思って近付くと、案の定人気が無い。生協で買いに引き返そうとしたが、何やら学生三人組が弁当屋の方を見て騒いでいる。近付くと売ってる人が「弁当後3つ、そこの3人さん」と呼び掛けていたが、声を掛けるだけ掛けて行ってしまった。ということで幸い買えた。個研室で短時間で貪って、1時過ぎに部屋を出て講義室へ向かう。
金曜日は「代数学II」。今日は拡大次数に関する初歩的なことをチマチマやって、それから体に元を添加する話。何の本でも書くのが面倒臭いからなのか、それとも「これくらいは自明だからやってね」ということなのか、細部をちゃんと書いてる本が無い。気に食わないので、1個添加した場合に限るが、ちゃんと体に成ってること、添加する前の元とした元を含んでるとかやった。まあ自明だな、と毎年思うんだが、ここまで詰めないとあかんのだよ、という手本のつもりでやった。で単純拡大を定義して、代数的な元を添加するとどうなる?と来週の枕を言って終了。今日は少々暑かったせいか、疲れた。冷房は軽く掛けてた。
ちょっと休憩してからゼミ。今日は Minkowski の一連の理論で必要に成る体積の計算を幾つかやって、それから単数の章に突っ込む。で Dirichlet の単数定理の証明だが、途中一箇所引っ掛かってると言ってた。ちゃんと聞いておかないと、とちょっと真面目に。冷房付けていいかと学生が聞いたので、勿論許す。暑いし、動いてると尚更。で件の箇所に差し掛かった。何かが1次独立であることを示すのだが、「定め方により」と書いてあって、詳細が書いてない。色々やって上手くいかず、AI に聞いたというようなことも言ってたが、「定め方により」みたいなのは機械的にやれば出来るんだよ、と経験上分かっているので、やってみたら割とすぐ出来た。ちょっと経験の差を見せつけられたかな。この前「ミラクル9」でノブコブの吉村が若い解答者に「何年やってると思ってるんだ!」と叫んでいたが、まあそういうことだ。で無事単数定理の証明が終わったところで終了10分弱前ということで終了。
その後部屋でちょっと雑用。過去の資料をちゃんと取っておくべきだったと後悔。皆さんに意見を求めるメールを書いた。さあ返事はあるでしょうか?その後ちょっと講義の支度をして、9時半過ぎに個研室を出た。
久々にココ壱番屋でカレーを食べてきた。期間限定のバターチキンカレーなるものを食べたが、まあ想像通りの味。早稲田理工の近くのインドカレーの店で食べたのよりはずっとマイルドだったが。腹が膨れると脳味噌が冴えるのか、出る前に個研室で考えてたことが一個片付きそうな気がした。いや、運転に集中しないといけないので、ちゃんと考えてないし、考えることも出来ない。これを書き終わったら考える。
明日からセ・パ共に CS が始まる。セは Giants vs. Baystars だが、Giants の先発は案の定井上。ずっと抑えられてるから大変だ。今シーズンのたいせんぼうぎょりつは 0.77 とか言ってた。1試合だけ勝ってるが、その試合は 1-0 と、打ち崩してはいない。井上を早く引っ込めるのが大事だ。この前も6回投げて引っ込んで、その後逆転した。リリーフを引っ張り出せば勝機はある。東はやってくれる。信じて応援しよう。2時開始だ。気持ちよく夜呑みに行ければいいけど。
などと書いてたら同僚からメールが来ていた。学生から人気のある先生が色々と苦労していたことを話してくださると助かる。考えてみよう。