全勝力士がバタバタど負けて、内容の良くない琴櫻が単独トップに

昨晩は割と早く寝た。いつも書いてるが、普通の人の感覚では十分遅いが。でやはり無茶をしたからか、寝床に入ったらすぐに落ちた。で12時間以上寝てしまった。流石に体は正直だな。

Uber Eats に昼飯を頼んだが、中々来ない。五条通のすき家の前で配達パートナーが全く動かない。結構待った。漸く動き出して、何かメッセージが来ていたが意味が分からなかった。で結構冷めてたが、まあ仕方ない。熱々が食べたかったら自分で料理するか、もしくはズボラしないで飯屋まで出掛ければいいだけ。

で昨日夜やっていた「座王」の細身センス眼鏡スペシャルを見て、NHK 総合にチャンネルを合わせると、4時前だが相撲の中継が始まっていた。十両の最後の一番で、玉鷲の取り組み。4日目にして今場所初勝利で、907勝。安美錦に並ぶ歴代8位タイの白星だそうだ。鉄人まだまだ頑張る。立派立派。中入り後は今日も波乱があって、安青錦が伯乃富士に、大の里が高安にそれぞれ負けた。勝ちっ放しは琴櫻のみ。ただ琴櫻は押し込まれての逆転勝ちが多く、安定性に欠ける。「褒められたもんじゃない」と大関も自覚しているようだ。もっと体を利した勝ち方をしないと。今場所も混戦になりそうだ。

今日はセ・リーグは試合が無く、パ・リーグ2試合だけ。Hawks のマジックナンバーが昨日終了時で3に成っていたが、今日はどうでしょう？と思ったが、眠い。寝過ぎると逆に眠いよね。ということで相撲が終わってからちょっと寝た。それから一昨日の「プロ野球ニュース」を録画してあったのを見たり。一昨日はセ・リーグ3試合だけだったから、いつもより1試合を時間を掛けて解説してくれていた。11時からの番組だから、Baystars が12回裏にサヨナラ勝ちした試合は最後。やはり解説者がライデル・マルティネスが3塁を見たのが良くないと言ってた。2イニングを無失点に抑えた石田健大は一切映像に出なかったが、ヒーローインタビューは流してくれた。それとセンターに入っていた三森が前進してフライを捕って、飛び出した1塁走者を刺したシーンが本編では流れなかったが、Play of the day に選んでくれて嬉しかった。

でもう9時を過ぎていたので、NHK でニュースを見た。スポーツニュースで Hawks がどうなったかと思ったら、両チーム無得点で延長に成ったという情報。が、放送終了前に Hawks が4－0で勝ったらしい。マジックナンバーは2に成った。明日にでも優勝が決まる。少し前はセ・リーグ、パ・リーグどちらも首位と2位が5ゲーム差で、マジックナンバーが等しいかと思ったが、パ・リーグは首位と2位が10ゲーム差でマジックナンバー2、セ・リーグは首位と2位が0.5ゲーム差でマジックナンバー14。Hawks は8連勝だそうだ。Tigers の大失速とは大違いだ。こうなったら Baystars に日本シリーズに行ってもらいましょう。一昨年同業者から教えてもらったのだが、ここのところ日本シリーズで Hawks に2勝以上したのは Baystars だけとか。去年の Tigres も初戦勝った後4連敗だったしな。Baystars のリーグ優勝の可能性は無いでは無いが、まあ現実的でない。勝ち越して3位だな。首位とのゲーム差が10無いことだし、CS ファイナルステージのアドバンテージは1勝で済む。期待しちゃうぞ。

今日も呑まずに寝よう。やること色々あるし。ただ水曜日の深夜にちょっと変なセッティングだが心温まるアニメがあって、見てしまうんだよな。終わると3時を大きく回っている。録画しておいて明日見ようか？既に眠いからな。ただ日を跨いだ頃から冴えてくるのがいつものパターン。生活リズムが狂ってる、ということだろう。秋学期も午前中出勤は無いし、ゼミの開始時間によってはまた2時55分までに出勤すればいいというふざけたスケジュールが週に複数ありそう。生活リズムをがっつり直さなくても当分大丈夫。まあちゃんと能率、効率を重視した生活にするには規則正しくした方がいいのは重々承知だが。

昨日相撲の終わり近くに有理点が見付かっていたが、24時間強掛かった。その後次のを探し始めたが、もう24時間を優に超えてる。どうして Magma Calculator はこんなごついのを数秒で見付けてくれるんだろうか？Magma Calculator が動いてるコンピューターは滅茶苦茶高性能なんだろうか？羨ましいな。実験実習費で高いコンピューターを買うにはまず学科の了承を得て、それから見積書を事務に送って云々とか面倒臭いので、あまり凄いコンピューターを買ってない。私費で買えばいいんだがな。車にも金を掛けない小生がコンピューターに金を掛けるとは思えないし、まあ買わないな。程々のを買って、程々の研究をしますわ。

Baystars に貯金が出来たり論文が accept されたりと嬉しいことが多い一日

結局昨晩は呑んだ。超寝不足なのに全然眠くならず、どんどんハイに成ってくる。ちょっと講義のことでも考えるか、と始めて、数時間やり続けた。何なんだか。昼飯時まで起きていた。Uber Eats に王将メニューを頼んで、食べた後寝床に行ったら、すぐ寝落ちした。が、そんなに長時間眠れず、相撲の途中で起きた。

今日の相撲は熱海富士と霧島が揃って負けた。むぅ。まあ二人とも今場所は無理でも、翌場所以降に繋がるような成績を残せればいいでしょう。熱海富士は取り敢えず二桁、霧島は12勝くらいで優勝同点くらいなら。後で気付いたが、教授会の案内が来ていたのだった。相撲に熱中して忘れてた。後で資料に目を通すくらいはしておこう。多分大きな案件は無いと思うが。

6時にケーブルテレビのチューナーに切り替えて野球観戦開始。東が1回表にいきなり先頭打者ホームランで失点。が、Giants がまた自滅した。1回裏に牧がホームランを打ち同点。その後佐野、筒香が連続四球で出塁。宮崎が3塁へゴロを打ち併殺打か、と思ったら、三塁手の石塚がファンブルして、それからどうにかしようと思うも手に着かず満塁。蝦名が三振の後7番に入った林が2点タイムリーヒット、8番古市がタイムリーヒットで4－1。2回裏はショートの泉口がエラー、牧がヒットで出塁後、佐野が3ランホームラン、筒香が日本での250本目のホームラン、宮崎凡退の後蝦名が1イニング3発目のソローホームランを打ち9－1。蝦名のホームランは令和に入っての一万本目のホームランらしい。凄い。3回は佐野にタイムリーヒットが出て10－1に。東はその後1失点するも、6回2失点と上々。打球が足の甲に当たって5回で降板かと監督が聞いたようだが、志願の続投だったようだ。4回から6回は無得点だったが、7回裏に筒香のタイムリーヒットで11－1、8回裏は度会が2点タイムリー3ベースヒットで13－1。これでついに貯金1！凄いな。Giants とのゲーム差は5に縮まった。いいですね。8連戦は最初に落とした後7連勝で7勝1敗。いいですね。

もう一ついいことがあって、論文の accept のメールが届いてた。嬉しい。Baystars の優勝パレードを見に横浜に帰ってる時に、寝ないようにしようと馬車道のホテルで計算したら何かうまいこと行ってビックリした結果が論文に成った。今年も Baystars にいいことがあるぞ。

Tigers はまた負けた。4回に1アウト満塁のチャンスを作ったが、糸原が併殺打で点が取れず。5回に森下がタイムリーヒットを打って、凄く久々の得点。3試合連続無得点だったからね。で石井大智が出てきたが、サノーに2ランホームランを打たれてしまい、連続無失点は52試合でストップと、踏んだり蹴ったり。7回にも1点取られて3点リードされる。9回にノーアウト1、2塁のチャンスを作って、一打同点の場面を作ったが、中野が空振り三振、森下、佐藤が連続見逃し三振でまたしても負け。7連敗。まあこれだけ負けてもまだ首位でいられるのは奇跡よね。Baystars のお陰ですよ。感謝してね。

シーズン終盤を思わせる話題が幾つかあった。Carp の優勝の可能性が無くなったことと、Swallows のシーズン負け越しが決まったそうだ。Baystars と Swallows のゲーム差が8もあってビックリ。Swallows と Dragons のゲーム差は僅か1、Dragons と Carp のゲーム差は僅か0.5。夏場までは首位争いをしていた Swallows だが最下位もあるぞ。正念場だな。

今日はちゃんと寝よう。寝不足で自律神経の具合がおかしいのか、汗が妙に出る。そうかと思うと冷房の風が寒かったり。「テレビ千鳥」が終わったら寝よう。色々やることはあるが、明日以降。すぐ済むものはこれからやってしまうが。兎に角今日は寝る。

Giants の二人の外国人がボーンヘッドをやらかしてくれて、延長12回サヨナラ勝ち。15あった借金完済

ゼミの時にメモしてきたものだったり、気に成って考えていたが用事で途中で止まってた考え事を書いた紙が湧いてくるわ湧いてくるわということで、TeX 化しましょう、としていたが、一個一個が結構時間を食う。山崎隆雄さんの本で「K が標数0の体で、A(X), B(X)∈K[X]－{0} とする。A'(X)B(X)＝A(X)B'(X) ⇒ A(X)＝cB(X) なる c∈K^× が存在」が必要に成る所があって、でそれを (A(X)/B(X))'＝(A'(X)B(X)－A(X)B'(X))/B(X)² を使って…、と成っているが、気に食わない。多項式の微分しか定義してないのに有理関数に議論無しに拡張するのはちょっと…、と思っていた。でやろうとしたがうまくいかずに放り出していたが、よしやろう、と始める。結局有理関数の微分を定義しないとうまくいかなかったが、まあそれで一応 self-contained に出来たからいいか、と。が、山崎隆雄さんは他の証明も与えていて、それだと多項式環の中で完全に済む証明。そっちも理解出来ずに中途半端にしていたが、頑張って理解した。途中勿論食事休憩をしたりはしたが、そんなことをしてる間に「おはよう朝日です」が終わっている。…。で結局昼飯を食べてちょっとだけ横に成った。阿呆やな。そろそろこんなのはやめにしないと。

で相撲を途中から。今日も横綱、大関全員勝った。珍しい。熱海富士も勝って、3日終わっただけだが皆順調でいい。頑張れよ。

であっと言う間に野球の時間。一日短い。が、今日の野球は長かった。1回裏に牧、2回裏に林がソロホームランを打ち2－0とリード。がその後幾つかチャンスを潰してる間に嫌な展開に。5回に大城に2ランホームランを打たれ追い付かれ、6回に昨日快投を見せた吉野が増田陸にソロホームランを叩き込まれ勝ち越される。むぅ。嫌な感じだが、7回裏に佐野の内野ゴロの間に同点に。解説の大魔神佐々木氏が「うまい」というくらいのバッティングでの内野ゴロ。最低限のことは出来た。で時計を見ると結構な時間。今日は殆ど三者凡退が無く、両チーム残塁の山。投手もどちらもとっかえひっかえするので、とても時間が掛かる。延長戦に突入するのだが、Baystars の投手が9人、Giants は10人。そりゃ時間掛かるよ。でどちらも何度かチャンスを作るも結局残塁が増えていくだけ。Tigers は既に負けていて、Giants が勝ってしまうと首位交代とロクでもないことになる。が、今日は Giants が勝手に転んでくれた。12回表に2アウト1、2塁のピンチ。途中からキャッチャーに入っていた古市が投球を取り損ねた、やばい、と思ったら、ダルベックが暴走してくれて、3塁タッチアウトで負けが無くなった。引き分けで終わっても勝率の関係で Tigers が首位だそうだから、まあよかった。当然12回裏はライデル・マルティネスが出てきたが、代打で出た松尾汐恩が2ベースヒット。で Giants が謎の采配。林を敬遠四球で歩かせてくれた。大魔神佐々木氏曰く、度会に回る可能性が出てきて、Giants はその方が嫌なのではないかと。まあ守り易いということだろうが。で古市は送りバント。投手前に転がして、ここでライデル・マルティネスが独り相撲。見る必要のない3塁を見て、で1塁へ送球するが、これが何と1塁手がジャンプしても捕れない様な高い球。松尾が一気にホームインしてサヨナラ！借金完済！7月2日時点で15もあったんだぞ。7月以降はセ・リーグで一番勝ってるようだ。2022年に Tigers が借金16を完済したことがあったそうだが、Baystars では前身球団の12からの完済（1971年、1983年、2001年と3度あったそうだ）を超える記録。いやー、興奮した。試合が終わったのは22時43分くらい。ヒーローインタビューは10回、11回を無失点で抑えた石田健大と、サヨナラのチャンスを作った松尾汐恩。勝ち投手の佐々木千隼は呼ばれなかったが、石田も佐々木も今年限りでクビかと恐れていたので嬉しい。更に、この前からファン投票でもう一人ヒーローインタビューに呼ぶことに成っていて、呼ばれたのは古市。が、ふざけるな TBS。古市のインタビューの途中で放送終わらしよった。23時から次の番組があるのは分かるが、ちょっとな。まあいいです。明日は短時間で勝ってください。

書いたように Tigers は負けたが、Giants が自滅したのでまだ0.5ゲーム差で首位。マジックナンバーは15に減った。Giants は残り試合が Tigers より少ないので、今日の負けは相当な痛手な筈。これでしょんぼりしてくれ。何だったら2位を譲ってくれてもいいぞ。流石にここから首位に立とうとは虫が良過ぎるかとも思うが、SNS 上では逆転優勝の可能性を計算してる人が結構いる。Tigers とも Giants ともまだ対戦をそこそこ残してるので、まあもしくは、…、は流石に虫がいいな。まあシーズン勝ち越しと首位と10ゲーム差以内は大分現実化してきた。この後も是非。

月曜の晩は呑むことが多いのだが、今日はどうしような。ほぼ寝てないからな。それに上に書いた通り11時までテレビの前にいたので、酒の販売機が販売休止時間に成ってしまって、まだ買ってない。別にコンビニに買いにいけばいいのだが。いつも結構2時だ3時だという時間に買いに行ってるからね。もうちょっと考えるわ。結論は明日書く。

相撲の途中にパソコンをいじってたら、「デビューから31年無休の「鉄人」翔傑が50歳初戦を勝利で飾る」との記事が目に留まった。玉鷲より凄い人がいるんだな。50歳で現役は昭和以降二人目とか。凄いね。今日勝った相手は駒ノ富士という二十歳の力士だが、今年の初めまで翔傑は「駒乃富士」を名乗っていたそうだ。記念の白星を昔の自分からとは面白い因縁だ。こういう力士はもっと頑張って欲しいね。野球の話で恐縮だが、石田健大も佐々木千隼もまだまだやれる。頑張れ。

5連勝でついに借金が1まで減った

昨日の晩も楽しかった。定期購入している野菜ジュースに何故かぜんざいが二つ付いてきたので、上げてきた。バイトの人が小豆だったか餡子だったが好きだと言ってのでよかった。バレーボールが大好き（部活でやってたそうだ）で、男子バレーが目茶目茶強くて面白いと言ってた。あと一つ勝てば優勝で、オリンピック出場が決まるそうだ。どうなるでしょう、などと Tigers のことにあまり触れないようにはしておいたが、必然的にそういう話にはなるが。昨日と今日で対戦相手が違うのに驚いていたが、9月以降は変則スケジュールに成るのはいつものこと、と説明しておいた。などなどしながら、またいつもと違った種類の美味しいワインを結構呑んできた。が、昨日は記憶が結構あった。帰りにセブンイレブンでいつもの通り「深夜に女性店員一人はよくないですよ」と言ったり。帰ってきてパソコンを見たら、有理点が6時間半弱で見付かっていて、もう一つ仕掛けた記憶もしっかりあった。昨日はちゃんと寝てたのがよかったかな。

夕刻まで寝ていて、相撲が始まってるのを思い出して急いで起きた。途中から見た。今日は関脇以上が全勝と、奇跡に近い結果。いや、豊昇龍が休場してるが。大の里も危なかった。琴風さんがいつもの「独饅頭」発言をしていたが、今日も二度引いて、二度目のは土俵際でジャンプして残したから、相当危険。ずっと無敵だったのだから、もっと堂々と取ればいいと琴風さんが苦言を呈していた。今場所は霧島の横綱昇進成るか？熱海富士の大関昇進成るか？と見所が多い。幸い千秋楽の次の日から講義が始まるので、全部見ることが出来るかもな。嬉しい。

6時から野球。昨日はデーゲームが多かったのに、今日はナイターが多い。謎。Baystars は Giants と横浜スタジアムで3連戦。明日は月曜なのだがセ・リーグは3試合ある。全部ナイターのようだ。謎。まあ今日の話をしましょう。Baystars は竹田祐。去年はシーズン後半に出てきて、6試合登板で4勝1敗、防御率1.69と好成績を残して、今シーズンはシーズン頭からの活躍が期待されたが、ここまで6試合で2勝3敗と結果が出ていなかった。今日はどうなる？と見ていたが、今日は良さそう。すると1回裏に早速大チャンス。度会ヒット、蝦名死球、牧四球の後、今日4番に入っている佐野が満塁ホームラン！凄い。2回は井上朋也がエラーで出塁の後、竹田が3バント失敗、度会がヒットで1、3塁と成った後、蝦名が犠牲フライで5点目。それ以降点は取れなかったが、チャンスは作った。竹田は6回2/3を無失点と合格。そのまま勝ち切って5連勝で、ついに借金1まで来た。Giants に点が入った後にファンが歌う歌が非常に不愉快なので、1点も取られずに良かった。明日、明後日勝って、貯金1まで持っていきましょう。無失点でね。

と書いたが、実は Baystars の得点シーンは全く見てない。呑んだ次の日は腹の具合がよろしくなくなる。で用足しをしてると点が入るというジンクスがあって、Giants の攻撃シーンでは我慢してた。で今日もその通りで、満塁ホームランに犠牲フライだった。その後は点が入らなかったから、もうちょっと呑んでも良かったか？いやそんなことは無いな。アルコール飲料は程々にしないとね。

で Tigers だが、Dragons 共々全然点が入らず、延長戦に。11回表に Dragons に点が入ってしまった。むぅ。が、Dragons の抑えの松山は Tigers 戦の防御率が悪いそうだから期待するが、三者凡退で終わってしまった。Tigers は5連敗で、2試合連続無得点といい所無し。腹の調子が良くなって来たのが原因か？頑張って Baystars は援護射撃するよ。明日は Tigers 共々両方勝ちましょう。今晩も呑もうか？いや、やめておこう。

上に書いた通り千秋楽が講義開始の前日ということは、休みは残り2週間だ。そろそろゼミの日程を fix した方がいいな。学生にメールするか。

などとしてる内に男子バレーが優勝したとの情報。素晴らしい。今日はバイトの人は野球を見ないでバレーボールを見ると言ってたが、喜んでおいでだろう。Tigers が勝ってればもっと良かったね。

ここの所の快進撃で、借金は2まで減った

何故かついとんでもない時間まで起きていてしまう。しょうもないことばっかりしてる。が、一つ気付いた。昨日書いた類数の件だが、類数のでかい虚二次体を作りたかったら判別式の素因数を増やせばよい。2-rank が大きく成るからね。が、奇数類数ででかいものを作る方法が分かった。自然数 n を与えた時、素数 p を p≡11 (mod 12), p>4×3ⁿ を満たすように取る（算術級数定理よりこういう p は無限個ある）と、Q(√(－p)) の類数は n より大きい。実際3の上の素イデアル（二つあるがどちらでもよい）の属すイデアル類の位数>n。－p≡1 (mod 4) なので、よく知られているように Q(√(－p)) の類数は奇数。そうだったか。ちょっと感激。 

ということで気分よく寝たが、2時ちょいに起きるのだとちょっと寝不足。まあ野球を見たいからね。起きたらもう試合は始まっていた。2回表に井上朋也のヒットで先制。3回表に牧の内野ゴロの間にもう1点。3回に宮崎の2ランホームランで4－0。尾形は良さそうだし、楽勝か？と思っていたら眠くなってきた。やはりちゃんと寝ないと大変だ。寝床でボーっとしながら音声を聞いていたが、8回裏に佐藤啓介に2ランホームランをホームランを打たれたりなどで尾形は降板。自己最長の7回2/3を2ランホームランによる2点で抑えたなら上出来でしょう。ちょっと詰められたが、9回表に蝦名がタイムリー2ベースヒット、筒香が2ランホームランを打ち7－2。点差が開いたので、9回裏はレイノルズでなく中川虎大。無事無失点に抑えた。借金は2に成った。首位とも8.5ゲーム差。もうちょっとで CS ファイナルステージのアドバンテージが1勝に成る。いやいや、まだAクラスが確定したわけではないし、出られたとしてもファーストステージを勝ち抜けたわけでもない。捕らぬ狸の皮算用はしないでおきましょう。

Giants vs. Tigers が裏で行われていたが、気に成る。2回裏に Giants が1点先制したが、まあまだ大丈夫でしょう、などとチラチラと見ていたが、その後どっちも点が入らない。9回表の Tigers の攻撃は先頭打者がヒットで出塁するも森下が併殺打、佐藤がヒットで出たが、大山が打ち取られゲームセット。まずいな、0.5ゲーム差か。残り試合数の関係でまだ Tigers のマジックナンバーは消えてない。Tigers は明日勝たないと。甲子園で Dragons と対戦だが、Dragons の先発は3勝7敗と例年より悪い高橋宏斗。まあ大丈夫でしょう。Giants は何と Baystars と。これは勝って援護射撃をしないと。この前 Tigers に連勝してしまったからね。明日はナイターだな。今晩はふなごやの店長とお互いの壮行会をしないと。明日は Tigers も Baystars も勝てよ。

有理点探しは4時間ちょっとで済んだ後2つやったが、どちらも9時間強。起きたら一つ終わってたので、2時ちょいにもう一つ仕掛けたが、現在続行中。何故 Magma はこんなのを一瞬で見付けられるんだろうか？Magma はソースコードを公開してないそうだから、調べようがないそうだ。Referrence manual にどのアルゴリズムでやったかくらいは書いてあるかもしれないな。今度見てみよう。今日はこれから呑みに行くので、明日以降ね。ということでぼちぼち出発。

またしても本に誤植を見付けて、著者に英語でご注進するために徹夜する羽目に

また変な時間まで起きていた。二日連続寝不足だったが、いつもの本の開いたページにたまたまミスを見付ける、ということが起きた。p が p≡11 (mod 12) なる素数で、p>3ⁿ ⇒ Q(√(－p)) のイデアル類群は位数が n より大きい元を持つ、という演習問題があったのだが、いやいや p＝11 で既にアウトでしょ。類数1の虚二次体は九つしかないので、覚えてる。p＝11 はそのリストにある。11>3² だが当然位数が2より大きい元を持つ筈がない。SageMath で探したら、他にも三つ成り立たない例を見付けた。これは著者にご注進だ、と成ったが、相手は日本人ではないので、英語を書かないといけない。ということでウダウダとああでもないこうでもないとやって、一旦冷静になろうということで、コンビニエンスストアに買い物に行く。戻ってきて少々直して、で送った。既に6時近い。でもう寝ようかと思っていたら、30分後に返信が来た。お前の言うことは全面的に正しい、という趣旨のことが書いてあって、ネタ元の本のキャプチャー画像が添付されていた。この本持ってるな。演習問題の主張をどこかで見た記憶があったが、それか。著者からは解決策を教えてもらって、理解出来た。p≡11 (mod 12) だと明らかに－p≡1 (mod 4) なので、Q(√(－p)) の整数環は {(a＋b√(－p))/2｜a,b∈Z, a≡b (mod 2)} なのに、ネタ元の本では {a＋b√(－p)｜a,b∈Z} にしている。そこだな。ということで p>4×3ⁿ とすればよい、もしくは p≡5 (mod 12) とすれば p>3ⁿ でよい、とのことだった。ためになった。著者から感謝されたし、ホームページの正誤表に名前が載った。本にミスを見付けては著者に教えるというのは何度もやってる。こういうことは地道にやらないと。別に論文を書いたり講演したりするのだけが数学界への貢献ではないんでね。

2時半くらいに一旦起きたような記憶がある。パソコンの有理点探しが終わっていたので、新しいの始めた形跡があるが、覚えてないな。昨晩は呑んでないんだが、連日の不摂生のためか眠くて仕方ないため。6時から野球なので起きたが、やはり眠い。Carp も Baystars も点が入らず、やや退屈気味だったせいか。もう一度寝床に戻る。割と短時間で目が覚めたが、点が入ったという音声が聞こえたら目が覚めると思ったから、まだ両チーム無得点なのか？と思ってスマホを見ると、Carp に1点入ってるではないか。む。起きて用足しをしていると、何やら大歓声が上がってて、Baystars に点が入ってる時にファンが歌う歌が聞こえている。度会が3ランホームランを打って逆転したようだ。素晴らしい。もう8回表。いいですね。9回表に佐野のタイムリーツーベースヒット、宮下の2ランホームランでもう3点。ということで無事勝利。これで借金3で、首位と9.5ゲーム差。借金があるか首位と10ゲーム以上の差だと CS ファイナルステージに進出しても2ゲームのアドバンテージを持たれている状態で始めないといけないので苦しいが、もうちょっとで1勝のアドバンテージで済むようになる。7月以降の成績だと、セ・リーグ首位は Baystars だそうだ（最下位は Swallows）。奇跡を起こしましょう。勿論優勝をするのは現実的でないので、5割、10ゲーム差以内、という意味ね。

明日の6試合の内5ゲームがデーゲーム。屋外でデーゲームやるは久し振りだな。今日はちゃんと寝て、2時に起きられるようにしよう。明日は Giants vs. Tigers が東京ドームで2時から。Giants が猛追していて、「おはよう朝日です」では皆怯えていた。特に憲伸君（関西では有名）。Tigers は Giants を鴨にしてるし、東京ドームでは尚更だから大丈夫でしょう、と思うが。直接対決で9つも勝ち越してるのにゲーム差が1.5しかないのは謎だ。Baystars がこの混戦に大分貢献してる。Giants には五つ負け越し、Tigres とは五分。Carp もだな。Giants に八つ負け越してて、Tigers とは五分。どうにかしないと。月、火と Baystars vs. Giants があるようだ。連勝しましょう。

昨日書こうと思って忘れていたが、筑波大の柳沢正史教授という睡眠研究の第一人者がラスカー賞いうのを受賞した。睡眠は大事だという話を朝方聞いていたが、確かに睡眠は大事だ。何日も不摂生を続けると効率は著しく下がる。柳沢教授の仰る通りちゃんと寝ないと。コメンテーターの人が言ってたが、タイパがどうしたとかすぐ役に立つ研究でないと駄目だとか、そういうことを言わずに一つことをじっくりやるのは大事。数学だと伊藤清先生の研究が経済で役に立っているそう（良く知らないの知ったかぶりはしないが）だが、伊藤先生はそんなことを予見して研究を始めたのではないそうだ。楕円曲線暗号というものが出来たのを小松啓一先生が「楕円曲線なんて役に立たないの代表だと思っていたが」という趣旨のことを言っておられた。いつ日の目を見るか分からないし、自分の面白いことをじっくりやればいいのです。勿論ある程度人から評価されないと論文が雑誌に載らないし、雇ってももらえないから、多少はインパクトのあることをしないといけないのが悩ましい所。自分を信じて頑張るしかないのです。若い人はめげずに職を探してください。

井上朋也、牧の2夜連続弾と古市のプロ初ホームランで圧勝（井上の守備で1点与えたのは余分）

昨晩はその後チマチマと有理点求めをしていた。時間が掛かるので「ミラクル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とちょっと。また次のをやる。