寝ようと思うと何かやりたくなる。でまたしても「おはよう朝日です」が始まってしまい、そこから暫く見てしまった。で起きたらもうゼミが始まる時間。「遅れる」とメールを書いて、急いで出発。夕方だから、ウェストウィングの割と近くに停められるので、まあそんなに遅れてない、とは言えないくらい遅れていたが。急いでゼミ室へ向かう。
今日は位相群の話ばかりで、開近傍がどうしたとかそういう話ばかりだった。位相群の部分群ん閉包はまた部分群に成るが、ちゃんと証明してた。自分で証明を考えたなら凄いし、何かを調べて喋ったとしてもちゃんと消化していた立派。皆やはり位相はそんなに得意でないようで、今日も早目に終了した。遅れて行かなかったらもっと早く終わったということだが、いいです。イデールに入ると大変だし。来週から本格的にイデールをやるようなので、勉強しておかないと。大昔に勉強したが、実は類体論を使う時はイデアルを用いた形式化の方しか用いたことが無いので、イデールはほぼ完全に忘れている。ゼミで使ってる本をもう一冊買って、職場と住処に一冊ずつあるので、どこでも勉強出来る。
でその後談話会室控室でやってる宴会に顔を出す。いつもは「ああ、またやってはる」と思って顔を出さないが、今日は新潟大学の星明考君が講演者の一人だったので、話はゼミの裏番組なので聞けなかったが、まあ話はしておこうと。でその後タップリ話した。内から他の大学に移った人とか、結構御大の方ととか。世間は狭いもんで、御大の話してることが室蘭工大の森田英章君の話に近いような感じなので聞いたら、よく知ってると言ってた。森田君は小生星君と同じ横浜の出身で、去年鹿児島で聞いたら星君と同じ高校(つまり小生の兄者と同じ高校)だと言っていたので星君に教えたら、森田君と面識は無いようなので、是非新潟のセミナーに呼んであげて、と言っておいた。で何だかんだと話していて、皆さん10時40分の終バスで帰るようで、10時半くらいにお開きに成った。
その後ココ壱番屋でカキフライカレーを食べて帰宅。今さっき着いた。楽しかったが、やろうと思っていたことが出来なかった。まあいいです。明日やる。いや、明日は早目に帰ってきて野球を見ようか?金曜日は6時ちょいまでゼミだから、7時に職場を出ようかな。もう帰宅ラッシュは一段落しているし。展開次第だな。昨日は2-0で勝って、今日は牧のソロホームランでの1点差で勝った(1-0ということね)。明日勝てば一気に日本シリーズに立直だ。是7時の時点での点差で今朝遅くまで考えていたことを TeX 化しに遅くまでいるかどうか考えよう。
明日は1時10分から講義だから、今日はちゃんと寝ないと。「アメトーーク!」が終わってから先週の「座王」を見て寝よう。今日の「プロ野球ニュース」の録画を忘れないようにしないと。パ・リーグの今日の決着の仕方が凄い(2-2の同点から9回裏にサヨナラ満塁ホームラン)だから、こっちも見たい。ホームランは怖いね。まあ一遍に点が沢山入るのと時間制じゃないのが野球の面白い所だ。明日はどうなるでしょうか?