今日の野球観戦は昨日書いたように8時過ぎから。「四ノ宮」の信号の所で様子を見たら、0－0。が、住処に着いたら0－1。国吉のワイルドピッチとか。その後追い付くも、満塁でもう1点が取れず。これが痛かった。デッドボール、盗塁、ワイルドピッチ、犠牲フライと、ノーヒットで1点取られた。これが決勝点。ということで、今シーズンは終了。いやー、疲れた。考えてみれば4月に10連敗して、その直後5連敗。もう最下位を覚悟していたのだが、一時は首位に0.5差まで迫り、終わってみれば2位。今年は楽しかった。来年も楽しいシーズンにしてください。ラミレスを解雇せよ、と五月蝿いファンがいるが、上のようにチームを建て直してくれた監督をやめさせるわけにはいかない。来年もやってもらって、楽しいシーズンを。
さて順序は変わるが、今日は卒研1。4時20分からなので、最悪3時50分くらいに住処を出ればいいのだが、今日は昼寝が長引いて3時45分まで寝てしまった。そこからダッシュで職場へ向かう。まあ言葉の綾で、追い越し車線に一度も出ずにのんびり向かったのだが。今日は円分体のイデアル類群に関する Herbrand の定理から。ベルヌイ数を用いた素数分体の類数の加除性や Vandiver 予想に関することが書いてあるので、そこは流して。その後まだ時間があったので、Dirichlet 密度の定義と、mod 4 で1の素数と3の素数の全体がそれぞれ密度1/2を持つことを示して時間。でその後は本当にダッシュで住処へ向かった。まあこれもやはり言葉の綾で、前を走っているトラックが80km/hぐらいで走っていて、その前にはしばらく走行車の陰が無いようだから、一度追い越し車線に出て抜いただけで、それほどダッシュではない、i.e. スピード違反はしていない。
さて今日は自棄酒と行きたい所だが、明日銀行に行く約束があるので、今日は呑まない。明後日は1時から卒研2だから明日も呑まない。ということで酒は明後日の予定。世界陸上も終わったことだし、今日は早く寝ようかな。
