昨晩はその後チマチマと有理点求めをしていた。時間が掛かるので「ミラクル9」の録画してあった2時間物を見たりしながら。でパソコンを見ると何やら Windows update をしたがってる。キリが付く前にやられては困るので、じーっとパソコンの画面と睨めっこして、妨害されないよう見張っていた。で何とか済んだので、パソコンを再起動して、Windows update もしてもらって、で次の有理点探しに取り掛かる。2～3時間ずつ掛かるように成ってきた。で適当に寝よう、と思ったら、「おはよう朝日です」の冒頭で古川昌希アナが、過去2度雨で流した甲子園での始球式（今時は「セレモニアルピッチ」というようだが）が昨日漸く出来た、その様子は7時16分くらいに詳しく、と言っていたので、起きてないといけないでしょ、と成ってしまった。むぅ。まあ面白かった。昨日の3時過ぎは結構な雨降りだったが、試合開始が近付くにつれ雨が上がってきて、グラウンドの整備で試合開始が30分遅れたものの、無事始球式が出来てよかったね。ギリギリまで始球式があるか無いか分からなかったそうだが、古川アナが一生懸命天気に関する神社に通ったりして願った甲斐があったね。よかった。
ですぐ寝ればいいのに、7時前に仕掛けた有理点が見付からないかな、と待ちながら「英雄たちの選択」を見たりしながら再び待つ。戦国時代は権力者の要請で戦に出て奮闘していたが、2代将軍秀忠の時代からは権力者は築城に協力するよう要請されるようになり、その結果で加増されたり取り潰されたりしたそうだから、潮目が変わったね。で見終わってパソコンの画面を見ると、10時前に有理点が求まっていた。もう10時か。腹減ったな、もう一つ有理点探しをスタートさせて、11時まで待って、Uber Eats に王将メニューを頼む。ニンニク激増し餃子が無かった。秋限定の餃子があるからだろうか？いいけど。12時過ぎまで届かなかった。ちょっと冷めてたな。まあいいけど。寝ようかと思ったが有理点が見付かってない。「徹子の部屋」のゲスト次第だが見てから寝よ、ということにした。高島礼子と藤原紀香だった。面白かった。で限界が来てダウン。
起きたら7時前。訳の分からない生活をしている。テレビを付けると Baystars がリードしている。パソコンの画面を見ると1時40分に有理点が表示されたようだ。何だ、もうちょっと起きてればよかった。もう一つ仕掛けたが、11時過ぎてもまだ見付かってない。Magma Calculator ではすぐ見付かったんだが。どんなアルゴリズムを使ってるんだろうか？SageMath よりも PARI/GP の方が短時間で有理点が見付かることが多いし、Magma はもっと短時間なことが多い。数学が進歩しているということだろう。
野球は2回裏から観戦。1－0とリードしている状況から度会の二塁への強烈な当たりを武岡がエラーして1点追加。更に蝦名がタイムリー2ベースヒットを打ちもう1点。3回裏は井上朋也が2試合連続となる2ランホームラン、次打者の古市がプロ入り初ホームラン。4回裏に牧も2試合連続となる2ランホームランで8－0。雨脚が強くなってきた。ここでノーゲームとか馬鹿馬鹿しいから、試合を成立させないと。幸い後攻なので、5回表が終わってリードしてればゲーム成立。運良く少し雨が弱くなってきて、試合は成立した。先発の深沢は走者を出しながらも無失点で凌いでいたが、7回表に大ピンチ。ヒット、二塁打、死球でノーアウト満塁。が、内山が初球をピッチャーゴロでホームゲッツー、丸山もピッチャーゴロで無失点。素晴らしい、と声が出てしまった。これで Swallows 戦は21イニング無失点とか。8月の Carp 戦で5回表までに6－0とリードしてもらったのに勝てなかった失態は今日晴らせたね。9回に井上朋也がライト前への当たりを後逸して、次打者の時にフライを落球し失点したのは余計だったが。最後のアウトも井上にフライが飛んで、Swallows ファンから変な声援が上がっていたが、流石に大丈夫だった。ヒーローインタビューに井上、古市、深沢が呼ばれたが、自らもフライを落としたことを笑いのネタにしていて、古市、深沢もいじっていた。8点リードしてたから冗談で済んだが、僅差でこれをやらないようにしてください。これで4位 Swallows と5.5ゲーム差。3位確定が近付いてきた。来週の木曜日も Swallows 戦のようだから、深沢が出てくるでしょう。無失点を伸ばしてください。木曜神宮で、金、土は横浜スタジアムでいずれも Swallows との変則3連戦。ここで勝ち越せばAクラスは固くなるな。
Tigers は今日は中止。「おはよう朝日です」で関西は午後から雨が強くなると言ってたが、その通りに成ったようだ。Tigers は大分キツイ日程に成るな。しかも Giants が勝ってしまって、1.5ゲーム差。「おはよう朝日です」で桧山が言ってたが、ここのところの Tigers は森下、佐藤のソロホームランに依る点が殆どらしい。Baystars は昨日1イニング7点取ったが3ランホームランが2発。今日も2ランホームランが2発。ソロホームランは打たれても怖くないと桧山が言ってたがその通りだな。走者をためてドカーンはダメージが大きいだろう。一発以外の点も必要だ。Tigers には頑張ってもらわないと。明日は出来るんでしょうか？
一応触れておく。ライデル・マルティネスが日本での250セーブ達成。凄いですね。
などと書いてる内に有理点が見付かってたらいいな、と思ったらまだ見付かってない。6時51分に仕掛けたんだが。本当に Magma Caluculator は凄いな。2秒で有理点を探してくれたぞ。こういうのを見せられると Magma 買いたくなるが、まあもうちょっと我慢しましょう。PARI/GP でも ellheegner コマンドを使えば数時間で見付かるので我慢出来る。いや、11日掛かる例もあったが。もうちょっと粘る。
などと書いて40分ほど。12時9分に有理点が見付かった。5時間9分程。段々時間が掛かるようになってきた。Canonical height は123とちょっと。また次のをやる。
