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とちょっと。また次のをやる。

昨晩は久々の「也」で滅茶苦茶盛り上がって、帰ってきて暫くして有理点が求まったので嬉しい

昨晩は久々に更新しなかった。何故かと言うと、7時過ぎから「也」で呑んでたから。「也」にはもう10年では済まないくらい行ってないような気がしたが、何故行ったかと言うと、先週の金曜日に哲也から電話があって、「たまには会おうや」と言われて、行った。で会うなり「若返ったか？」と言われた。そんなことは無いと思うが。もう58だと言ったらビックリしてた。哲也も43だと言ってた。暫くするとこちらもご無沙汰ならくざの店長の豪ちゃんが来て、など、目茶目茶盛り上がった。前は同じ客が長時間いて、そこに新たに入ってくるから目茶目茶混んでたが、昨日はそんなに混んでなかった。面白かったのは、若い浜田省吾マニアが来て、その人は「愛奴」のことを知らなかったので教えてあげた。その後野球マニアの女の人が来て、Buffaloes 話で盛り上がった。中川圭太のファンだというから相当コアなファンだな。近鉄 Buffaloes は「バッファローズ」だが、ORIX Buffaloes は「バファローズ」だそうだ。知らんかった。いやー、楽しかった。で何だかんだと12時半近くまで呑んでた。小生は一箇所で腰を据えて呑むのが好きなので、理想的だった。

5時間くらい呑んでたので、帰ってきてすぐ横に成ったが、すぐ目が覚めた。起きてパソコンを見ると、何と有理点が求まっていた。所要時間 264h, 44min, 50,454 ms だそうだから丸11日強。いやー、時間掛かるな。嬉しい。記録だけして、もうちゃんと寝よう、ということにしたが、うっかり寝床で YouTube を見てしまい、時計を見たらとんでもない時間に成ってた。まあ色々楽しかったので、いい晩だった。Baystars が負けたのだけが残念。

で起きたらもう夕方だった。パソコンの電源をうっかり消し忘れたので、すぐ作業が出来たのはよかったが。求めるべき有理点を全部求めたかと思ったら、2つのパラメーターの場合に調べてないことが分かって焦る。が、その二つは有理点はすぐ見付かった。Canonical height が小さくてよかった。で今度こそ全部済んでる筈。次にやるのは、Magma calculator で一瞬で有理点が求まったものを ellheegner コマンドでどれくらいの時間で求まるか試している。数個済ませたが、長くても20分くらいで求まっている。Magma をちゃんと使わず Magma calculator で出来るものはやった、とか中途半端なことを書くのはちょっと嫌だし、そもそもそんな難しい英語書けない。ということで Magma calculator に頼った部分は書かないことにしようと。まあもう少し考えますわ。

さて、6時から野球。今日はゆっくり見たい。石田裕太郎が1回表に1点取られたが、2回裏に宮崎が同点ホームラン、3回裏に宮崎が犠牲フライを打ち勝ち越し。が、5回表に石田裕太郎がタイムリーを打たれてしまい追い付かれる。が、その後の1死満塁のピンチは併殺打で凌いだ。6回表も先頭のオスナがツーベースヒット、赤羽（あかはね）が四球を選んでノーアウト1、2塁のピンチ。石田はそこで吉野に交代。また勝てなかったね。その後ビッグプレーが。内山がバントをしようとしたがバットに当てられず、二塁走者オスナが飛び出していて、松尾が二塁へ投げてタッチアウト。その後内山は6－4－3のダブルプレーでチェンジ。吉野は打者一人を相手にしただけだが、3アウトを取った。素晴らしい。するといいことが。すぐ裏に筒香、宮崎が連続ヒットで無死1、3塁。解説の黒羽根利規氏が言うことがずばずば当たる。「今日は松尾の日に成るかもしれませんよ」と言ったら、松尾に勝ち越しのタイムリーヒットが出た。松尾は他にも盗塁を一つ刺してる。大活躍だ。1死後打者は井上朋也。祐大との交換トレードで尾形と一緒に Hawks から来た選手だが、一軍では結果が残せてなかった。二軍では無双だったようだが。2回裏に移籍初安打が出ていたが、肩の荷が下りて楽に成ったか、出ました3ランホームラン！2死後度会四球、蝦名ヒットの後、牧が3ランホームラン！決まりだな。石田はもうちょっと投げられれば勝ち投手だったが。ついてないとはそういうことだ。その後雨が強くなり、7回表終了後暫く待たせれて、コールドゲーム。今日はエンカーナシオン（昨日外野守備でチョンボを一つやった）、レイノルズ（昨日9回表に押し出し四球で先制点を与えた）、伊勢（昨日の負け投手）がベンチを外れてる中で、7回で勝てたし、接戦で出す投手を休ませられたのはでかい。よかった。大分3位が固くなってきた。頑張れ。

昨日は甲子園の試合は中止だったが、今日はあった。昨日 Giants が負けて、Tigers との差がちょっとだけ広がっていたが、今日は Tigers が負けて Giants が勝ってしまい、2ゲーム差に成ってしまった。まだマジックナンバーは消えてないので Tigers 有利は変わらないが、明日消えてしまう可能性がある。（ちゃんと考えてないけど。）頑張ってもらわないと。Tigers は高橋遥人で負けたのは痛い。明日は頑張ってもらわないと。

野球界の珍事2つ。セ・リーグの5位は Dragons、最下位は Carp だが、ゲーム差－0.5。野球に多少詳しくてもこの状況が分からない人はいるでしょう。順位は勝率で付ける。ゲーム差は貯金、借金の数で考えるので、こういうことが起こる。凄く易しい例を挙げるが、例えば1勝0敗だと勝率 1.000、3勝1敗だと勝率 0.750。ところが貯金1と貯金2なので、ゲーム差が－0.5 に成るのである。シーズン序盤には時々あるが、こんなシーズン終盤であるとは思わなかった。Carp は Dragons より7試合多く残している。9月9日終了時点で22試合残りはこの後大変なスケジュールに成るだろう。お気の毒様。もう一つの珍事は、周東佑京（Hawks）が昨日ランニングホームランンを打ったが、これが何と満塁ランニングホームラン。1999年に小久保がやって以来とか。こんなことが過去にあったのはびっくりだが、パ・リーグ史上6人目だそうだ。セ・リーグではどうなのかと調べたが、分からなかった。パ・リーグ史上と書いてるからにはセ・リーグでもあったのだろうな。暇な時に調べておこう。