やはり起きるのが遅くていいと中々寝ないな。結局今日も「おはよう朝日です」を途中まで見てしまった。で起きたら2時くらいで、急いで行かないと間に合わない。飛んで出た。勿論スピード違反はしないよ。でウェストウィングの1階で菓子パン一個とペットボトルのコーヒー一本買って流し込んでからゼミ。
今日で虚二次体の類数が1でない場合が終わって、多項式環での平方剰余の話。ここまで来たのは何年振りか？大分忘れてたので割とちゃんと聞いていた。幸い今日はそれなりに寝ているので、脳味噌はちゃんと動いた。まあ今日は定義して計算しただけだから、大したことは無い。来週相互法則の証明をするが、古典的な場合の証明の類似を多項式でやる。テキストに載っている Z の場合の証明を始めて見た時、何でこんな難しい証明を採用するんだろうか、と思ったら、多項式環の場合にその類似の証明が行いやすいからということのようだ、と納得がいった。どの方向にしろ発展させやすい証明は大事。ということで来週もちゃんとしないと。
で5時過ぎに解放されて、それから位相とか代数体のイデアルのことをちょっと考えて、9時くらいまで職場にいた。「おはよう朝日です」に依れば昼間に俄雨は降るかもしれないが、本格的に降り出すのは夜遅く成ってから、とのことだった。でその通りで、職場に着いた時はちょっと雨が降ってた。車に置き傘として置いてある傘を使ったが、うっかり個研室に置き忘れてしまった。まあ住処にも傘はあるのでいいけど。で走ってる最中にぽつぽつと降り出した。まだフロントガラスに水滴が少々つく程度なので大したことはない。ガストで唐揚げを食べて住処に10時半くらいに着いて、でその時の雨も大したことなかった。そろそろ降り出すかな？ちょっと買い出しに行きたいが降ってたら嫌だな。あ、明日は資源ごみの日じゃないか。雨降ってるとそっちも嫌だな。早い内にやるか。火曜日に講義があると落ち着いてゴミの分別が出来ない。まあ明日の講義も2時55分からなので、結構な時間までやってても大丈夫だけど。ということでやりますかね。
健康診断のお知らせが随分前に来たっきり来ないが、いつなんだ？とこの前調べたら12月に成ってから。そろそろもう一度案内が来てもおかしくない、と思ったが来ない。でメールを探してみたら、随分前のメールが最終案内で、それに書かれている URL から日時指定をしなくてはいけなかったようだ。で見たら、小生の空いてる時間に合うのは1箇所しかなかった。残り3枠と、かなり危険だった。危ない。まあどうにかなってよかった。前は紙が送られてきてそれを送り返していたが、ペーパーレスに成った今の時代は過保護ではなくなったな。気を付けないと。色々やることがあって、肉体的にはそんなに多忙でないが、精神的に結構多忙である。気を付けないと。「忙しいとは心を亡くすと書く」と前に聞いたことがあるが、その通りだな。まあ小生程度で忙しいと言ってはいけない。昨日うちは総長選挙があったようだが、結果がメールで来ていた。一昨年まで理工学部長をなさっていた方が選ばれた。学生の頃からうちにいらした方だし、学部長もなさったくらいだから、まあ選ばれて然るべきだ。しかしそんなことをするために大学教授に成りたかったのだろうか？小生とは比較に成らない忙しさだろう。お体を大事になさってください。健康診断を受けてくださいね。
