高橋遥人の13勝目を消した直後にレイノルズが打たれ惜しい敗戦（レイノルズは来日初黒星）

ふなごやの店長もバイトの人も何か調子がおかしいようなことを言ってたが、キャンプで行った所が最高気温が25度で、夜は寒いくらいの所だったそうで、そこから最低気温が25度超の所に戻ってきたのだから、そりゃそうかもな、という感じだった。それでもいつもの通りワインを2瓶ほど空けてきた。酒が進んだら本調子に成ってきたような感じで、誰も寝落ちしないまま終了。楽しかった。キャンプのお土産の菓子を貰った。こっちは大阪で蕎麦を買っていったので、お土産の交換もしてきた。

で例によってセブンイレブンで水を買ってきた模様。模様、というのがいつもの通りで怪しいが。1リットルを超えるのを買ってきたのは、50円引きのクーポンがあったから。もっと小さいボトルは割引の対象に成ってない。まあ水ならいくら飲んでも大丈夫、と言いたいが、水中毒と言うのがあるらしく、水でも問題は起こるらしい。まあ1リットルをチマチマと飲む分には大丈夫でしょう。

で昼過ぎまで寝ていた。水は半分以上残っていた。テレビは付いていなかった。水をチマチマ飲みながら、貰ったお菓子を食べて飢えをしのいでなど。少々二日酔い気味で、何かしようという気が起きないので、再び寝床に戻って YouTube を見たりして無駄な時間を使う。5時くらいに Uber Eats 経由で吉野家メニューを取り寄せる準備。麦とろ牛皿御膳は美味しそうだが、何か幾つかにセパレートされてて面倒そう、ということで探すと、麦とろ単品があったので、それと普通の牛丼を頼む。結構待ったが、6時前には届いた。

食べながら野球観戦開始。今日は久々の石田裕太郎の先発。1回表に森下 vs. 石田の横浜市港南区出身 vs. 横浜市磯子区出身のお隣対決。忘れていたが二人とも中央大学卒。軍配は森下に上がった。先制ソロホームラン（リーグ単独トップの31号）を打たれてしまう。まあだけど今日の石田は5回1/3を3失点とまずまず。Tigers は高橋遥人。現在勝ち星と勝率がリーグ1位だが、勝率のタイトルは13勝しないと獲れない。で今日勝つと13勝に成るわけだが、そう簡単にさせてはならない。4回裏に満塁と攻め、2アウトで勝又が内野ゴロ。またチャンスを潰したか、と思ったら高橋がファンブルして、勝又と激突。その間に1点取った。高橋は痛さに悶絶していて、担架が出てきたが、暫くしたら歩いてベンチへ向かっていた。数分の治療の後出てきた。まあよかった。7回裏に牧がソロホームランで1点差。8回裏に度会がタイムリーヒットを打ち追い付いた。高橋の勝ち星を消したった。なお1、3塁打が、牧が凡退で同点止まり。こういう時に牧が打てないのを叩いてる人がいたが、野球は打てて3割ちょっと。仕方ないです。牧で勝つこともあるのだ。9回表は同点だがレイノルズ。が、流石は Tigers、しつこい。元山にヒットを打たれ、高寺の一塁ゴロの間に進塁され、近本の外野フライで更に進塁され、中野がストレートのフォアボール。解説の斎藤隆氏はここで「森下と対決するのは嫌ですね」と言っていたが、その通りに成ってしまった。2点タイムリーヒット。更に佐藤がヒットを打って1、3塁にされてしまったが、大山を何とか打ち取って2点で抑えた。が、9回裏は工藤相手に全く歯が立たず三者凡退で試合終了。先発野手全員安打の12安打も11残塁らしい。牧だけじゃなく打撃陣全員が反省しないと。特に代打で途中出場の松尾汐恩はチャンスで2度凡退。同点の場面ではレイノルズをリードし切れなかった。まあ何事も経験。まだ若いのだ。何事も勉強です。明後日からは今日再び最下位に落ちた Carp とマツダスタジアムで3連戦、その後横浜スタジアムに戻って今日5位に上がった Dragons と。大勝ちしないと。15あった借金が5まで減った後ちょっと負けが込んで現状50勝59敗の借金9。何とか二桁には成らないよう頑張ってもらわないと。

途中パソコンを見たら有理点が見付かっていた。今朝の6時くらいに。124時間と30分くらい掛かっているとの表示。5日以上掛かったわけだ。予想より短時間だった。Canonical height は約900。表示された点は凄くゴツイ。で記録してから見ると、まだやってないものの中に予想される canonical height が500台のがあった。そっちをやってから900超のやつをやろうといことにして、計算をスタートさせた。どれくらい掛かるでしょうか？

大阪歴史博物館に行くため、京阪電車のプレミアムカーに乗る。大阪で駅の外に出るのは久し振り

昨晩はちゃんとドラマが終わってすぐ寝た。で今朝は10時にアラームを仕掛けておいて起きるつもりだったが、8時半くらいに目が覚めてしまった。睡眠は充分ではないがまあいいかと起きた。が、流石に眠くて、結局30分くらい経ってからもう一度寝床に入った。で10時のアラームで起きた。シャワーを浴びて出発。

用事はいつもより短く済んで、受け取るものを受け取ってからいつもはなか卯で食事だが、電車に乗るには駅に近い方がいい、ということで北上して松屋へ。鰻が食べたかったが、今シーズンはもう終了したようだ。仕方ないので馬鹿の一つ覚えでカルビ焼肉定食。が、ご飯無しのチケットを購入してしまった。受け取り口でそれでいいかと聞かれ、ご飯もお願いしますと言ったら差額分だけ（白ご飯単品で頼むのより安い）払って食べてきた。

で何故電車に乗りたいかと言うと、大阪歴史博物館で「豊臣兄弟！」に関連するものが展示されてるので見に行こうということで。暑い中住処から山科駅まで歩くのはちょっと嫌だが、まあついでに駅の近くに行ったのでいいでしょうということで。乗換案内ソフトでは JR の新快速で大阪駅まで行って、谷町線の東梅田駅まで歩いて、そこから乗り換え無しで最寄り駅の谷町四丁目駅まで行け、との仰せだが、梅田周辺の電車の乗り換えは自信が無いし、暑い中屋外を歩くのが嫌だ、ということで、地下鉄で三条京阪駅まで行って、京阪の三条駅まで行って、そこから特急で天満橋駅まで行って、地下鉄谷町線に乗り換えて一駅で谷町四丁目駅、というルートにした。これのいいところは、三条京阪から三条へは地下で乗り換えられて、天満橋も地下で乗り換えられる。暑いのは谷町四丁目駅から大阪歴史博物館までの数分。が、谷町線の谷町四丁目駅から目的の10番出口は中央線の谷町四丁目駅のホームを端から逆の端まで歩かないといけないから、結構大変だった。まあ地下なのでいいです。大阪で駅の外に出るのっていつ以来（「いつぶり」と言わないように）かな？10年以上前の気がする。鹿児島中央まで／からの新幹線に乗るのに二度改札は通っているが。

2000円払って6階へ。写真は最後でしか撮れないとのご注意を受けてから見学開始。兜、刀、金箔の残っている瓦などの派手なものより、昔の書状がそのまま残っているのを見せてくれているのの方が面白かった。千利休の直筆とか結構凄いのが残ってる。変色した、今にも破けそうな紙の巻物が残ってるだけでも凄い。歴史的な価値は高いだろうな。立派な屏風も沢山展示されていた。色々説明が書いてあるのを読んでから進むと時間が掛かる。他の見学者達もゆっくりゆっくりと見て進んでいた。久し振りに長時間立ってたので大分疲れた。お土産物を幾つか買って、喫茶店のような所があったら休憩しようと思ったが、大阪歴史博物館にはレストランはあったが、メニューにコーヒー、紅茶の類のメニューや軽食が無く、本格的な食べ物とアルコール飲料だけ。ええわ、帰ろう、ということで谷町四丁目駅へ向かう。

が、まだ帰らない。今日のもう一つの目的地は「喜連瓜破」。こっちに来る前からこの駅名は知ってた。「探偵！ナイトスクープ」で見たのか兄者が読んでたギャグ漫画「ちゃうちゃうちゃうんちゃう」で見たんだか忘れたが、一度「きれうりわり」と言ってるのを聞いてみたかったので、行った次第。乗った時は結構混んでた谷町線だが、数駅で相当の人が降りて、空席が目立つようになった。で喜連瓜破駅に着いて、駅名の看板を写して、さあ引き返す、とはやらない。それをやると立派な不正乗車なので、一旦外に出た。大阪の地下鉄は切符も面白いので、随分久し振りに新幹線と特急以外の切符を買った。切符は「喜」と「瓜」の字は大きく、「連」と「破」の字が小さい。御堂筋線の終点の中百舌鳥駅で切符を買ったらやはり同じように大小の文字を使っていたのを思い出した。で乗り込んで天満橋へ。途中近鉄との乗り換え駅があったりと、ガラガラの車内は天満橋に着いた頃は結構満員御礼だった。

で京阪電車のホームへ。書き忘れたが、行はプレミアムカーとやらに乗ってみた。三条から天満橋だと500円余分に払うが、まあ座席が確保出来るのでいいです。で帰りもそのつもりでいたんだが、券売機を探してる内に特急が来てしまった。次の特急は12分後で、待つのが嫌なので乗った。天満橋は淀屋橋の次の次の駅（途中北浜駅がある）だけあって、もう席は全部埋まっていた。過去に京阪電車に乗った時のことを思い出すに、大阪府内で結構客が降りてしまうので、まあ少し待てば着席出来るでしょう、と思っていたらその通りで、枚方市駅で相当降りて行った。京阪間の往復は結構時間が掛かるので、文庫本が大分進んだ。で三条京阪駅の前の販売機でアイスを買ったが、駅のゴミ箱は飲み物の容器以外は入れてはいけないことになってる。ベタベタのアイスの包み紙をどうしよう？と考えていた時に閃いた。土産に買ったTシャツがあるが、中身を出して、袋にアイスの包み紙を入れておいて住処で捨てる。これよこれ。などとやっている内に六地蔵行の地下鉄が行ってしまい、次の電車はびわ湖浜大津行。またか、という気がしたが、乗ることにした。今日は京阪電車に徹底的に奉仕するということで。帰りのプレミアムカー代500円が浮いたので、御陵－京阪山科間の200円を代わりに払うということでね。

で5時50分くらいに住処に着いた。流石に出掛けると一日仕事だ。で野球を見るべくテレビを付けると、試合開始が30分遅れる、との情報。横浜スタジアムは結構な雨降り。が、30分遅れるというような穏やかな雨ではない。横浜スタジアム関係者がこんなにグラウンドが水浸しに成ったのは初めて、と言ってたくらいで、ザーザー降りで雷も成ってる。結局諸々考慮したうえで6時15分くらいに中止が決定した。Tigers は何試合目の中止だろうか？9月以降のスケジュールがぎゅうぎゅうに成ると思われるが、そこで失速と成らないといいが。Giants は涼しい東京ドームで出来て、スケジュールが緩いとなると、体力的に楽だろう。Giants だけは優勝させちゃならねー。ということでこの3連戦は複雑な心境で見ている。今日の Tigers の先発予定だった今朝丸はまだプロに入って勝ってないそうだ。今日今朝丸に勝たれたら3日連続 NPB 初勝利のプレゼントととんでもないことに成るところだったので、まあこっちとしては中止でよかった。明日の予告先発は Baystars は故障明けで久々の石田裕太郎、Tigers は高橋遥人。苦戦しそうだ。今日は Giants が勝ってしまったので Tigers と0.5ゲーム近付いた。明日石田に勝ってもらって、Giants は負ける、というのが理想だ。そうなるよう願っておこう。

雷と言えば、さっき山科でも雷鳴が轟いていた。降ってるかな？これから呑みに行くので止んでると嬉しいが。今日も猛烈に暑かったし、こういう気候だと夕立は大いにあり得る。雨は鬱陶しいが、全く降らないのも困るので、程々に降るならいい。この前の千葉の大雨のようなことは起きないで欲しい。で今見たら、今日の千葉での試合は中止に成ってた。大した降りじゃなきゃいいけど。

あ、高校野球は智辯和歌山が優勝したそうだ。ちょっと書きたくはないが智辯和歌山には恨みがある。関東代表として健大高崎を応援してたが残念。高校野球が終わると夏も終わりだなという気がするが、まだ暑いのだろうな。嫌なこった。

が、暑い中のビールは旨いので、これから呑みに行く。暑い中のビールは脱水症状に繋がるので、炎天下で呑むのはやめましょう。こちらは冷房の効いた所で呑むのでまあいいでしょう。帰りは水を買ってくるし。ではいってきます。

森下と佐藤輝明に30号ホームランをプレゼントして敗戦

「アメトーーク！」が終わったらすぐに寝るつもりだったが、PARI/GP で実二次体の基本単数 >1 を quadunit で得られた結果を Mod(a＋bx,x^2－m) の形に直す関数を書くのに手間取って、もう小一時間起きていた。m が square-free な場合は簡単なんだが、m が平方因子を持ってる場合が案外手間取った。いや、例えば m＝12 の時に 2＋√3 と返してもらうのは易しいんだが、2＋√(12)/2 の形で返して欲しいので手間取ったのだ。で結局うまくいかないで、眠さに勝てずダウン。「熱闘甲子園」の放送があると深夜番組が全て30分遅く始まるので、「アメトーーク！」が終わった時は2時くらいだった。感覚が狂う。高校野球は明日決勝戦だ。やっと正常に戻る。

で起きて床屋、のつもりだったのだが、起きたのが3時くらい。今日はええわ、ということにした。来週は職場に水、金と2回行くが、考えてみれば水曜日は保健センターに行くという用事なので、別に床屋に行ってなくてもいいや、ということで。木曜日に床屋に行って、金曜日に院試面接なら問題ない。ということで、来週の木曜日に床屋、ということで。

PARI/GP の関数書きは割とすぐ出来た。bnf を使ったものでは一個進むのに長時間掛かったものが短時間で動く。と言ってもトータルでは2時間くらいは掛かったが。万能という名の無能、という言葉があったが、汎用の関数より二次体に特化した関数の方が速い。猫魔先生は PARI/GP でバリバリプログラミングしてるが、岩澤理論関係の計算では次数の結構大きい体が出てきて、汎用の関数ではとてもとてもということで色々やられている。小生も負けずに色々やりたいが、まあやらないな。

であっと言う間に6時。Baystars は今日から Tigers と横浜スタジアムで3連戦。平良が先発。割といい内容のことが多いのだが、勝ち運が無い。今日は宮下の7号ソロホームランで先制したが、森下に30号ソロホームランを打たれ、その後もう1失点。が、6回まで2失点、10奪三振（自己最多タイ）だったが、打線が点を取れず。そうこうしている内に佐藤輝明に30号ソロホームラン、9回に坂本に8号ソロホームランを打たれ、1－4で敗戦。4失点中3失点がソロホームラン。バッテリーはもっとどうにかしようがあったのでは？という気がするが、まあ小生は素人なので、余計なことは言わないでおこう。二日続けて外国人投手に来日初勝利を献上してしまった。明日の Tigers の投手にプロ初勝利をプレゼントするのだけはやめましょう。

明日は11時前に区内某所に行かないといけない。11時まで起きてるのは得意だが、明日はその後ちょっと行きたい所があるのと、夜呑みに行くので、ちゃんと寝ておこう。幸い今日は高校野球は無かったので、「探偵！ナイトスクープ」の後のドラマが終わっても1時半前。まあ十分寝られるな。ということで今晩は程々にして寝る。どこに行くのかって？明日書く。

横浜高校の甲子園現スターも横浜 DeNA ベイスターズの甲子園元スターも負け投手に成り、今日は横浜惨敗

昨日書いた通り計算はすぐに出来たが、その後に間違いがあった。6n＋3 と書いてあるのは 4n＋2。何故2項式を2乗したのに指数が3倍に成ってるのか謎。ということでその後の計算をやり直す羽目に。そうしたら因数分解出来ない（大学受験数学の意味でね。Q[X] の Q 上既約な元が、という意味）2次式が因数分解出来た。分母を払わずにやったので、解の公式で解を求めて2次不等式、の筈が判別式が平方数に成ってて、ん？という感じだった。分母を払えば x－1 で割れるのは明らかだった。Q[X] の元を内容（容量）と Z 係数の原始多項式の積に分けて、Z 上の既約性に帰着、ということは毎年講義してるがな。でやりながら閃いた。ちょっと前にやってたのを一般化出来る。お得意のノルムを取って有理数の世界に落としてから2次方程式の解の公式を使う、という奴。でぐちゃぐちゃやって、大体出来た。ちょっと R－D type の二次体のこととか必要に成るから、まあ恰好は付いた。もうちょっとどうにかした方がいいが取り敢えずいいことにして、TeX 化。

などとやっている内にもう高校野球が始まる時間に成ってて、横浜高校の試合の音声を聞きながらやっていた。この前織田翔希が156km/hの快速球を連発していた時に「織田が天下を取りに行く」と実況していたが、織田は天下を取れないのです。3ランホームランを打たれたりして、早い回に交代してしまった。今までは試合途中にマウンドから去る時は外野の守備についてたそうだが、今日はベンチに引っ込んで完全交代。流石に疲れが残っていたということか。で横浜高校は準決勝で敗退。残念。その次の試合も凄くて、健大高崎が勝ったが、昨日の Baystars 同様のスミ1勝利。何とこの大会で3試合目の1－0勝利だそうだ。凄いな。決勝は智辯和歌山と。最近は1日ずつ空くように成ってて、昔ほど選手は無理をしないのでいい。どうなるでしょう？2試合終わった後智辯和歌山の監督のインタビューの映像が流れてたが、中谷仁監督って Tigers にいたな。プロ野球を辞めた後高校野球の指導者に成れる時代に成ったのはいいこと。うん。

などとしている内に2時くらいに成ってた。今日も横濱漢祭のため5時45分開始だから、あまり寝られないな、などと思って YouTube を見てても眠くならない。結局寝なかった。で結論としては野球を見ないで寝てればよかった。藤浪は相変わらずで、1回表に四球を複数出し、そこから2失点。その後もう1点取られ、3回途中で降板。解説の槇原氏が「今後は使いにくくなりましたね」と言っていたが、いやいや、とっくの前から使いにくいのです。真面目に見る気が湧かず、PARI/GP のマニュアルと睨めっこしながら、実二次体の基本単数 >1 を bnf 関係の命令を使って吐き出す関数を書いたりしていた。色々やるのが楽になった。朝やってたのを少しどうにかしようと思ってやってたが、判別式が指数関数的に大きく成る（こんな言葉使う必要はなくて、本当に指数関数で与えられてる）実二次体の属を扱うのに目視でやったのをオートマティックに出来るが、時間の掛かるループをもう一回する気は起きないので、関数は作ったが、もういいや、と。そんなこんなしている内に、Baystars は負けていた。今日 Giants が負けて Tigers が勝てば Tigers にマジックナンバー点灯だったが、見たら Tigers が負けていたので、こっちはどうでもよかったか。明日から Tigers と3連戦だ。半分関西人に成ってる者としては悩ましい3連戦。まあ勝ち越して、Giants が3連敗するのを願おう。

今晩はちゃんと寝よう。来週院試の面接があるから、髪の毛伸び放題だとみっともないから、明日床屋へ行こう。で CM を見てて思い出したが、名神が集中工事をやってる。ちょっと早目に住処を出ないといけないな。まあ11時半に詰め所に集合なので、そんな早起きする必要は無い。ただ生活リズムがガタガタに成ってるので、十分早起きなのだが。流石に徹夜して行こうとは思わない。ちゃんとしますよ。

PARI/GP で出来るようになったことがもう一つ。計算の所要時間を表示する方法を知った。これで有理点探しにどれくらい時間が掛かったかが正確に分かるようになる。嬉しい。マニュアルも読んでみるもんだな。足立先生が「LaTeX 2ε 美文書作成入門」を買って眺めてたら色々発見があったというようなことを言っておられたが、そうですよ、そういうことはした方がいいです、と思った。数学の本も何となく斜め読みしてると発見があったりする。勿論真剣にやる時はやらんとあかんのだが、野球だけでなく緩急を付けるのは大事。数学も気楽に構える時は構えましょう。そうしないと精神的に破綻する。楽しみましょう。

スミ1でも勝ちは勝ち。苦手井上温大に黒星付けたった

昨日は超寝不足だったのでそこそこの時間（普通の社会人の感覚では十分遅いと思うが）に寝た。が、今日もちょっと早目に目が覚めてしまい、今日も寝不足気味。起きて昼飯を食べたが、まだ何か眠い。もう一回横に成って小一時間程寝た。少しはマシだが、まだ眠い。あまり寝てばかりなのもどうかと思うので、頑張って起きた。起きても何か特にするわけではないが。

であっと言う間に野球の時間。今日も横濱漢祭なので5時45分試合開始。Baystars は東、Giants は井上温大。井上には5戦5敗とからっきし弱いので、心配。が、1回裏に早速1点取った。2アウトから度会が四球で出塁して、エンカーナシオンのセンター前への当たりを佐々木が無理にダイビングキャッチをしようとして後ろに逸らして、その間に度会がホームイン。解説の谷繁氏が「無理しない方がよかったですね。1回ですし」と言ってた。が、この1点が超貴重。その後両チーム1点も取れず、1－0で決着。今日も井上にてこずったっし、相川監督の言う通り打ち崩してはいない。まあでも、最後に1勝差が効いてくるので、勝ったのは大きい。Tigers が Swallows 相手に9回裏に追い付いて10回裏にサヨナラ勝ちしたので、Tigers と Giants が4差、Baystars が Swallows と1差と成った。で Carp が最下位脱出。明日 Baystars が Giants に勝って、Tigers が Swallows 相手に勝ちか引き分けでマジックナンバー29が点灯らしい。大分行方が見えてくるかもね。

パ・リーグは Hawks が俄然有利だが、今日は Fighters が苦手 Hawks 相手に頑張った。5回表終了時点で0－6だったが、5回裏に3点、7回裏に4点取って引っくり返す。8回表に Hawks が1点取って追い付いたが、10回裏に清宮（幸）がサヨナラ打。これでやっと対戦成績4勝15敗。まだ意地を見せてもらわないと。

清宮（幸）と書いたが、Fighters にはもう一人清宮がいる。ご存知だろうか？清宮虎多朗という投手がいる。但しこちらは「せいみや」。だから球場アナウンスでは多分清宮幸太郎は「きよみや」と呼んでると思う。あ、名前が「こたろう」と「こうたろう」なのも面白い。Baystars の東は「あずまかつき」とアナウンスされるが、こちらは東妻純平と区別するため。東妻は「あずま」と読むのでね。原辰徳が「原（辰）」と表記されていた時期があったが、これはもう一人原がいたため。Carp に同時期に原がいたのは何の関係も無い。ちょっと関係無いが Swallows は「ひろさわ」姓が好きなようで、広沢克己と同じ時期に広沢好輝という選手がいて、今は廣澤優という投手がいる。一番有名なのは克己だろうな。面白いのが広沢好輝の母親は「かつみ」という名前だそうだ。それと広沢克己と広沢好輝は後に Tigers でもチームメートに成った。運命とは面白いものだ。ちょっと関係無いっちゃ無いが、高校の時に香川君がいて、入学式の日にクラス分けを見に掲示を見てたら「かがわくん」と呼ばれたので行くと、呼ばれていたのは香川君の方だった。で彼と小生が高2の時に同じクラスに成った。何もそんなことをしなくても、と思ったがな。有名な苗字の人の苦労がちょっと分かった。

野球が終わった後ちょっと計算したが、前に計算したのと合わない。何回やっても合わない。前にやったのが間違ってるのでは？と思って数値を代入して計算したが、前のが合ってるっぽい。計算力が落ちてるな。まあ「コンピューターが無いと数学が出来ない輩」と指導教員に呼ばれている奴だから仕方ない。もう一回やってみよう。幸い計算に使う紙は幾らでもある。で手に取った紙が25年以上前に今の職場と同時に応募した某国立大学からの非採用通知。こんな紙は早く捨てた方がいいので、計算が終わったら捨てよう。案外こんな紙で計算すると合ったりしてな。さあどうなるでしょう？

などと書いてしばし。計算合った。不思議不思議。

横濱漢祭1戦目は無事サヨナラ勝ちで3位タイに浮上

呑み呑み色々やって、また訳の分からない時間まで起きていた、っぽい。例によって最後の方の記憶が曖昧。何時に寝たかいな？テレビを消さないでダウンした記憶が微かにあったが、目が覚めてみると静か。またしてもケーブルテレビのチューナー経由で見ていたようだ。どれくらいアイドルタイムがあると電源が切れるんだろうか？前に「35歳の高校生」という米倉涼子主演のドラマがたまたま見ていたケーブルテレビのチャンネルで一挙放送というので1話から全部ぶっ続けで放送していたことがあったが、1話を見ると続きが気に成る、というわけでずっと見てたが、途中で電源がオフに成り焦った。一瞬でオフに成るわけではなく、「Please wait」とチューナーの小窓に表示が出て、その間待たないといけない。幸い筋が分からなくなるほどの長時間ではなかったのでよかったが。

昼過ぎに起きたので、結構寝不足ではあったがまあいいです。カップ麺をすすろうかと思ったが、栄養がな、というわけで Uber Eats で適当に頼むことにしたが、何やら油そばの店が近所でオープンしたらしく、20%引きだったのでそこの一番ベーシックなのを頼んだ。カップ麺とあまり変わらないな、と食べながら思ったが、美味しかったのでいいです。それから暫く高校野球を流して、ウダウダと作業。すると横浜高校の試合が始まったので、眠いが起きていることにした。横浜高校は渡辺元智前監督が昨日亡くなったということで、絶対に勝たないと。織田翔希が圧巻のピッチング。甲子園最速タイとなる156km/hを7度も記録したとか。1－0のリードの場面でレフト前にヒットを打たれ同点か？という場面でレフトの江坂がホームへドンピシャの送球。キャッチャーが捕った所にランナーが突っ込んでくるという形に成りタッチアウト。ピンチを凌いだ。その後横浜が着々と加点し、最終的には6－0と一方的な試合に成った。織田は9回も156km/hを記録し、10奪三振完封。よしよし。横浜高校の校歌には富岡とか屛風浦とか懐かしい地名が出てきて嬉しい。熊本の有明高校は延長タイブレークの末サヨナラ負け。残念だった。

で時計を見るともう4時50分くらい。今日の Baystars vs. Giants は「横濱漢祭」という年に一度（1カード3試合だが）のお祭りで、試合終了後角田信朗のライブがあるので、試合開始が5時45分。もう1時間無いな、ということで寝ないことにした。Giants 戦は苦手にしているが、この前は勝ち越した。今回も、と思うが、1回表に投手の尾形自らがエラーをし、1点先制されてしまう。むぅ。Giants の先発は Baystars 戦の成績が14勝4敗という山崎伊織。苦戦するな、と思ったが、今日の山崎は制球が悪い。1回裏に牧、筒香に四球で走者を2人貰い、宮崎が2点タイムリーヒットであっさり逆転。2回裏にも度会が叩き付ける当たりで内野の頭を越えるヒットでもう1点。いいですね。渡辺元智さん、卒業生頑張ってますよ。と思ったが、角田氏も言う通り Baystras らしい試合に成ってしまった。チャンスを潰しまくる。で5回表に無死満塁の大ピンチ。いつもならこのままずるずると大量失点と成ってしまうが、三振、犠牲フライ、外野フライで1失点に抑えた。尾形は自己最長の7回を2失点と上出来。が、やはりロクでもないことが。8回表に二番手ルイーズが同点に追い付かれる。尾形の勝ち星が消えた。その後内野安打を打たれ、またいつものパターンか、と思ったがルイーズが二者連続三振に斬ってとり、同点で済ませた。8回裏、9回表は両チーム無得点で9回裏。今日の Giants の投手陣は変だった。田中瑛斗が1アウトから牧にデッドボール、筒香がストレートのフォアボール、エンカーナシオンもフォアボールで1死満塁。で打順は宮崎。宮崎はこういう場面で併殺打を打つことが多い。足が遅いのは仕方ない。打球が速いしね。でファーストゴロを打った時はまたか、と思ったが、幸い本塁のアウトだけで済んだ。で打者は8回裏に代打で出て守備についていた宮下。まあ駄目でしょう、で延長に入って失点して負け、といういつものパターンだろう、と思ってしまったが、宮下、申し訳ない。二遊間を抜けるサヨナラヒット！素晴らしい。その後角田信朗のライブが始まった。タイトルは「轟爆爆破爆裂漢炎舞」と、爆の字が多いぞ。で見ていたが、途中で放送を打ち切りよった。何だよ、折角球団が盛り上げてるのに、放送局がそう出るかよ。今日は4回裏の「Hisense ハマスタバトル」も「Hisense 韋駄天疾風継走」とか色々やって盛り上げてるのに。TBS は Baystars 暗黒時代の親会社だ。放送してくれるのは有難いが、ちょっとな。明日はどうなるでしょう？

他球場はどうなってる？と思ってNHKのニュースのスポーツコーナーを見ていると、Tigers vs. Swallows は9回裏1－2という状況で佐藤、大山の二者連続ホームランで Tigers がサヨナラ勝ち。素晴らしい。佐藤は森下に並んだそうだ。最近森下打ってないな。で Tigers と Giants は3ゲーム差に、Baystars は Swallows に同率で並んだ。よしよし。明日もこの調子でいきましょう。

その後ちょっと書き散らかした紙をどうにかしようと TeX 化開始。dvi ファイルを見ると、もう TeX 化の済んでるものがあったが、何か変なことが書いてある。寝不足の頭で考えるとロクでもない。簡単なことに結構時間を使ってしまった。それから明日ペットボトルのゴミを沢山出そうとラベル剥がしを頑張ってして。「相席食堂」が終わったらゴミ出ししてこよう。それからすぐ寝てもいいが、「ロンドンハーツ」と「テレビ千鳥」を見たいし、そしたらすぐ寝よう。ちょっと大阪に行きたい件があるので、明日早目に起きたら行こう。今見たら、土曜日は午前中に起きないといけなり用事があるので、その後でもいいや。

昨日探した有理点探しは当然見付かっていない。Canonical height は900くらいと予想されるので。パソコンもう一台買って、専念させようかな？TeX 化したり調べ物したり息抜きにゲームしたりと結構マルチタスクでやらせてるから、影響は出てるだろうな。Unix はマルチタスク前提に作られてるそうだが、Windows の基盤となる MS-DOS はそうじゃないようなことを聞いたことがある。一つことに専念させたいところ。まあ暫くこのままだな。

Canonial height が570超の有理点が画面に表示された瞬間を見て感動（約98時間掛かった）

相変わらず生活リズムがしっちゃかめっちゃかである。千葉の大雨に関するニュースを見てると、どんどん時間が過ぎていく。雨の中で車を運転するのは怖いことだというのを思い知らされた。気を付けないと。アンダーパスは職場の近くにある。そこを走る時は気を付けないと。ちょっと遠回りでもかがやき通りへ迂回するとか、高速道路を使って帰った方が安全だな。もっとも視界が滅茶苦茶悪くなるような降りなら、運転するのをやめた方がいい。この前結構降ってる中を走ったが、相当視界が悪く怖かった。前の車のテールランプは見えるくらいだったので、まだましな方か。最悪職場に泊まることにした方がいいだろう。エポックは飛び込みで泊めてもらえるんだろうか？まあ遅くなると建物の外へ出られなくなるから、その前には行かないと。行っても駄目なら個研室でウダウダするか、院生の溜まり部屋のソファーで寝かせてもらうかだな。

で相当変な時間に寝たが、連日の寝不足のためか結構長時間寝た。で今晩は呑むことにしている。不摂生の日々は続く。来週は職場に2回行く用事があり、他にもちょっと平安京の中に行く用事があるので、来週は少しはマシな生活に成るでしょう。

でカップ麺を食べて腹ごしらえをしたり、テレビを見たりと、相変わらずダラダラと過ごして、で途中有理点探しの様子は、とまさに見た瞬間に有理点が画面にドンと表示された。Canonical height が570超の点が出た瞬間だ、迫力がある。13日の夕方6時ちょいに仕掛けたが、今日の夜8時丁度に結果が出た。約98時間（約4日と2時間）だな。で次のは怖い。Canocal height の予想される値は約900。さあ何日掛かるでしょう？その後に900を大きく上回るものが幾つか控えている。覚悟してやらないと。何度も書いてるが、何かしらの工夫はした方がいいが、全部終わったら考えることとしますわ。下手したら1か月くらい計算待ちをしてるだけに成りそうだが。まあこれも何度も書いてるが、他にもやることはあるので。

さっき「報道ステーション」で言っていたが、トミー・ジョン氏が死んだというニュース。正直知らなかったのだが、「トミー・ジョン手術」というのはトミー・ジョンは投手で、初めて今でいう「トミー・ジョン手術」を受けた人ということでこの名前が付いたそうだ。手術後164勝したらしい。ふーん。確か村田兆治が受けた手術はトミー・ジョン手術だったな。復帰後沢山勝ち星を稼いで、通算で200勝を超えたということで、皆怖がらずにトミー・ジョン手術を日本でも受けるようになったのだと思うがそうだろうか？復帰後日曜日に登板するので「サンデー兆治」と呼ばれていたが、当時は中6日のローテーションではなかったということだろうな。名前を残すのでも記憶に残るのもいいことです。小生は何も残せそうにないが、まあその程度の人間だったということでね。一応人様から引用してもらえるくらいの論文は数本書いたのでいいでしょう。定年退職まであと数年。欲張らずに平和に過ごしますわ。