何だかんだと遅くまで（早くまで？）起きていて、で起きたらもう相当な時間。講義にすっ飛んでいく。勿論言葉の綾で、スピードはそんなに出さなかったが。弁当を買って食べる時間はあるかとも思ったが、慌ただしいので、カレーパンを一個買って齧って済ませた。
今日は院生向けの講義。ヒルベルト記号の explicit formulae の証明の残りを済ませて、で系として非退化双一次形式が引き起こされること、局所類体論の2次拡大バージョンを示して、それから積公式。「跡公式と間違わないように」とは言っておいたが、勿論蛇足。ただ思い付いたので、「確立論とか卒検とか書かないように」と言っておいた。割合最近どちらも見た。でその後 p 進の exp と log を定義して、exp の性質を示したら時間になった。来週は log をやって、で Qp× の構造をやって。
で生協でもう一度パンを一個買って、コーヒーで流し込みながら教授会。今日は大事な件があるので必ず出席せよ、との案内が来ていたので、急いでノートパソコンの電源を入れるも、何か変。何度かやって嫌に成ったので、デスクトップのパソコンで出席することにした。こっちだと音量が小さいので、よく聞こえない。イヤホンを差し込む穴を探せばいいんだな。今度やろう。で急いで参加したら、何やら就職関係の部署の報告が行われていた。肝心の件には間に合った。でそれは結構短時間で済んで、教授会は割と短時間で終了。よかった。
それから講義資料の直し。数箇所直して、web に上げて、で来週の分をちょっと見たら、もう位相的な議論をしないといけない回に成っていることが分かってギョッとする。ちゃんと見ておこう、と思って始めたが、嫌になった。距離空間だとコンパクトと点列コンパクトが同値とか一昨年は真面目にやったが、もうそれはいいか、と。連結性は真面目にやるけど。シラバスを見ると、位相空間の講義では連結性は最後の方でやるようなので、もう大分皆沈没しているだろう。丁寧にやってあげるに越したことはない。で始めたが、結構トラブった。隔年開講の講義なので、2年前にやった筈だが、覚えてないことが多い。R が連結だとかちゃんと理解して話してたのだろうかと思ってしまう。で苦労したお陰でよく分かった。で連結成分の定義と、x を含む連結成分は x を含む最大の連結集合であることが理解出来た。で気付けばもう10時。いかん、帰るぞ。
今日はカップラーメンの買い置きがあるので、途中で寄り道せず直帰した。まだ名神の夜間通行止めは続いてる、と思ったが、大津インターから国道一号に降りてきた辺りにある電光掲示板に通行止め情報が出てない。峠を越えてる途中に名神が右上に見えるが、車が走ってる。ん？京都東インターの入り口が近付いてきたので見ると、入れるようだ。もう夜間通行止めと集中工事は終わったのかいな？29日までの予定と成っていたと思ったが。30日は日曜日だが職場に行かないといけなく、その前に集中工事が終わるのでよかったと思っていたが、もう済んでるなら助かる。
途中前を走ってる車が結構蛇行していたが、居眠りだろうか？怖いな。昨日酷い車の事故が2件あった。一件は事件と言ってもいいと思うが。君子危うきに近寄らずということで、途中の赤信号でしっかり停まって、離れることにした。幸い歩行者用押し釦が押されていて、長いこと停車していたので、次の信号まで一切追い付かなかった。無事に帰ってこられてよかった。
明日は保健センターに行く日。火曜の番は大体飲酒なのだが、今日はやめておく。適当な時間に不要なコンピューターを引き取りに来てもらうので、起きられなくて保健センター行けなくてギャ！ということをしないで済む。で予定表を見たら、ロクでもないこと気付いた。土曜日の午前に近所で野暮用、日曜日は業務、来週の水曜日は健康診断、という訳で暫く酒を我慢する必要がある。実は昨晩ちょっと呑もうと買いに行ったが、違法販売機でいつも買ってるレモンハイが売り切れていたので、呑めなかった。ちゃんと我慢すれば、ほぼ2週間禁酒したことなる。出来るんでしょうか？どっかで呑んじゃいそうだな。深夜に髭面の初老（もう初老というほど若くないか？）の男が酒を買って帰るのはいかにも胡散臭いので、やらないことにしているが、早目に買いに行けばいいのか。まあ可能なら我慢しますわ。
