何か天気が悪くなるぞー悪くなるぞーと言ってるが、午後からだ、というので、午前中に駅の行政サービスに行って、印鑑証明書を貰ってくることにした。徹夜決定。早ければ早いほどよかろう、ということで、9時に開くので、9時くらいに部屋を出た。今日は最高気温は大したことないようだが、雨のせいで物凄く蒸し暑い。駅まで10分も無いが、結構嫌な感じだった。小生の前に手続した人が3人順番を待ってた。書類を買いて、350円払って終了。まだ天気は大したこと無いので、ドラッグユタカで買い物をすることにした。管理人さんに頼むことがあったので、言っておいて用事は終了。
すぐにでも寝ようかと思ったが、YouTube を見てても眠くならない。でまた閃いた。マクドナルドでこの時期恒例の月見バーガーが売り出してる。Uber Eats に頼んで食べよう、ということで11時過ぎに頼む。で食べて、いよいよ寝よう、ということにした。
で8時くらいまで寝た。完全に昼夜逆転。まあいいです。今日、明日と Baystars は試合が無いので、Swallows vs. Tigers を見ることにした。佐藤輝明が2ホームラン。佐藤は昨日も打って、森下より3本上に行った。三冠王か？で Tigers は勝った。Giants は試合が無いのでマジックナンバーは一つ減って18。今見たら、セもパも首位と2位が5ゲーム差でマジックナンバー19。2位以下がずるずる落ちているセ・リーグと、2位以下が粘っているパ・リーグと、後者の方が面白いかもな。明日も Baystars は試合が無いが、Tigers も無い。Carp vs. Giants があるが、どっちも負けて欲しい。勿論無理。Giants にはとにかく無条件で負けて欲しいから、Carp と Baystars のゲーム差が0.5縮まるのはいいです。頑張れ Carp。
上に書いた通り徹夜をしたわけだが、何をしていたかというと Mordell 方程式を幾つか解いていた。Keith Conrad という人が Mordell 方程式のことをまとめて書いてくれたものがあるので、それの例題を読んだり、exercise に成ってるものを解いたり。今一生懸命コンピューター君が有理点探しをしているが、それは Mordell 方程式の整数点を決定したり無いことを示したりするためにやってる。Conrad の書いたものも山崎隆雄さんの本に出ている例も上手く解けるものばかり集めていて、そうはいかないと思うからコンピューターに任せてる。ちゃんと考えれば幾つかコンピューター頼りでなく示せるものはあるだろうが、まあそれは一通り済んだら考えるということで。先週の金曜日に始めたものはまだ見付かってない。前に2週間くらい掛かったものがあったから、今回も覚悟はしている。まだ夏休みは3週間以上あるので、有意義に使わないと。呑んだりテレビ見たりとかだけでなくちゃんとしないとね。
