今日は夜中に何度も目が覚めた。で8時半頃起きた。眠りが浅いためか、何かボーッとしてる感じ。朝飯を食べて、ごそごそと動いたんだが、やっぱりもう一寝入り、ということで横になる。今度もよく眠れない。で12時ちょい過ぎに観念して起きる。シャワーを浴びて、さて、と思ったら車のドアが開かない。メカニカルキーで開けて入ってみるが、エンジンが掛らない。またやったか、ということでルームランプのスイッチがオンになっているではないか。がーん、4月23日と同じミスをやってしまった。この前は電車で行けば間に合うくらいの時間だったのだが、今日は間に合わない。止む無し、ということで休講の措置をとる。無念、今日イデアル論の基本定理の証明が完成するはずだったのだが。
でその後JAFに電話。情けない。例に寄ってすぐ処置をしてくれて、会員証を持っていたので、無料で。スマホをJAFの会員証の代わりに出来るとかで、チラシを置いていってくれた。感謝。
で例に寄って1時間くらいエンジンを掛けっ放しにしないといけないので、ちょっとドライブへ。講義を休講にしてドライブとはけしからん、と言われるのかも知れないが、止む無し。で帰ってきた。
その後 Catalan 予想の本を勉強。よく証明がわからない補題があったのだが、1箇所を除いて全部分かった。その1箇所も数学的帰納法でも使えば出来るんだろうが、如何せん計算力が乏しいので、何度やってもうまくその式が証明できない。もう一頑張りしようか、というところで夕食タイム。その後うっかりテレビを見てしまって、もう一頑張り出来ずにいる。明日は早いし、そろそろ寝るか、というモードに入ってしまっているので、頑張りは明日へ回すか、それとも本当にもう一頑張りするか検討中。
