昨晩は呑み呑みイデアルがどうしたとかぐちゃぐちゃやっていた記憶がある。例によって怪しいが。他にも、あることが成り立つかどうかの規準を証明してあったが、その規準の仮定から漏れている case で結論が成り立つか、ということをコンピューターで実験した模様。例によって「模様」なのだが。一つだけ Mordell－Weil 群が SageMath の E.gens() で求まらず、適切にパラメーターを変えても求まらず、結局 PARI/GP の ellheegner コマンドで求めて、整数点が無いことが示せて、で規準を満たさなくても結論が成り立つことが実験上は分かってしまった。「実験上」と付けないと証明出来たかのように見えるので、こう表現しているわけだが。でかなり酔いが回ってきたようで、ダウンした。いつも思うんだが、酔いって突然来るよね。呑んだ量と酔い具合の完全な相関性を見付けることが出来たらノーベル賞だと思うが。誰かやってください。いや、そんなものを見付けたら飲酒運転が増えるか。
などとして結局夕刻まで寝ていた。日本シリーズには間に合うように起きたが。1回表に佐野に2ランホームランが出て2点先制したが、見せ場はそこだけだった。4回裏に2アウト二塁の場面で栗原を申告敬遠で歩かせたが、祐大が2点タイムリーツーベースヒットを打ち追い付かれ、柳田に逆転打を打たれてしまう。むぅ。7回裏に祐大が犠牲フライを打ちもう1点取られ、そのまま見せ場なく終了。あっさり4連敗で敗退。結果だけ見れば一方的だが、1試合目から3試合連続延長戦は初だったそうだし、レイノルズが2試合抑えられなかったが、そこまではリードしていたわけだし。いや、やめよう。強かった。祐大が日本一を味わえたので、いいことにしましょう。一昨年は Baystars にいてチームは日本シリーズ制覇（日本一とは言わない）したが、祐大はシーズン終盤に死球で骨折し、ポストシーズンは出場が無かった。規定打席にもちょっと足りなかったしな。ま、これで明日から数学に集中出来る。明日、明後日は遅くまで職場にいよう。MVP は正木だったが、今日の活躍だけなら祐大でよかったのでは？という気もするが、まあいいです。ビール掛け楽しんでな。
