そりゃ9連勝など出来んよ

前に書いたが、保険会社の人から何か渡されている筈。住処にあったと随分前に思った気がしたが、昨晩開けたらどうも違うっぽい。これはやはり職場に置き忘れたのか？仕方ないから職場に行くか、と寝る前に思った。早目に起きて、昼飯を食べて、職場をゆっくり探す、の算段だったが、起きたら既に3時近く。やはり急に生活リズムを戻そうとしても無理だ。ということで急いで冷凍パスタを電子レンジで温めて食べて出発。

で職場に着いたが、それっぽい物が見当たらない。変だな。少し探すも見付からない。が、他に伝票の処理とかもやらないといけないので、それを済ませてもうちょっと探すも見付からない。保険会社の人に問い合わせるのが早かろう、ということで電話をするも出ない。メールを書いても返事が無い。マンションの理事会が7時からなので、渋滞する6時台は1時間近く掛かる可能性もあるので、6時くらいに職場を出ようとしてウェストウィングの割合近くに停めた車に向かうと、エンジンを掛けようとしたタイミングで電話。やはり職場にあるようだな。6時20分には職場を離れたいぞ、ということで戻って短時間探すもやはり無い。保険会社の人は明日の昼過ぎに電話をすると言ってたが、物が見付かってないのに電話してこられても困る。住処を探してみて無かったら明日また探しに職場に行く。見付けないと。

流石に高速道路は渋滞。草津JCT－京都南 渋滞15kmの表示。住処の脇に着いたのは7時20分くらいだが、慌てているためか車庫入れが上手くいかない。後ろから入りたがってる車が来てるし、仕方ないから前進、左折、左折、左折で戻ってくることにして、無駄な時間を使う。で戻ってくると、さっき小生の後ろにいた車が車庫入れを終えたところだった。やはり無駄な時間を使ってよかった。待たせていたら相当苛々されたろうな。で理事会には20分遅れくらいで出席。が、マンションの管理会社の人が3人で、こちらの出席者は小生も入れて3人。やる意味あるの？という状態であったが、暫くして3人が五月雨式に入ってきて、まあ形には成った。月曜日にやることが多いのを金曜日にしたのが出席者の多くが遅れた原因だろう。でウダウダと長時間議論、というか一部の人が喋ってるだけといういつものパターン。まあ大事なことなので、聞いておくだけでも意味はある。ただ膀胱が破裂しそうなので、早く終わらせて欲しかったが、結構続いた。終了後直ちに退散。

用足しをしてからテレビの電源を入れる。今日はパ・リーグは無し。Hawks はいい日に優勝したね。ビール掛けを心置きなく出来ただろう。でセ・リーグ3試合だが、いずれも接戦。昨日連敗を止めた Tigers は4回に2点取ったが8回に1点取り返され、結局2－1の勝利。Giants は9回表終了時点で0－0で、9回裏にサヨナラ2ランホームランで勝利。Baystars はというと、7回終了時点で0－0。片山が好投していたようだ。が、8回表に伊勢が3失点。8回裏に2塁に走者を置いたところで Swallows の山野が暴投を2つやって、それで1点。が、結局それで終了。やはり打ち過ぎが響いたか、昨日はソロホームラン2発の2得点のみ、今日も上に書いたような得点のみ。これは気を付けないと明日以降貧打に成るぞ。明日勝って連敗は避けましょう。まあ今日負けたのは仕方ない。9連勝も10連勝もは出来んさ。9連勝したら25年振りだったそうだから。25年振りというのは「2025年以来」のことではなく、「2001年以来」のことね。前にも書いたが、「1998年ぶりの優勝」というのはやめてほしい。

さて、起きてパソコンを見たら、リブートされてた。やはり Windows update を完全に妨げることは出来ないのか？セキュリティーのためだから update は当然するけど、やりたくない時に勝手にやるのはやめて欲しい。まあ昨日書いた通り、ш の位数が9である曲線で、無意味に height のデカい点を探していた可能性はあるので、止まったのは別にいいけど。それに既に Magma Calculator が点を見付けてくれてたし。しかしこういう例を見せられると、Magma Calculator を使ったことを論文に正直に書いた方がいいかもな。小渕恵三元総理言うところの「ボキャ貧」というやつだから、そんな難しい英語は書けない。まあもうちょっと考えますわ。

昨晩の「アメトーーク！」で方向音痴芸人が多数出ていたが、気持ちよく分かる。小生も結構な方向音痴。今のカーナビは性能が良くなったが、最初に乗った車のカーナビは結構しょぼかった。今のは大容量ハードディスクが搭載されてて、ちゃんと目的地の目の前まで連れて行ってくれる。高松に行った時に「ホテルは左側にあります」と言って、本当に左折でホテルの駐車場に行けた時は感動した。最初の頃のは東日本、西日本の2枚の DVD ROM に分かれていて、「目的地周辺です」ととんでもない所で案内を打ち切られてよく難渋した。それと「間も無く右方向です」と言われても、間も無くっていつ？と不安に成った。芸人連中も同じことを言ってた。今のカーナビは二つくらい前の信号から案内が出始め、「この信号を右です」と言ってくれるから助かる。一昨年名古屋に出張に行った時は、帰りにホテルから高速道路に乗る道が複雑だったが、カーナビがちゃんとしていたお陰で一発で乗れた。技術の進歩は大事。歩きでもカーナビのようなアプリがある筈だが、そっちは未だに使ってない。導入しようか？今晩の「探偵！ナイトスクープ」では犬が怖い子供を取り上げてたが、こちらもよく気持ちが分かる。知り合いの家を入るとでっかい黒い犬（クロという名前だった）にワンワン吠えられて、子供心に恐怖心を抱いてしまって、犬は今でも苦手。前住んでたマンションの近くでいつも犬を散歩させている婆がいたが、そやつが小生を見ると「あ！このオジサン犬苦手なんやわ」と言ってたが、「誰がオジサンや！」と言い返す余裕も無かった。今でも犬を散歩させてる人を見ると、可能な限り距離を取る。幾つに成っても子供の頃苦手だったものは苦手なのです。「三つ子の魂百まで」という言葉があるからね。山科区内で犬を飼うのは禁止です。小生が罰するので、やめましょう。

Tigers の連敗は止まるも Baystars の連勝は止まらないよ。Hawks の勝ちも止まらず、パ・リーグ優勝決まる

結局昨晩はアニメを見て、相撲のダイジェストまで見てしまった。で昼ちょいに目が覚めて、西友のレストランで食事、と出掛けたが、閉まってる。食堂だけ早目に営業終了してしまったか？と思って見ると、定休日らしい。営業は西友同様9月30日まで、と書いてあった。定休日は火曜日じゃなかったかいな？と調べたら木曜日でいいようだ。勘違いか。まあいいや、ちょっと足を延ばしてはま寿司へ行こう、ということにした。駐車場代を払いたくないので、買い物を少々。で外環状線をもう少し南下。

はま寿司は中トロ100円フェアをやってる、と思っていたが、もう終わっていた。色々ついてない。まあ160円で食べられるんでいいけど。期間限定品であることは変わりないようだから、レギュラーメニューの中トロよりはいいものを出してくれていると信じる。他のも秋刀魚や大切りかんぱちを食べたり。今調べたら、鰈のフライの握りというのがあったようだ。また近い内に行って食べよう。他にも大トロサーモンとかはまちとかちょっと高いものを食べて、大海老とかの100円メニューも適宜。でいつもの通り鰻で〆て、2100円くらい。まあ満足。左右の信号のタイミングが良かったのか、右折で出られて、最短距離で帰ってくることに成功してよかった。

そのまま三条通を左折して DCM に行ってもよかったが、狭い道を走る必要があるのと、帰りは三条通を左折してすぐ右折でマンションの敷地に帰らないといけなく、鬱陶しいので、車を置いてから歩いて行くことにした。再生紙100%のティッシュペーパーとボールペンの替え芯5本セットを買って、ちょっとだけ環境に優しいフリ。

暫くすると相撲の時間。今日は安青錦が連敗、ここまで唯一の勝ちっ放しだった琴櫻が負けたりと、波乱があった。大の里は今まで勝てたことがない義ノ富士が相手だが、強さを見せて寄り切った。明日も見所沢山。

6時から野球、ってここのところこれ以外のことを書いてないな。相撲は中入り後で2時間くらい、野球は1試合3時間強のことが多いから、一日が短い。まあいいです。今日は神宮で Swallows と。石田裕太郎は勝ち運が無い（4勝8敗）。援護点が少ないのが原因。東は前にヒーローインタビューで「もうちょっと点を取ってください」と言ってたが、この前猛打大爆発だったから、今日も、と思ったが、やはり石田の時は点が入らない。3回に牧がソロホームラン。解説の谷繁氏が、攻め方について要注意であることを言ってる最中に初球ホームランだった。4回は筒香がソロホームラン。こちらも初球。しかし得点はそれだけ。Swallows 先発の奥川が6回を投げ切った所で自身初のシーズン規定投球到達だそうだ。7回まで投げて2失点。奥川も負けが多くて、防御率2点台だからあまり援護が無いんだろうな。その後 Swallows に1点取られたが、最後はレイノルズが三者凡退で締めて8連勝。貯金が2に成った。素晴らしい。が、今日はソロホームランで2点だけ。ちょっと一昨日まで打ち過ぎて打撃が荒くなってるんだったら怖い。締めてかからないと。明日、明後日は横浜スタジアムで Swallows と。変則な三連戦だが、連勝したら3タテと言うんだろうか？

Tigers はどうなってる？と見たら4点リードしてる。1回に佐藤がタイムリー2ベースヒット、大山が2点タイムリー2ベースヒットを打ち、2回は森下にタイムリーヒットが出たようだ。流石に今日は勝つでしょう、ということでチラチラ見てると、森下がレフトポール直撃の2ランホームランを打ち、更に大山がバックスクリーンに飛び込むホームランで7点リード。もう決まりでしょうな。大盛にソロホームランこそ打たれたが、その後ドリス－石井－工藤と無失点リレーで、漸く連敗が止まった。明日の関西の情報番組は賑やかでよかろう。これで Tigers と Giants は1ゲーム差、マジックナンバーは13。一時の停滞ムードは脱したかな。Tigres は Carp 3連戦後 Baystars と甲子園で2連戦。そこで Baystars が連勝しても影響が無いくらいの差を Carp を叩いて作っといてな。

などとしてからパソコンをいじりいじりニュースを見ていたが、何やら Email が届いて、見ると「ソフトバンク優勝」の速報。何と。途中まで1点リードされてたのは確認したが、6回に4点、9回に3点取って、盤石の勝ち方をしたようだ。少し前に Lions が負けていたようで、Hawks の勝ちが決まった瞬間に優勝決定だったらしい。今は福岡ソフトバンクホークス、その前は福岡ダイエーホークスだったが、元々は南海ホークスと言う大阪のチーム。今日の優勝が京セラドーム大阪だったのも何かの縁だな。リーグ3連覇を9連勝で決めるという、とんでもない強さだ。5月には借金があって4位だった時期があったが。祐大が入ってから風向きが変わったな。祐大はすぐ怪我をしてしまったが、その後チームは勝ち続けた。祐大は優勝争いが出来て嬉しいと言ってた。一応優勝経験はあるのでは？と思ったが、言われてみれば一昨年は祐大は手を骨折してて、CS と日本シリーズには出てなかった。だから初めてなのだな。上茶谷も活躍したし。嶺井はまだいるのか？と思ったらいた。去年は63試合出たようだが、今年は1軍出場無し。ま、一緒に騒ぐ分にはいいでしょう。祐大が横浜スタジアムで試合が出来るよう、頑張って Baystars は CS を勝ち抜いて日本シリーズ行くぞ。Lions との日本シリーズでデニー友利が出てきたら、球場中デニーコールで一杯に成ったからね。祐大の時も大声援が飛ぶでしょう。ただ活躍はせんといてな。あ、まだ日本シリーズどころか CS 出られるかどうかも決まってないからね。今日の結果でパ・リーグは Hawks、Lions、Fighters が CS 進出決定、セ・リーグは Tigers、Giants の CS 進出が決定らしい。まあ Baystars と Swallows は9ゲーム差で、残り試合数はそれぞれ12と13。まあ大丈夫だろうが、Tigers のような失速はあり得るからね。8連勝もした後だ、何かあってもおかしくない。頑張っておくれ。

一昨日の夕方6時19分に有理点探しを仕掛けたやつがまだ終わってない。Magma Calculator は3.6秒で見付けてくれるのだが。見ると不思議な現象。ConjecturalRegulator の値と実際の regulator の値が大きく違う。約 802 と約 89。でマニュアルと格闘して分かった。この曲線の ш の予想される位数は9らしい。PARI/GP は height が89の点ではなく 802 の点を探しているのかも。うーん、そうか。そりゃ時間掛かるな。まあ急ぎでやることは無いし、暫く放っておくか。パソコンが Windows update をしたがってウズウズしているようなのだが。前に何か設定をいじったので、勝手にリブートを仕掛けてこないのは助かる。「再起動しますか？」的なメッセージは一回だけ出たが、うんにゃ、と九州弁で答えたらそれっきり言ってこない。取り敢えずやらしときましょ。

西友で酒を買ってきたが、呑むわけにはいかない理由があった。明日はこの前延期に成ったマンションの理事会。途中で腹の調子が悪くて中座するのは格好悪い。それに、会合をやる場所から小生の部屋は結構遠い。管理人室にトイレはあるだろうが、ちょっと貸してもらうのもどうかと思うし、長時間の中座はちょっとな。ということで今日はやめておこう。明日の晩は、と思ったが、明後日は午前中に区内某所に行かないといけない用事があるのだった。まあ呑み続けて起き続けてればいいんだが、酒臭いのは嫌だしな。マスクをしても体中から酒の臭いが漂ってはな。たくろうのCMのように「リセットこ」では済まないから。で晩は外で呑むから、数日冷やしておくことなるでしょう。まあいいです。来週で休みも終わりだ。少し羽を伸ばして英気を養うことにする。

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

昨晩は割と早く寝た。いつも書いてるが、普通の人の感覚では十分遅いが。でやはり無茶をしたからか、寝床に入ったらすぐに落ちた。で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 にどのアルゴリズムでやったかくらいは書いてあるかもしれないな。今度見てみよう。今日はこれから呑みに行くので、明日以降ね。ということでぼちぼち出発。