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

昨日書いた通り計算はすぐに出来たが、その後に間違いがあった。6n＋3 と書いてあるのは 4n＋2。何故2項式を2乗したのに指数が3倍に成ってるのか謎。ということでその後の計算をやり直す羽目に。そうしたら因数分解出来ない（大学受験数学の意味でね。Q[X] の Q 上既約な元が、という意味）2次式が因数分解出来た。分母を払わずにやったので、解の公式で解を求めて2次不等式、の筈が判別式が平方数に成ってて、ん？という感じだった。分母を払えば x－1 で割れるのは明らかだった。Z[X] の元が Q 上可約なら 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日のローテーションではなかったということだろうな。名前を残すのでも記憶に残るのもいいことです。小生は何も残せそうにないが、まあその程度の人間だったということでね。一応人様から引用してもらえるくらいの論文は数本書いたのでいいでしょう。定年退職まであと数年。欲張らずに平和に過ごしますわ。

Swallows に3タテを食らい、A クラスの座を一週間ぶりに明け渡す

昨晩はふなごやに着いてすぐ二人組の予約客が入ってきてビックリした。予約なのに殆ど呑み食いしてなかった。多分酒を一杯ずつと料理を一品ずつ。2軒目なのだろうか？でその客が帰った後、店長が何やら必死に料理をしていた。何だと思ったら、日曜日（今日ね）から木曜日まで休みにしてキャンプに行くそうで、日持ちのしない牛乳を使ってベシャメルソースを作ったそうだ。その後賄いで冷蔵庫に残っていた食材を使った料理を出して、でちょっと残りが多かったらしく小生にもちょっと。E-mail のスパムは嫌だが、食べる方のスパムは美味しい。山科の夜の街で教わった食べ物の一つ。その後いつもの通りワインを2本ばかり。楽しかった。

今日は中々起きられなかった。2本じゃなくて3本だったか？微かに記憶がある。出掛ける前に洗濯機を回していたが、急いで出さないと。幸い乾燥機付きなのでもう乾いているが。で開けて見ると空っぽ。どうやら帰ってきてすぐ出したらしい。酔うと面倒なことをよくやるのが小生で、今部屋で使ってる棚も酔っぱらった時に組み立てたらしく、起きたら出来上がっていた。食器を洗ったこともあるらしく、起きたら台所が片付いていたことがあった。酔っても記憶が無くならなければいいんだがな。まあ全部覚えてたら色々失態したのを覚えていて、精神的によろしくないという一面はある。勿論大事なことを忘れていて青くなることの方が多い気はするので、酒は程々に。

で Uber Eats にいつもの麻婆ライスと餃子と唐揚げ3個を頼んだ。が、よろしくない。スプーンを頼んだのに入ってない。まあスプーンはあるのでいいです。プラスチックの節約をしたと思えば。が、もう一つよろしくないこと。餃子のタレが入ってない。何か紙片が入っていて、見ると「これからも美味しい料理をお届け出来るよう務めてまいります。」（「務めて」は「努めて」の間違い？）と書いてあったが、こんなものを準備して入れる時間があったらタレが入ってるかどうか確認して欲しいが。店の名前は書かないことにしよう。この程度のことで腹を立てて営業妨害するのはよろしくない。ミスは誰でもするのでね。

などとしている内に野球の時間。昨日はサヨナラ負けを食らっていた。中川虎大は春先は中継ぎで好投して勝ちがポンポン転がり込んできたが、最近負けが付くことが増えている。一旦抹消されたが、復帰後も風向きが悪い感じ。昨日の負けで4位転落かと思っていたが、Swalows が数試合雨で流してるので、同率で並んで3位だったようだ。最終の順位は勝率、勝ち数、直接対決の成績、…、と決めていくので、Swallows 戦は負け越しているので、実質4位。3タテは無いだろうし、今日は勝つっしょ、と思ったが、風向きが悪い。3回裏に長岡に2ランホームランを打たれてしまった。6回表に牧、筒香、エンカーナシオンの3連打で1点返したが、その後3人があっさり凡退し、同点、勝ち越しはならず。結局点数はそのままで終了。正真正銘の4位に成ってしまった。むぅ。明後日からは横浜スタジアムで Giants 戦。Swallows は京セラドームで Tigers と3連戦。Baystars の3位再浮上と Giants に下がってもらうには自力で Giants に勝ち越し、Tigers に勝ち越してもらわないと。

今日は Tigers も Giants も勝ったようだが、Dragons は Giants 相手に大失態。7回終了時点では1－0と締まった投手戦だったようで、柳は7回1失点の好投。が、何と8回表に10失点。Dragons が勝たなくてもバンテリンドームの観客数は去年より増えていたが、今日は流石に呆れたらしく、途中で球場を後にする人が結構いたそうだ。まあそうだろう。何が起こるか分からないから最後まで応援する、というのは強がりで、惨状を目にしては耐えられないだろう。Carp は Tigers に1－8とやはり惨敗で、この2チームが火曜日からマツダスタジアムで対戦するようだが、客は入るんでしょうか？マツダスタジアムは数年前に異常発生した「Carp 女子」が姿を消し、大分閑古鳥が鳴いてるらしいし、Dragons ファンも広島まで行かない気がする。ゲーム差1の熾烈な5位争い、と言うのも空しいだろう。どうなりますかね。

木曜日に仕掛けた有理点探しは流石に終わっていない。書いたように canonical height の予想される値は573超。気長にやります。色々やることはあるので、コンピューター君には頑張ってもらおう。

Baystars は試合開始で3点（筒香の3ランホームラン）、Tigers は9球で2点取った（森下の2ランホームラン）が、その後苦戦中

昨晩は程々の時間（普通の人にとっては十分遅い時間だが）に寝た。というか起きていられなかった。で今日は1時過ぎまで寝ていたが、それでも眠くて、昼食後また4時半過ぎまで横に成っていた。何も有益なことはしてない。まあ休みなので。今晩はまた呑みに行くので、不摂生な日々が果てしなく続く。いい加減何かしらしないと。

であっと言う間に野球の時間。今日は素晴らしい立ち上がり。度会が初球をヒット、牧がストレートのフォアボールを選んで、筒香が3ランホームラン。6時開始の試合が6時6分には3－0。これは勝たないと、と思ったが、Swallows が1回、3回、5回の攻撃が1番長岡から始まる攻撃で、長岡が出塁してホームベースを踏む、という攻撃で只今3－3という状態。7回は奇数回だし、Swallows の攻撃は怖いぞ、また長岡からだし、と思ったが、7回は浜地が三者凡退に抑えてくれた。さーここから反撃だ。

Tigers は Carp 相手に9球で2点取ったようだ。森下の2ランホームランで。が、その後 Carp に逆転を許し、只今2－5と3点リードされている。昼に Giants が2－11で Dragons に大敗しているだけに、Tigers は勝たないと。まあ負けても2ゲーム差は保たれるわけで、大騒ぎしなくてもいいのかな。結局直接対決で Tigers が3連勝したのが効いてる。Tigers と Baystars が共に勝てば美味しい酒に成るのだが。頑張れ。

などと書いてしばし。Baystars は3回に牧がヒットを打って以降、ヒットどころか出塁も無かったそうだ。が、8回表2アウトから度会がヒットを打った。さあ牧だ。打てよ、と思ったがサードゴロ。残念。

Tigers は2アウト満塁のチャンスを作った。佐藤輝明の打順。どうなるでしょう？と力んで見ていたが、結局三者残塁。まだ9回表がある。頑張れよ。

大分9時が近付いてきた。そろそろ呑みに行かないと。さっきシャワーは浴びたし髭も剃ったし、一応みっともなくない風体には成った。T シャツにジーパンで出歩くので、寝癖バリバリ髭ボーボーはよくないのでね。時間的に試合の最後までは見られそうにないので、食事を待ちながらスマホで観戦する。いつもの通り。さあどうなるでしょう？

などと書いてしばし。9回表に Baystars がノーアウト満塁のチャンスを作ったが、粘った末勝又は三振、佐野が併殺打で無得点。むぅ、今日は駄目かな。一週間で4位転落か？まだ分からない。料理を待ちながら応援、ということで出発。

四球で走者をためて（一つは投手に）満塁ホームランを打たれた松本凌人は反省してもらわないと

結局昨日はビールを呑んだ。で飲み干して時計を見るとまだ11時前。合法に酒が自動販売機で買える時間なので、もうちょっと呑むことにして買いに行く。で先週の「座王」を見るなどグダグダとやってる内に「アメトーーク！」が始まったが、眠くなってきた。テレビを見てると寝落ちしそうなので、本棚の整理を始める。新田次郎「武田勝頼」の1巻があるのは確認していたが、2巻、3巻が無いぞ、と思っていたのだが、大垣書店で買った時の紙のブックカバーを外してなかっただけで、ちゃんとあった。その時同じく新田次郎の「武田三代」も買ったようだが、ブックオフで古本を買ったようで2冊あった。再販する時に別の人に解説を頼んだようで、解説者が違った。古い方の解説を読んで、ブックオフで売ろうということにして、取り敢えず書棚に戻しておく。で眠さに限界が来たので、寝た。

目が覚めると時計が6時を指している。夕方か？と思ったら朝の6時だった。起きるが、流石に徹夜の翌日に5時間くらいしか寝てないのではちと無理がある。「おはよう朝日です」をちょっとだけ見て、もう一度寝床へ。でもう一度目が覚めると10時半くらい。西友が閉まることだし、2階にある食堂で海老コロッケを食べに行こうと思っていたので、行こうか、と一瞬思ったが、やはり起きられない。そのまま1時過ぎまで寝ていた。別に昼飯を1時過ぎに食べに行ってもいいのだが、「おはよう朝日です」を短時間見た時に仕入れた情報だと、午後は俄雨があるかもと言っていたので、やめておいて、冷凍のカレー饂飩を食べて済ませた。西友には近い内に。映画も見に行かないといけないし、色々やることはあるのだが。まあいいです。で昨日の「ゴチバトル」を見たりと、ダラダラと過ごす。昨日の「ゴチバトル」では、特別ルールで二人が一品ずつ値段を教えてもらっていたが、その二人が最後の二人として残るという異常事態。結果は書かないけどね。ゲストが中条あやみ、池田エライザ、高杉真宙と、過去にクビに成ったメンバー。更に田山涼成と佐々木希が不意打ちで登場して、皆ビックリしていた。面白かった。それから月曜日に NHK で放送していた玉鷲の特集番組を見たり。

そんなことをしてるとあっと言う間に6時。野球の時間。今日から Swallows と3連戦。2ゲーム上にいるが、この前ゲーム差無しの時は勝率で下回っていたので、勝ち越さないとAクラスをキープ出来ない。頑張ってもらわないと、と思って見始めるが、1回裏に早速失点。今日一軍登録された森敬斗を本職のショートでなくセンターで起用していたが、ショートの時にファーストに何度も悪送球していた悪い癖が抜けておらず、内野への返球が大暴投で、その間に点を取られるという、平良には何とも可哀そうな失点。その後5回裏までは点を取られなかったが、名古屋で大暴れした打線が今日は音無し。6回裏に悪夢が。セカンドへ内野安打を打たれたが、何か牧のエラーのような気がした。試合前に雨が降ってたそうで、グラウンドのコンディションが悪く、滑ったような感じ。次のバッターはライトへポテンヒット。解説の今浪曰く「平良の投球は何も間違ってないですよ」と、何とも不運。で2点タイムリーヒットを打たれて交代。ここまでよかった松本凌人だが、今日は乱調。内山をストレートのフォアボールで歩かせると、投手の奥川にもフォアボール。三振で2アウトにはしたが、長岡に満塁ホームランを打たれてしまう。独り相撲だ。7回表に森が汚名返上とばかりに2点タイムリー2ベースヒットを打ったが、そこまで。負け投手は平良だが、試合をぶち壊したのは松本だけに、何か納得がいかない。まあそういうルールだから仕方ないのだが。他球場はどうかというと、Tigers が負けて Giants が勝ってしまった。明日の Tigers のマジックナンバー点灯は無しということに成った。終戦記念日に Giants が終戦に成るとよかったが。Tigers は明日勝たないと。

その後ちょっと下らんことをした。√7 は28分体に含まれる。これは√(－7) がガウス和で書けることから自明。しかし1の28乗根達の1次結合で書きたいぞ、と成ってごちゃごちゃ計算。出来たが、TeX 化しようという時に実に無駄な計算をしていたことに気付いた。偏角の足し算なんてしなくても、虚数単位と1の7乗根を1の28乗根で表す（超自明な計算をすればよい）ということをした後指数法則（中学生レベルの）を使うだけだった。まあいいです。その後基底の1次結合で書きたいぞ、と成って、SageMath で結果だけ得てから計算。28分多項式が案外簡単な形をしていたので、そんなに大変じゃなかった。まあ出来てしまえば正しいかどうかはすぐ確かめられる（勿論コンピューターで）。まあ楽しかったのでいいです。科研費の申請書類を書くとか、秋学期の講義関係のことを少しやるとか、ゼミでちゃんと指導出来るよう勉強するとか、気の重いことが沢山あるので、つい現実逃避してしまう。まあいいでしょう。

昨日の千葉の雨は想像以上の出来事だったようだ。後輩が千葉にいるぞ、と一瞬思ったが、そいつは今は名古屋に住んでるのだった。奴の奥さんの旧姓が千葉の地名と同じなので、ニュースを見ていて一瞬焦ったりする。あ、別の後輩が千葉の大学に勤めてるぞ、と思ったが、彼は東京に住んでるんだった。いや、真面目な奴だから職場に行ってて帰れなかったか？と気付いた。確認しておいた方がいいな。千葉県にある別の大学に知り合いが数名いるかと思ったが、一人は数年前に退職、一人は今年東京の大学に移籍していた。もう一人いるが、そこまで親しい人ではないので、まあメールしなくてもいいかと。Facebook を見ていたら、卒業生が千葉に住んでたのを思い出した。彼の投稿を見るに、彼はそこまでの重大事に成っていないようでよかった。で気付いた。もう一人いるな。彼は千葉大の大学院を出たが、今は千葉に住んでないのかな？色々確認しないといけないな。ニュースに依れば、昨日の千葉は通常の8月の1か月分が1時間くらいで降った（記憶が曖昧だ。違うかも）らしいから、大事だったろうな。もうこんなことは起こらないで欲しい。勿論京都、滋賀でもだが、日本のどこでも起きないで欲しい。日本は災害大国だから、どうなるか何とも言えないが。祈るくらいはしましょう。