藤ノ川が京都出身の力士として198年振りの新三役

朝の結構な時間まで起きていた。関西の朝の情報番組では Tigers の情報に時間を結構割くが、この週末に3連勝したとあって、金、土、日の3連戦の情報を何度もやっていて、Giants が負けると飯が旨くて仕方ない小生としては、何度も見たくなる。ということで「おはよう朝日です」が終わるまで起きていた。

で起きたらもう「Newsおかえり」が始まってる時間。岩本はんがキャスターに戻ってきた瞬間を見たかったが。まあ岩本はんは朝見た。福井の大雨の情報の取材のために今朝福井から中継をしていた。何だか岩本はんが真剣な表情で報道しているのは変な感じだった。まああの大雨被害を取材するのにご陽気にしてるわけにはいかないだろうけど。変な生活をしているせいか眠いので、もう一回寝床に戻った。少ししたら寝落ちした。

意識が戻ったら「Qさま！！」が始まってる時間。今日もカズレーザーが無類の強さを見せて終了。結局そうなるよね、というくらい強かった。金沢の21世紀博物館って行ったこと無いが、「Qさま！！」で紹介されていてちょっと行きたくなった。金沢に電車で行くことはもう無いと随分前に宣言したので、電車では行かない。ふなごやの大将が車で行けばいい、夏でも魚美味しいし、と言っていたので、行こうか？長崎の原爆資料館と平和公園も紹介されてたが、この前長崎に行った時は全然時間に余裕が無かったので、こっちも行ってみようか？勿論私費で行くよ。もうちょっと涼しくなってからね。

「おはよう朝日です」で「今年最後の Tigers vs. Giants の3連戦」と言っていたような気がして、さっき野球の日程を調べたら、確かに3連戦は無い。対戦が無いわけではなかったが。9月は雨で潰れた試合の代替試合をやる必要などがあるから、最初からスケジュールに余裕を持って組まれている。2日試合が無いことも結構ある。そうすると退屈だな。まあ色々やることはあるのでいいけど。相撲もあるし。藤ノ川が小結をすっ飛ばして新三役となる関脇に昇進。京都出身の新三役は198年振りと言ってた。調べると、1928年10月場所の緋縅（ひおどし）以来のことで、江戸幕府11代将軍の家斉の時代の出来事らしい。凄い。小兵が活躍すると面白いよね。小さな体で真向勝負を挑んでて気持ちが良い。今場所も是非活躍を。霧島の横綱挑戦、熱海富士の大関挑戦も見所。面白そうだな。

ちょっと愚痴。科研費の調書を事務が点検するが、「行の広さが広なってる」とか「位置がずれてる」とか細かいことをくちゃくちゃと言ってくる。科研費 LaTeX の象の卵の研究（同業者は皆知ってるでしょう）を見ると、小生の調書と同じサイズ、行間なので、直すなら科研費 LaTeX を作ってくれた人に頼むか、もしくは今から TeX の勉強をみっちりするか。どちらも現実的ではない。小生も TeX で色々凝ったことはしてるが、科研費 LaTeX のような高度なものはとても作れない。北陸数論研究集会の原稿を書いた時や論文を投稿する時のようにスタイルファイル（クラスファイル？）を指定されることがあるが、これらのような凄いものもとてもとても作れない。ということで事務に「無理！」と返事しておいた。ちょっと冷静さを欠いていたので、「そんな枝葉末節が原因で不採択に成るなら、科研費などこっちから願い下げです」と書いてしまったが、ちょっと余計だったな。事務からは返事が無い。まあ小生の分を見るだけではなく、多くの先生方の申請調書を見るのだろうから、返事があるとしたら数日後だろう。もう直すつもりは無いです。どうせ採択されない（「はずれる」という用語が一般的）だろうし。もう次回の応募で最後にしよう。60過ぎて大金が支給されても困るし。Magma 欲しいが、本当に買うなら何かしら手段はある筈。そうなったら調べるので、もう科研費はいいです。と、こんなことを書いてるのも審査委員が見てたら、いよいよ不採択だな。何度も言うが、もういいです。

Baystars も Tigers も僅差の3連戦を3タテして、差が広がってひとまず安心

昨晩は8回裏が終わってからふなごやへ出発。で食べ物をどうしようかと思ってると、店長が無事 Baystars が勝ったと教えてくれた。1－0の勝利は終わった後は気分がいいが、試合中は何とも息苦しい。この前 Giants 相手にも1－0をやったがな。で食事が出てきて食べながら Tigers がどうなってるか店長と二人でスマホを見ながらチェック。暫くして無事 Tigers が勝って、マジックナンバーが出た。ということでいつもの通り3人で祝杯。Giants はここぞで弱いね。憲伸君（関西では有名）が3連戦前に1.5ゲーム差に成っていて怯えていたがな。

でまた記憶が無いまま戻ってきて、夕刻まで寝ていた。野球まで1時間以上余裕があったので、昨日の晩の「THE 世代感」を見て時間潰し。1984年の映像を見ると、大分今と違っているのが分かって面白い。

で5時55分から野球の放送が始まった。今日の先発は Baystars が篠木、Dragons が柳。1回裏に早速試合が動く。明治大学の柳のチームメート佐野がソロホームラン。柳との対戦成績は悪かったそうだが、今日はそれで調子に乗って猛打賞だった。2回裏は宮下にタイムリーヒットが出て2－0。が、そこから点が取れない。今シーズンの柳は4失点以上の試合が無いそうだ。3回表に1点取られたが、篠木はまだ気合が乗っているように見えた。しかし5回表にロクでもないことが。1アウトから柳を四球で歩かせて、そこから3連打で追い付かれ、犠牲フライで勝ち越される。篠木は4回2/3で交代。やはり投手に四球はいかんよな。そこからリリーフ陣が粘って点を与えなかった。で8回裏に大チャンス。先頭の筒香が四球を選び、代走の三森が二盗、三盗を立て続けに決めて無死3塁。が、宮崎が浅い外野フライに倒れる。蝦名は三振。その後宮下を申告敬遠。エンカーナシオンが代打で出るも、カウントを悪くしたということでまたしても申告敬遠。松尾が代打に出るも初球を打ち内野ゴロで三者残塁。得意技だな。9回表は中川虎大が一人走者を出すも無失点。で9回裏にまたしても大チャンス。先頭の度会が内野安打で出塁。牧がファールフライの後、佐野が四球。代走で出た三森に打順が回ってきた。あまり期待出来ないな、と思ったが、ワンバウンドしそうな球をバットに当ててセンター前にヒット。8回裏にチャンスを潰した宮崎、蝦名に打順が回るが、宮崎が犠牲フライで同点。名誉挽回したね。で蝦名も名誉挽回のサヨナラヒット。いやー凄かった。満塁を2イニング連続で潰さなくてよかった。迫ってきていた Dragons に3タテを食らわしたのはでかい。今日は Swallows も負けたので、4位と2.5ゲーム差。よかった。

Tigers はどうなってる？と思っていると、放送中に Tigers リードの報。Yahoo！の速報の頁を見ていると、3－0。しかし9回表に1点取られ、なお満塁のピンチだったが、工藤が凌いだ。こちらも3タテで、憲伸君が怯えていた1.5ゲーム差が4.5ゲーム差に広がった。マジックナンバーは21。上にも書いたが、本当に Giants はここぞに弱い。89年振りの Tigers 戦7連敗らしい。「89年振り」は「89年以来」のことではなく、本当に1937年以来のことだそうだ。去年も Giants は Tigers に全く歯が立たなかったしな。アンチとしては気分がいいです。Giants は2013年を最後に日本一に成ってないらしい。もっともっと落ちて行ってもらおう。

まだ今日の大河ドラマを見てないが、スマホで情報を仕入れてしまった。柴田勝家とお市の方の最期の場面が何やら問題に成っていた。この前の中川清秀の行動に対しても地元から文句があったらしい。まあ史実を題材にしたフィクションだからね。「どうする家康」の時も多方面から文句が出てた。冷静な人は「司馬遼太郎でも何でもフィクションですよね？それも駄目なんですか？」と言ってたが、その通りだな。当時の様子を見た人はいないわけだし、資料と伝聞を基に書かれた小説だと思って、楽しみましょう。そもそも秀吉の前半生は謎ばかりだそうだし、弟の秀長と成ると尚更でしょう。ふなごやの店長がアマゾンプライムか何かで「麒麟がくる」を見てるそうだが、明智光秀も若い頃のことは全くと言っていいほど資料だ無いそうだ。美濃の明智氏の子孫という説が一般的だそうだが、実際のことは？らしい。分からないことを書かれたものを楽しむくらいの気持ちの余裕は欲しいですな。

近鉄奈良行とかびわ湖浜大津行とか、行も帰りも本数の少ない電車に乗った

起きたのが想定より遅かったので、西友のレストランはまたにして、カップ麺の食事で済ませてしまった。でちょっと録画したものを見てたが、まだ眠いぞ、ということでもう小一時間ばかり寝た。5時半に市内某所に用事があるので、シャワーを浴びてから出発。

目的地は東西線でちょっと行って烏丸線で一駅の所。烏丸御池駅のホームの手前で竹田行の電車が見えたが、駆け込み乗車はやめようというこで、見送る。次の電車は急行近鉄奈良行。朝夕に数本ずつしか走ってない電車だが、何でこういう珍しいのにしょっちゅう出会うかな？急行と言っても竹田までは各駅停車なので、どれに乗っても大丈夫。用事は30分も経たずに終了。すぐそばの喫茶店でコーヒーとホットドッグを食べて帰途につく。東西線のホームにびわ湖浜大津行が停まっていた。こっちは1時間に3本しかない電車だが、何故行きも帰りも珍しいに会うかな。変な所で運を使ってなければいいが。

帰宅したのは7時くらいで、もう野球は始まっている。テレビを付けて見ると、1－0でリードしている。エンカーナシオンがソロホームランを打ったそうだ。Baystars の先発は平良だが、毎イニングのようにピンチを作ってるが凌いでるそうだ。途中5者連続奪三振があったが、この前は10奪三振だった。球は速いわけではないが、変化球のキレは確かにいい。今日の奪三振も全部変化球だった。6回途中で交代したが、無失点。走者を残してだったが、代わった投手が併殺打に斬って取った。その後どちらもチャンスを作るも無得点が続いている。今7回裏2アウト2塁で牧という状況。さあどうなる？と書いてるそばから牧がサードゴロで無得点。むぅ。何点あってもセーフティーリードでないことはこの前自ら証明してしまったからな。1点でいいから取って欲しかったが。残りは8回、9回。どうなるでしょう？

Tigers vs. Giants はどうなってる？と見たら4－0で Tigers がリードしてる。よしよし。森下が死球で途中交代したようだが、大事ないといいが。先制点は坂本（Tigers のね）のヒットによるものだそうだが、その前の打者の高寺を敬遠四球で歩かせた直後のことらしい。何故高寺を敬遠したのか？というようなことが Yahoo！の頁に書いてあったが、その通りだな。打率はどちらも2割2分程度と似たようなもんだが、ホームランの坂本9本、高寺2本だから、高寺勝負が Giants にとっては正解だったかな、という気はする。まあ Giants が負けると飯も酒も旨いので、こっちとしては嬉しいが。そろそろ呑みに出掛けるので、店長の機嫌がよくなる結果でありますように。

7回2アウトまで完全試合、7回終了時にノーヒットノーランをやられていた試合が、8回裏1イニングに4安打を集中して逆転勝ち

今日はちゃんと9時45分くらいに起きた。昨日これを書き終わってから見ると、有理点が見付かっていた。92時間半くらい。で寝る前にパソコンの電源を落としておいた。一旦休憩してもらってまたこき使うので。で起きてすぐ電源を入れて有理点探し。予想される canonical height は950超。さあどれくらい掛かるでしょうか？見落としが無ければこれで最後の筈。夏休み中には決着が付くだろう。そしたら論文にしたいが、どれくらい詳しく書けばいいか悩ましい。ま、その時に成ったら考えますわ。

11時半までに詰め所に行けばいいので、10時半前に出発。名神の集中工事中なので渋滞する可能性十分ありということで、念のため少々早目に出た。が、全然混んでなかった。特に車線規制をしているわけでもなく、あっさり到着。食堂は開店前だが、椅子と机は使っても問題無いので、飲み物を買って少々時間潰し。それから生協の本屋をちょっと冷やかしてから詰め所へ。が、場所を間違えていた。コラーニングハウスかと思ったらフォレストハウスだった。C106 と F106 を間違えていた。変な略称で覚えるからいけないのだ。フォレストハウス106と覚えておかないと。今日の用事は院試面接。数学を受ける学生はそもそも多くないが、例年よりちょっと多い感じで、終了予定は2時過ぎ。他の専攻は大変で、何部屋かに分かれてやるようだ。所帯が大きいと大変ですな。面接の様子は勿論書くわけにはいかないが、一言だけ。苦労しそうだな。小生の所を受けてきた学生はいなかったので、対岸の火事。その後河岸をウェストウィングに移して少々会議。3時前には解放された。

個研室に着いてまずやったのは処方箋探し。あやふやな記憶を頼りに探すも見付からない。変だな。そこで気付いた。鞄に入れた記憶は無いが、何かの袋に入れた記憶がある。数理科学セミナー用に本とメモ用紙を入れた袋があるが、一昨日そこからメモ用紙を取り出した時に何やら良からぬことをした記憶が微かにある。で中を見たらあった。何故こんな所に仕舞うかな（関西では「直す」というが）。まあよかった。それからちょっと気に成ることを計算したり、見てみようと思った本を見て、すぐには埒が明かなそうなので持ち帰ることにして鞄に入れて、もう一冊持って帰ろうと思っていた本があったのを思い出してこっちも鞄に入れて。でそれからゴソゴソとやっているともう5時を過ぎてた。早い。生命保険会社の人が5時半くらいに来ることに成っていたので、短時間で片付くことをしながら待つ。すると現れた。会うのは今日で2回目だが、この前来た時と感じが違うと思ったらマスクをしてないからだった。マスクをしてると女子大生かと思うくらい若そうに見えたが、そんなに若くはなさそうだ。おっと女性の年齢の話はやめましょう。個人情報に変更点があるや否やという形式的な話をして、契約してるものを一通り説明してもらって、それから一つ解約して新しいのに変えると得ですよと言われて、その通りにする。丁重で熱心で、それでいて明るく説明してもらうとその気に成る。銀行で色々運用してるが、これは羽山さんという男性の営業の方が熱心だったので任せたが、羽山さんの転勤後に小生の担当に成った女性陣は熱心さが足りない。今担当に成ってる人は何か明るさが無くて嫌な感じで、更に数回電話をくれたのがゼミ中だったり講義中だったり二日酔いだったりで数回電話に出なかっただけで何も言ってこなくなった。熱心にやれば簡単に折れるのだがな。6時半近くに帰っていかれた。それからちょっと部屋にある謎の段ボール箱の中身を見たが、学生の頃に TeX 打ちして印刷したものが幾つか出てきた。何か捨てるのは勿体ないし、後日スキャンすることにして机の上に置いておく。それと学会で喋った時の OHP のシートが出てきた。もう使わんよな、ということでプラスチックごみを捨てる所に10数枚捨ててきた。などとしてる内に7時近く。コンピューターに計算させていたものがあったが、もう結果が出ているものをアルゴリズムを変えるとどれくらい所要時間が違うかが興味があって走らせていただけなので、止めて帰ることにする。一瞬で求まるアルゴリズムがあると思えば、数時間待っても結果が出ないのもある。で次はいつ職場に行くでしょうか？

保険会社の人と話してる時に雨脚の強そうなのが降ってる音が聞こえたが、外に出たらもう止んでた。駐車場代300円払って帰途につく。高速道路は全然混んでなくて、7時25分くらいにはドラッグユタカに着いた。が、今日はお薬手帳を忘れていた。大体何かしら忘れる。まあいいです。

8時前だな、晩飯はどうしよう？と思っていて閃いた。前に書いた通り西友山科店が来月一杯で閉まってしまう。2階のレストランの海老コロッケを食べたいと思っていたので、行こうということにして、住処と逆方向に向かって走り西友に向かう。もう閉店前だけあって大売出しをしているために、棚はスカスカ。でレストランの前に行くと、本日の営業は終了との紙が貼ってあった。8時ちょっとだがな。まあいいです。何も買わないで帰るのは忍びなかったので、再生紙100％のトイレットペーパーがあったので買ってあげる。

野球はどうなってるかと途中でスマホをちらっと見たら、2点リードされてる。Tigers は Giants 相手に優勢。住処に着いてテレビを付けると、8回表1死1、3塁とピンチの場面。馬場がピンチを作ったようだ。が、花田（4回にホームランを打ってる）、山本と連続奪三振でピンチを切り抜けた。で8回裏にアナウンサーの言っているのを聞いてビックリした。7回まで Baystars はヒットを打ってないらしい。7回2死から筒香が四球を選ぶまでは走者すら出ていなかったらしい。でアナウンサーがノーヒットノーランがどうしたとか言い始めると大抵すぐヒットが出る。すると案の定先頭打者の佐野がセンターへクリーンヒット。まあそんなもんだ。が、この時高橋宏斗に何やらアクシデント。ベンチに一旦下がってまた出てきたが、投球練習で変な所に球が行ってしまっていて、結局交代。すると大体何かが起こる。蝦名がレフトへヒット。林が送りバントを決めて、代打宮崎が四球で1アウト満塁。で代打宮下。一昨日大事な場目でエラーをしたので、名誉挽回をしたいだろう。が、三振。まあこういう時は点が入らないで、あーあ、と成って負けるのがいつものパターンだが、今日は違った。度会が2ストライクまで追い込まれたが、変化球をうまく拾ってライト前2点タイムリーヒットで同点に。蝦名のスライディングが上手くて2点目が入った。で打者は牧。こういう時の牧は駄目なことが多いという印象だが、今日はセンターの頭を越えるフェンス直撃の2点タイムリー2ベースヒットで一気に4点。9回表はレイノルズが三者凡退に抑えて無事勝利。よかった。8イニングの攻撃で走者が出たのは7回裏と8回裏だけで、ヒットが出たのは8回裏だけ。4安打4点で勝ったわけだが、野球はチャンスを作った回数やヒットの本数の多寡を競うスポーツではないので。前に1安打で2点取って勝った試合があったが、その時も高橋宏斗じゃなかったかな？3位から6位までが大混戦なので、今日の勝ちは大きい。Carp に嫌な逆転のされ方をして負けた後なので、今日のは本当にデカい。明日、明後日も勝ちましょう。

他球場の結果を見ると、Tigers は Giants に快勝、Swallows は Carp に勝って、首位と2位が2.5ゲーム差、3位と4位が1.5ゲーム差、4位と5位が2ゲーム差、5位と6位がゲーム差無し。ちょっと広がったかな。まあまだ混戦だ。ちょっと連勝があったり連敗があったりしたらどう転ぶか分からない。まだまだ面白いよ。

そうそう、今朝トヨタから電話があって、マンションの管理人さんに頼まないといけない件が発生したので管理人室に向かうと、シャッターが下りてた。この前祝日に出てきたのの代休らしい。じゃあ仕方ない。明日もお見えにならないだろうから、月曜日に頼もう。印鑑証明を貰う必要もあるが、地下鉄の駅にある役所の派出所みたいな所が土曜日やらないことに成ってしまったので、こっちも月曜日以降だ。役所まで行かないで済むし、土曜日もやってくれてるから、月～金毎日働いてる人にはよかったのだが、土曜日閉められるのはちょっとな。まあ人手不足なのだから仕方なかろう。月曜日にまとめて済ますことにして、今日は何も出来ない。仕方ないな。

2ヶ月振りの床屋で頭がスッキリし、Baystars も Tigers も勝ったので更にスッキリ

今日は床屋へ行く、と前から決めていたので、昨晩は程々に寝よう、と思っていたが、案の定というか朝まで起きていた。いや、無駄に時間を使ったというわけではなく、3次の不定方程式に関する Delaunay－Nagell の結果のことが気に成って調べていた。殆どの場合基本単数から解が得られるが、有限個の例外があって、それらの場合は基本単数の2乗から得られる、ということで、これすら知らなかった（非自明な解が高々一つ、というこは知ってた）。で調べると、何とその例外は既に決定されている、という論文を見付けた。が、MathSciNet で調べると、その論文は reference、review のどちらからも一つも引用されていない。超有名雑誌に載ってる論文だが。その例外を決定するために不定方程式を一つ解いてるが、それが正しいことは今や SageMath 等で数秒で確かめられる。が、その方程式と例外の関係が何も書いてない。Reference を見ると、LeVeque の本に書いてあるようで、確か職場にあったな、ということで明日行って見ることにして、寝ることにした。もう結構な時間。

昼前に目が覚めたが、流石に寝不足。もう一度寝て暫くしたら起きて、カップ麺をすすったが、まだ眠い。もう1時間くらい寝た。起きて床屋に電話。時々予約客がいて1時間くらい待たないといけないとか、夕刻まで予約客で一杯ということがあるので、最近は行く前に必ず電話することにしている。一人でやってる店なので仕方ないが。今日はすぐ切ってもらえるとのことで向かう。前に行ったのは6月27日のようで、丁度2ヶ月前。こういう時は「6月27日以来」と言うのが正しく、「6月27日ぶり」は間違い。前に YouTube を見てたら、「1998年ぶりの優勝を目指す Baystars」と言ってるのがあって、「おい！」と突っ込んでしまった。1998年前は野球なんて無いわ！で切ってもらって髭も剃ってもらってすっきり。帰りに DCM に寄ってお買い物。お釣りを3000円ちょっと貰ったが、1枚が旧札。嬉しい。昨日実は旧札が役に立った。ウェストウィングの1階に飲み物を買いに降りたら、一人中年と思しき女性が自販機の前の椅子に座っていて、その方のご主人とご子息らしき二人が自販機で買う物を決めて、さあ、と成った時に新札に対応してない販売機なのに財布から新札しか出てこなくて、困っておられて、「交換しましょうか？」と変えてあげた。喜ばれた。こんなことでも人の役に立つと嬉しいのだ。ということでまだまだ財布には旧札が唸ってる。まだまだ貯めるよ。ジハンピ対応の自販機で伊右衛門のペットボトルを買って帰宅。

しばしボーっとしてる内に野球の時間。最近よう負けてるなと思ったら、5連敗もしていたらしい。最近浮き沈みが激しい。借金は5まで減った筈だが、そこから11まで膨れ上がっていた。今日もいい出だし。1番度会がヒット、2番牧が2塁打。がまたかという感じになる。筒香、エンカーナシオンが凡退。また得意の残塁の山か、と思ったが、今日は違った。宮崎が2点タイムリーヒット。よしよし。先発は片山。いいのか悪いのかよく分からない。四球は結構出すが、失点は2回裏に勝田にタイムリーヒットを打たれた1点だけ。栗林が立ち直ったような感じなので、1点差だとやばいぞ、と思ったが、6回表に筒香がソロホームランを打ち2点差。7回表は林を1塁に置いて戸柱がセンターへ打ち返すと、何とセンターの大盛が捕れない。記録は2ベースヒットだが、投手は可哀そう。その後2アウトに成るも、牧が2点タイムリー2ベースヒットを打ち6－1に。がまだ安心出来る点差ではない。一昨日のことがあるからね。7回裏に2アウトながら1、3塁のピンチ。が、そこは流石伊勢、無事無失点。8回裏は中川虎大が1アウト満塁のピンチを背負うも、併殺打に斬って取り無事無失点。9回はルイーズ。5点差なら大丈夫らしく、三者凡退に斬って取り無事勝利。良かった。他球場の経過が時々入ってくるが、Tigers はリードされてて、Giants がリードしているという情報。む。今朝憲伸君（関西では有名）がゲーム差が詰まってきてるので焦っていたが、このままだと0.5ゲーム差に成ってしまうぞ、と嫌な感じ。が、試合終了後に入ってきた情報だと Tigers が逆転したらしい。ということで J SPORTS 1 だったチャンネルと J SPORTS 2 に合わせて、Dragons vs. Tigers を最後まで見ることにした。Dragons が1点リードの8回表に坂本が逆転2ランホームランを打ったらしい。坂本は去年までの10年間で8本塁打今月だけで7本塁打の9号ホームラン。何故こんなに覚醒したのか？9回表も Tigers は得点機を作ったが無得点。9回裏のマウンドには売り出し中の工藤。2アウトを簡単にとるも、2ベースと申告敬遠で1、2塁。で細川の打順の筈が、代走で出ていた樋口が打席に。プロ入り後4本しかヒットを打っておらず、通算で打率 .111。まあ心配無いか、ということでピッチャーゴロで打ち取ってゲームセット、かと思ったら、1塁のアウトセーフが際どそう。当然リプレー検証だが、見るとそんなに際どくなった。無事 Tigers の勝利。Giants も勝ってしまったので1.5ゲーム差。Giants は Swallows とだったが、Swallows の先発は24年連続勝利の記録を持つ石川。今日が今シーズン初登板で、25年連続登板はタイ記録だそうだが、1回表に6失点と炎上。YouTube で見た動画ではもうそろそろ引退かもと言われてたが、現実に成りそうだ。200勝まで残り12勝だが、無理だな。功労者だ、球団はいい花道を用意してあげないと。

何か兵庫北部で竜巻とか、綾部、舞鶴、福知山で大雨洪水警報とか凄いことに成ってる。今日は降るとは言ってたが、またしても極端だ。雷鳴ってるぞ。床屋に行くとき傘を持って行かなかったが、大丈夫か？と思ったが幸いセーフ。傘を持ってなかったので緊急に必要なものだけでなくもう一つ買い物が出来て、伊右衛門も購入出来たのはよかった。明日は院試の面接がある。雨が上がってるといいが。まあ我々は学科長がいればどうにか出来るだろうが、学生が来られなかったりすると可哀そうだ。天気が荒れませんように。

などと書いてしばし。京都府南部に竜巻注意報が出た。京都市南部って山科は入るのか？京都市って結構縦に長いからな。左京区の北の端は福井県まで数キロしかない。まああの辺りは人は住めないだろうが。大抵毎晩深夜の内に翌日の飲み物を買いに行くが、今日はやめておこう。昨日ドラッグユタカで買い物をする羽目に成って、結構飲み物のストックが出来たし、明日は職場に行くから、住処の飲み物は充分だ。ということで今晩の外出はやめておこう。

処方箋を職場に忘れてきて、駐車場代を無料にするために仕方なく買い物

昨晩は割と早目（普通の人にとっては十分遅いが）に寝て、今日は正午のちょい前くらいに起きた。でシャワーを浴びてから出発。草津田上インターを降りて、一路はま寿司へ。1時ちょいに着いたが車が一杯停まってる。混んでるか？待たされるか？と思ったが、カウンターは待たされない。テーブル席が空くのを数組待っていたように見受けられた。銀鮭、秋刀魚、ズワイガニなど、期間限定のものが色々あって嬉しい。あっと言う間に1000円を超えたので、そこいらから100円皿やらで調整して、丁度2200円。満足。

表は無茶苦茶暑く、南草津のはま寿司は平屋で、駐車場は完全屋外。山科のはま寿司は2階が店舗で、駐車場の半分以上はその下。ということで車の中は当然無茶苦茶暑くなるが、銀色のあれ（何て言うの？）を置いておいたので、我慢出来る程度の暑さ。ハンドルもすぐ持てる。で2時前に職場に到着。ウェストウィングの近くに停められないか？と行ってみるも駄目だった。一方通行なので一旦外周道路に出て、生協とフォレストハウスの間に停められないかと思ったら1台分空いてた。嬉しい。一番大きい駐車場からウェストウィングまでに比べると、距離は半分くらい。で何とか無事に個研室に辿り着いて、ほっと一息。保健センターに行かないといけないので、その前にちょっと計算を仕掛けて、1階へ降りる（保健センターはウェストウィングの1階にある）。ちょっと血圧が高目。最近薬をサボり気味だ。気を付けないと。運動不足と夜更かしした時にカップラーメンを食べてしまったりするせいか、体重が少々増えてた。まあ織り込み済み。処方箋を貰って終了。

個研室で30分くらいボーっとしてたら会議の時間。今日はちょっと時間の掛かることがあったので、大変。来年は小生がやらないといけないので、勉強しておく。で大体済んだ後、AI がどうしたとかそういう話に成った。小生 AI には全く興味が無いので、嫌で仕方なかった。5時半くらいには終了したか。

部屋に戻ってパソコンを見ると、計算が終わっていた。何をしていたかというと、有理点探し。6年くらい前にちょっと今やってることの前段階である楕円曲線の有理点探しをしたのだが、Magma Calculator で見付からず、SageMath で色々パラメーターを変えても見付からず、でよこえもん氏に聞いたのが、彼も見付けられなかったという曲線だが、PARI/GP の ellheegner コマンドを使ったら1時間54分くらいで見付かった。素晴らしい。よこえもん氏に報告しておいた。その曲線の整数点が無いのを示すのに Mordell－Weil 群を求めよう、ということだったのだが、実はこれある素数を法として考えたら解が無いことが分かってしまったので、今更 Mordell－Weil 群を求める必要は無いのだが、まあ気に成ったので。その後事務に有隣社で買った本の伝票を回して、とかやってる内に7時くらいに成っていた。薬を処方してもらわないといけないので、急いで帰途につく。色々熱中してやっていたせいで悲劇があとで起こる。

今名神で集中工事をしているので、草津JCTから瀬田東まで一部車線規制をしていたが、特に渋滞することもなく山科に辿り着いた。でドラッグユタカの駐車場に車を停めて、鞄から処方箋を取り出そう、としたら、何と無い。上の書きようでお分かりの通り、一旦個研室に荷物を置いてから保健センター行った。鞄を持っていけば処方箋を貰ってすぐしまうんだが、鞄を持ってなかったので、個研室に着いてからどこかに置いた記憶がある。鞄に入れた記憶が無い。阿呆や。駐車場は買い物をするなりしないと有料に成ってしまうので、ちょっと買い物をした。幸い資源ゴミの袋が切れそうなのと、目薬が底をつきそうなので。歯ブラシを買っておくのを忘れた。まあいいです、後でセブンイレブンで買えば。明後日職場に行くが、処方箋を持ってくるのを忘れないようにしないと。処方箋は発行日を含めて4日有効なので、明後日取ってくれば大丈夫。絶対に忘れないようにしないと。

夕食は和食さとでと決めていた。割引券を沢山貰ったので。10％引きの券を使って特上鰻重を食べようと。通常だと5000円を超えるが、流石10％引き、5000円でお釣りを貰えて嬉しい。

8時台に帰宅したので、野球を途中から見ようと。職場で見た時は1点先制されていたが、見た時は1－1という状況だった。がその後ロクでもないことが。8回裏ルイーズが先頭から2者連続四球で走者をため、野間がヒットでノーアウト満塁。佐々木がショートゴロを打ったが、何と宮下がトンネル。2失点。まあ宮下は仕方ない。ルーキーだ。問題はやはり大事場面でストライクの入らないルイーズ。助っ人外国人と称される筈の選手がこの体たらくでは。守備も緊張感切れるよ。貴重な外国人枠を使ってこんな内容の投手を一軍に置いておいて、挙句がこれでは。ルイーズは過去にも何度かこんなことがあった。MLB での実績はあるのだろうが、もう使わないで欲しい。9回表に1点取ったが連敗。幸い Swallows が負けたのでまだ3位のままだが、Swallows と0.5ゲーム差、その1ゲームしたが Dragons、ゲーム差無しで Carp と、一歩間違えば最下位だ。明日は勝たないと。それに Tigers と Giants が1.5ゲーム差に成ってる。昨日にもマジックナンバーが点灯すると言ってたが、結構際どい。明日は Tigers が勝つ（⇔ Dragons が負ける）、Baystars が勝つ（⇔ Tigers が負ける）と成って欲しい。Swallows と Giants はどっちが勝たれても困るが、まあ Baystars が自力で勝てば3位は安泰なので。今スケジュールを見たら、金曜日から甲子園で Tigers vs. Giants だ。久々の甲子園でのプロ野球。Tigers には3タテしてもらいたい。そうしたら絶対マジックナンバーが出るだろう。やはり明日は Giants が負けた方がいいな。

今日の野球のニュースは涌井が松坂大輔の勝ち星に並んだのと、Marines の益田が800試合登板（9人目）。2人共息の長い投手だ。もっと活躍してくれ。ただ涌井は Baystars 戦では活躍しないでな。

6点リードで楽勝ムードが、1イニング8点取られて負けるというとんでもない試合

ゴミの分別しながら呑んでいたが、段々記憶が怪しくなっていった。出すべき資源ゴミは全部出したが、保険会社に送り返す書類のことを完全に忘れていた。さっき見たら、住所、勤め先、家族の有無などの変更が無ければ、署名して封入してポストに入れれば終了のようなので、ちゃちゃっとやっておいた。暑くて一番近いポストまで行くのが嫌だったので、後で行く。また熱帯夜らしいから、暑いことは暑いだろうが、昼よりははるかにマシなので。

で起きたらもう結構遅い時間。ちょっとウダウダやってたらあっと言う間に野球の時間に成った。5回表終了時点で6－0と楽勝ムードかと思われたが、油断は禁物。深沢は自身5連勝が見えて調子に乗ったのか、佐藤啓介にプロ初ホームランを献上。こういうの多いんだよな。すると Carp 打線が勢いに乗ってしまい、深沢は勝ち投手の権利を得る目前でノックアウト。その後投手陣が滅多打ちを食らい、何と5回裏に8失点。5回6失点の床田に勝ち投手の権利が転がり込むという、とんでもないことに成った。8点目は吉野のボークによるものだったが、1点取り返して7－8に成っただけに余計だった。結局負けてしまった。今日の開始時点で Baystars 3位、Carp 6位だが、ゲーム差は3.5だったらしい。今日は4位 Swallows が負け、5位 Dragons と6位 Carp が勝ったので、3位 Baystars、0.5ゲーム差で4位 Swallows、2ゲーム差で5位 Dragons、ゲーム差無しで6位 Carp と、下4チームが大混戦になっている。Baystars の借金は一旦5まで減ったが、今日の負けで10。むぅ。3位確保どころか最下位の可能性もある。どうにかしてくれ。明日は東だ。やってくれるでしょう。

明日は職場に行かないといけない。猛烈に暑いそうなので、行きたくないが、保健センター行と会議だから仕方ない。ドラッグユタカで薬を処方してもらうが、8時までに行かないといけないので、7時くらいには職場を離れる必要があるが、7時だと暑いだろうな。明後日は床屋に行きたいが、雨が降るようなことを言ってた。少し暑さは収まるらしいが、雨だと蒸すだろう。まあ仕方ない。で天気予報を見てたが、前の3か月予報だと残暑は去年程酷くないと言ってたが、今日の天気だと9月は高温傾向だと言ってた。まあ最悪講義の始まる頃に暑さが程々に成ってくれればいいです。ゼミの予定を決めないといけない。まあまだ9月に成ってないしもう少し先でいいか。火曜日は講義が2時55分からで、その後教授会だから火曜日はゼミは無理だな。月、木、金のどこかに成ると嬉しい。水曜日は会議が無ければ休みに出来る。2日行って1日休んで2日行く、というスケジュールだと楽だ。そうなるといいな。

魚の煮付けを食べたい

昨晩ちょっとぐちゃぐちゃと計算してたら色々示せた。が、途中で福岡で2年前に喋ったのの報告集に書いた証明に無駄があることに気付いてしまった。実二次体の基本単数のノルムが1であることを仮定しているのに、「N_k/Q(v)＝－1の場合」とか残ってて、阿呆この上ない。まあ雑誌に載った論文に間違いがあることはよくあることで、気にしても仕方ない。論文に載することが出来るような結果に成るかどうかは不明だが、もうちょっと考えて、論文にしたら無駄の無い証明を載せよう。でそんなこんなしてる内にまた朝に成っていた。

で起きたらもう午後。冷凍のパスタを温めて食べながら先週の「ゴチバトル」を見たり。途中凄い音で雷が鳴っていたが、表を見ると相当な雨降り。今日は降ると正木さんが言ってたな。今日の京都は38度くらい行くと言ってたから、大気が不安定だったようだ。あ、昨日日本で一番気温が高かったのは大津らしく、今日の大津は昨日よりも気温が高かったらしい。大津市の観測史上最高気温らしい。草津も似たようなもんだろうな。明後日は職場に行かないといけない。猛烈に暑いらしい。嫌なこったな。保健センターに行った後3時半から会議で、2時半くらいには保健センターに行った方がよかろうから、ウェストウィングの近くには停められそうもない。駐車場から歩くのを考えるとうんざりする。まあ仕方ない。

今日は野球が無いので、「帰れマンデー見っけ隊！！」を見ながらボーっとしていた。築地を歩いていたが、魚が旨そうだ。煮付けが美味しそうだったので、食べたくなった。大戸屋あたりに無いか？と思って大戸屋の店舗を検索したが、一番近いのは一里山のフォレオだ。鯖の味噌煮はあったが、鰈の煮付けのようなものは無さそうだ。近所にまだ行ったことが無いがその手の料理を出してくれそうな居酒屋（なのかな？）があるから、今度行ってみようか？生魚系のものでいいならはま寿司だな。水曜日ははま寿司に行ってから職場に行こうかな。

昨日書き忘れたが、りくりゅうが婚約したというニュースがあった。聞いた瞬間、まあそうだよね、と思ったが、当人曰く驚いたというコメントが少なかったのにビックリした、だそうだが、まあ世間の人は皆当然の帰結と思っていたようだ。こういう目出度いニュースはいい。日光で特急に保線員が撥ねられたとか、ヨーロッパの熱波で何人死んだとか、関東で未明に大きな地震があったとか、何か暗い気分に成るニュースが多い。気分を明るく保つにはいいニュースがあるといいね。

あ、明日は資源ゴミの日だ。今から分別作業をしないと。あ、生命保険の件で何か返送せよと言ってきてたな。面倒だが今から両方やるか。

高橋遥人の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日のローテーションではなかったということだろうな。名前を残すのでも記憶に残るのもいいことです。小生は何も残せそうにないが、まあその程度の人間だったということでね。一応人様から引用してもらえるくらいの論文は数本書いたのでいいでしょう。定年退職まであと数年。欲張らずに平和に過ごしますわ。

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時間くらいで降った（記憶が曖昧だ。違うかも）らしいから、大事だったろうな。もうこんなことは起こらないで欲しい。勿論京都、滋賀でもだが、日本のどこでも起きないで欲しい。日本は災害大国だから、どうなるか何とも言えないが。祈るくらいはしましょう。

昨日5発、今日4発で派手に打ち勝ってカード勝ち越し（Giants は Tigers に3タテを食らった）

例によって生活リズムはガタガタなわけでだが、寝ようかと思ったところでコンピューターから不穏なメッセージが。Windows update をしたがってる。強制再起動はしないようにしたつもりだが、うまくいってるか自信が無い。2度再起動要請を断ったが、それっきり言ってこなくなった。それでも再起動されたら有理点探しがおじゃんだぞということで、頑張って起きてることにした。書き散らかした紙を片付けるために頑張って TeX 化しよう、ということで、3次多項式 X³＋pX＋q の判別式の計算を書いた紙と睨めっこしながら入力を始める。が、途中でもう少しうまく出来ることに気付いた。p が括り出せる列が2つある。それと4次の行列式を2次の行列式4つにブロック分けして、左下のブロックが零行列に出来るよう変形出来ることにも気付いて、計算をやり直したり。結構時間が掛かった。その後本当に根の差積の2乗を計算してみようと思って始めたが、面倒そう。が、ここで気付いた。職場で計算した紙の裏（表？）が Knapp の楕円曲線の本のコピーで、そこに楕円曲線の判別式のことが出てて、でまさに X³＋pX＋q の判別式の計算が出ていた。その紙を探すより見ないで再現してみようと始める。差積と言えばヴァンデルモンドの行列式で、それの2乗の片方を転置してやるとうまいこと x＋y＋z, x²＋y²＋z², x³＋y³＋z³, x⁴＋y⁴＋z⁴ だけで行列式が書けて、でこれは全部対称式だから基本対称式で表せて、とか書いてあった筈。で始める。x²＋y²＋z² を基本対称式で表すのは前にやったことがあったが、3乗と4乗は初めて。が前より勘が働くようになってきているので、こうやれば出来るっしょ、とやったら、何と一度も計算ミスをしないで出来てしまった。珍しくコンピューターに頼らずに。結果が合ってるかどうかは SageMath で確認したが合ってる。素晴らしい。腕が上がったものだ。で気分を良くして有理点探しの様子を見ると、何と見付かっていた。11日の14時8分に始めて、今朝10時31分に終わっていた。ざっと44時間半だな。まあこれくらいなら。が、残ってるのは canonical height の予想される値が500を超えたもの一つと、他は 800、900を超えたものばかり。Windows update をしてもらおうと一旦再起動して、で新しいのに取り掛かろうかと思ったが、まあ休んでもらいましょう、と電源を落とした。

で昼飯を食べてちょっと寝床で YouTube を見たりとかしたが、眠くならない。4時くらいに起きて、昨日の「ミラクル9」の2時間ものを見ることにした。面白かった。水がいいと美味しい飲食物、というのの3位にかき氷が入っていて、そりゃそうだ、と小生も出演者一同も言った。で一つ残って解答権が移って、開いたパネルの一つに蕎麦があったから、饂飩だろう、いや素麵だろうと意見が割れて、饂飩が大方の意見だったが有田キャプテンの一存で素麺にしたら、何と正解。無茶な場面でもリーダーシップを持ってやると上手くいくことがあるというのの好例だな。変な言葉だが「最大公約数的な意見」を採用するのばかりがよいことではないということだ。面白かった。

でもうほぼ6時。有理点探しを仕掛けてからチャンネルを J SPORTS 2 に合わせて野球観戦開始。1回表に早速筒香のソロホームランが飛び出して先制。がすぐ1回裏に上林のソロホームランで追い付かれる。上林は開幕前に怪我をして、今シーズン初打席だった。が4回表に宮崎の犠牲フライ、6回表に牧、筒香の2者連続ソロホームランで突き放す。Baystars の先発は深沢で、プロ初勝利から4登板目で4勝目を目指すということで、上林の一発を除けば快調な滑り出し。が6回裏に大ピンチ。2アウト1、2塁。細川が高いフライを打って捕手が捕球体制に入るも、何やら変な捕り方をしたと思ったら、天井に当たったらしい。バンテリンドームのルールで、ファールゾーンで天井に当たったらファールらしい。で細川は生き延びて四球を選んで2アウト満塁。がこのピンチで石川の当たりはライトフライで助かった。ピンチの後にチャンス有り、という昔から言われるフレーズがあるが、深沢の代打で出た勝又がホームラン。勝又はもうちょっとで規定打席というところまで来ていたが、それが気に成ったかそれとも長丁場の疲れか、8月の打率は2割を切っていて、最近はスタメン落ちすることが多くなったが、こうやって当たりが戻ればまたスタメンで使ってくれるかもしれない。打率はまだ3割を超えてる。頑張れ。その後どちらも点が入らず、5－1で勝利。深沢は4勝目。Baystars はこの3連戦でホームランを10発打ったそうだ。今日は筒香が2発と、牧、勝又が1本ずつ、昨日は牧とエンカーナシオンが2発ずつと度会、一昨日は宮下。バンテリンドームにホームランテラスとやらを付けてホームランを出易くしたが、ホームランテラスに飛び込む当たりが多かったので、Dragons にとってはマイナスに働いてる。点が取れなくても抑える芸風だったのでは？昨日は細川も2発打ってるから、1試合で7ホームラン。勿論球場初のことだそうだ。

さて Giants vs. Tigers はどうなってる？途中経過では Giants が1点リードしていたが、その後の情報だと Tigers が1点リードに変わっていた。Giants が中山の2ランホームランで先制したが、佐藤輝明のソロホームランと坂本の2ランホームランで引っくり返したという、いかにも東京ドームでの試合という感じの試合だ。この3連戦は、1戦目は森下の2本と佐藤、2戦目は佐藤の2発と森下、で今日は佐藤、坂本。Dragons も Giants もバッテリーは反省した方がよいのでは？森下と佐藤のホームラン数は結構離れていたと思ったが、1本差に成っていた。佐藤は昨日のホームランが150号だと言ってたが、牧も負けてないよ。牧と佐藤は今年7年目だが、牧は去年は怪我で16本だったが他の年は全部20本超えで、135ホームラン。2人で切磋琢磨するといいね。あ、結局 Tigers が勝って、Giants にとっては東京ドームで3タテを食らうという屈辱が待っていた。この2チームが3ゲーム開いたのは今シーズン初らしい。鈴木孝政さんが「3ゲーム詰めるのには1か月掛かると言ったもんです」と言っていた。剣が峰だな。明後日にも Tigers にマジックナンバーが点灯するそうだ。条件は複雑なので書かないが。

さてハイなためか大して眠くない。350cc のビールが二缶あるが、開けようか？今晩はちゃんと寝ないと。Windows update は暫く心配ないだろうから、canonical height が573くらいの点が見付かるまで気長に待とう。さっき兄者から電話があったが、お盆は帰ってくるか？との問い合わせ。コンピューターの前を離れたくないので、帰らないことにしていたが、兄者は忙しくて、帰ってこられても困るようなことを言ってた。横浜市の地方公務員が、近い内に札幌だ名古屋だ大阪だと出張しないといけないらしい上に、親父殿の部屋のガス湯沸かし器がいかれたらしく、シャワーを浴びることが出来ないとか。年末年始はちょっとくらい帰るつもりにしていたが、冬にお湯が出ないんじゃな。親父殿が死んだら世帯主がいなくなるので、直しても仕方ないしな。まあその時に考えればいいことにしよう。

千葉は凄い雨らしい。NHK の9時のニュースの殆どの時間をそのニュースに使ってる。やはり異常気象なのだろうな。桑原桑原。

6－3で勝った（6得点中5点がソロホームラン（度会が1本と牧、エンカーナシオン2本ずつ））

ペットボトルと定期購入している野菜ジュースの空き缶が部屋に散乱しているので、沢山捨てようということで結構捨てたが、まだ大分散らかっている。ペットボトルのラベルは剥がさないといけないよねということで一生懸命やったが、面倒臭い。で買ってきたゴミ袋を全部使ったが、まだ大分散らかってる。また来週やる。でダラダラとやってる内にまた変な時間に成っていた。

で昼を大分過ぎたところで一旦起きて、冷凍食品を温めて食べて、とかウダウダとやってたが、眠いぞ。生活リズムがガタガタだから、ちゃんと疲れが抜けていないのだろう。まあ普通に生活していても起きて暫くは目が覚めないよね、ということなのだろうということであまり気にしてない。もう一寝入りした。

で野球が始まるくらいに起きる。昨日 Dragons に負けて3ゲーム差に成っていたので、今日は勝たないと。が、東が1回裏に細川にソロホームランを打たれて先制されてしまう。む。しかし今日は一発攻勢。3回表に7月の月間MVPを受賞した牧がソロホームランを打ち同点にし、4回表にエンカーナシオンのソロホームランで勝ち越し、5回に牧のタイムリーヒットで追加点、6回表にエンカーナシオンがもう1本と、4イニング連続1点ずつ取った。9回表に度会と牧にソロホームランが出て5点差。今日はレイノルズの出番は無いな、という感じで9回裏は浜地がマウンドに。が1アウトから細川にどでかいホームランを打たれた。今日の7本のホームランの内の去年のバンテリンドームだったらホームランに成ってないのが半分以上だが、細川の2本目は去年まででも入ってる文句の無いホームラン。で何とか2アウトまで行ったが、石川にヒットを打たれて結局レイノルズが出てくることになった。まあ浜地は打たれたが、こんなこともあります。でレイノルズが石井を三振に斬って取って試合終了。連敗はしないで済んだ。Swallows が一方的な勝利だっただけに、ここで差が縮まらなかったのはよかった。

首位攻防戦は今日も Tigers の圧勝。高橋遥人と井上温大の「はると」対決だったが、Tigers は去年井上に結構やられていて、片や高橋遥人は最近失点が多目で、疲れていると解説者が言っていたので大丈夫か？と思ったが、心配なかった。1回に佐藤がタイムリーヒット、大山犠牲フライで2点先制し、3回には森下、佐藤のアベックホームラン、7回に佐藤がもう一本打ってと、圧勝。高橋は6回をソロホームラン1点に抑えて、12勝目。何でも明日 Tigers が勝って、金曜日からの Giants の Carp 戦との結果次第で15日も Tigers にマジックナンバー点灯とか。理想は Baystars の優勝だが、関西に25年以上住んでると大分 Tigers にも愛着が湧いてきて、Baystars が優勝しないなら Tigers の優勝がいいと感じるようになってきた。まあ Giants が優勝しないのと嬉しいのは昔からなので、Tigers がリーグ優勝するのが今年のベストな 結末だ。で CS を Baystars が勝ち抜いて、日本シリーズで優勝、と成るといいな。

演習問題にしようと思って考えた問題を TeX 化してストックしてある。で昨日の晩「これは成り立つんだったかいな？」と気に成ったことがあったが、問題集を引っくり返したら示してあった。こうやるのか、と感心したが、これ自分で証明考えたのかな？というくらい上手く証明してあった。まあ多分何かの本から引っ張ってきたのだろうな、と思うが。まあ何もかも自分で考えないといけないということはないので、調べておいて学生から聞かれたらさも自分で思い付いたかのように話すと恰好いいのでよい。ストックは増やし続けるよ。

御巣鷹山に日航機が墜落したのは41年前の今日だったしい。高校3年の時だな。兄者が鹿児島から帰省していて、飛行機で鹿児島に戻るのをお袋が大丈夫か大丈夫かと心配していたのを思い出す。月曜だったな。中島みゆきの「オールナイトニッポン」が放送中止で、次の週に中島みゆき曰く、その日は録音で、いつもの通りの超ハイテンションだったが、大丈夫かと心配に成ったそうで、放送が無くなってむしろホッとしたと言ってたのを鮮明に覚えてる。まあ人の命を預かる公共交通機関はちゃんとしてくれないと。昨日 NHK で東海道新幹線のメンテナンスの様子をやってたが、凄く丁寧というか慎重というか点検、メンテナンスしていて感心した。運転手も大変だった。そう思い出した。山科の夜の街で新幹線の運転をしている人と知り合いに成ったが、その人は何とその仕事を辞めて、山科で食堂をオープンした。彼が料理するわけではなく、料理人は雇っていたが。美味しい店だったがちょっと場所が悪かったか、何年もしないで閉めてしまった。彼は新幹線の運転手を投げ出してしまったわけだが、今どうしてるのだろうか？開口のマスターも脱サラ組だが、開口は大丈夫そうだ。久し振りに顔を出さないと。野球があるシーズンは中々夜の店に行けなくて申し訳ない。オフシーズンに一度顔を出しておこう。

この前は好投の尾形は審判の謎の判定に惑わされて乱調

今日が資源ゴミに日だったのを呑んでる最中に思い出して、分別作業をしたりと色々。が、途中困ったことが。鍵が見付からない。いや、部屋の鍵はスペアが大量にあるのだが、いつもの鍵は郵便受けを開けるのに使えるのに対し、予備の鍵でそこが開けられないものばかり出てきて困ったのだ。前にその鍵も出した筈だが。どこへ行った？と必死に探して、まさかジーパン（死語）のポケットに入ってるなんてことはないよな？と思ったらあった。阿呆や。まあいいです。で段ボールを幾つかとアルミ缶と計算用紙など結構出して、で大分片付いたかというとそんなことはない。蟻地獄なのでね。明日は缶・瓶・ペットボトルの日。ゴミ袋をこの前使い果たしたから、買いに行かないと。明後日は普通ゴミの日。少し頑張って片付けようか？やらないな。いざとなると面倒になってしまう。まあいつかはやりますよ。

でいつ頃寝たかよく覚えてないが、11時過ぎに一旦目が覚めるも、酒が残ってるような感じなのでもう一度寝た。で次に目が覚めたのは2時過ぎだが、そこで気付いた。今日は祝日じゃないか。野球はデーゲームでは？バンテリンドームだし、と思ってスマホを見ると、やはりそうで、もう始まっていた。が、今度はケーブルテレビのチューナーのリモコンが行方不明。中途半端に片付けたせい。パソコンで経過を見ると、1回表で走者が二人出てる。大野雄大が四球を二つと、珍しいことが起きたようだ。点を取らないと、と思ったが、二者残塁で攻撃終了。でリモコンは5分弱で見付かったので、電源を入れて、チャンネルを J SPOTRS 2 に合わせる。Baystars の先発はこの前の登板では7回無失点と良かった尾形。1回裏は三者凡退に斬って取り、2回裏1アウトをあっさり取ったが、そこから崩れた。石伊にタイムリーヒットを打たれたのはまあいいとして、大野雄大に2点タイムリーヒットを打たれたのはいただけない。今日は解説の権藤さんも Facebook 上でも言われてたが、球審の判定が変だ、と。どうも父親が Dragons でプレーしていたんだったか何かの関係者だったのか詳しいことは忘れたが、Dragons 寄りの判定をすることが多いと言われている人のようだ。本来なら大野は三振で終わっているのでは？と Baystars 応援ページは随分荒れていた。3回裏の押し出し四球も判定に随分文句が書き込まれていた。ということで尾形は2回1/3を4失点。まあこんなこともあります。5回表に度会がタイムリー2ベースヒット、6回表に宮下がソロホームランを打って2点差にしてさあ、というとこで4番手の坂本（今日一軍復帰）が満塁からタイムリーヒットで1点取られて、もう駄目だな、という感じに成ってしまった。権藤さん曰く Baystars の投手陣はコントロールが悪いと。確かにしょっちゅう3ボールに成っていたし、それで押し出しだったり、えいやと放った甘い球を打たれたりとそんな感じだった。権藤さん曰くどっちが3位でどっちが5以下分からない試合運び。まあ今日は仕方ない。明日は東だ。やってくれる。

途中 Giants vs. Tigers をパソコンでちらちら見ていたが、Tigers が猛攻。3回表に近本、森下のソロホームランで2点リード、4回裏に Giants が1点取り返すも、6回表に前川（まえがわ）がタイムリー2ベースヒット、元山が2点タイムリー3ベース、近本の時にワイルドピッチでもう1点。7回表に森下が2本目となるソロホームラン、9回表に佐藤輝明が看板直撃の100万円弾を放ち一方的。これで Tigers が単独首位。Giants が落ちてくると嬉しい。どんどん負けてくれ。

有理点探しは続行しているかと思ったら、実は終わっていた。別の窓で作業をした時に PARI/GP の窓で誤操作した記憶があった。同じ計算を二回繰り返させていた。気付いてよかった。今回は約26時間で終了。Canonical height は160ちょっとだが、こんなに掛かるか。早速次のを始めたが、今度は canonical height は240くらい。どれくらい掛かるでしょうか？

台風は夜8時過ぎに茨城に上陸したそうだ。今日は関東は荒れるということで、神宮での6時からの試合は昼2時の段階で中止が決定していた。明日はどうなのだろう？Giants vs. Tigers は東京ドームだが、あそこはエアドームで、屋根が柔らかく、吊るしてあるスピーカーが落下する恐れがあるという理由で中止に成ったことがあった。明日の天気次第では天王山は中止かも。まあ楽しみは最後まで残った方が面白いか。いや、それより明日は近畿は結構荒れるようなことを言ってた。ゴミ袋を買いに行くが、ついでに食料も確保しておこう。荒れた天気の中では Uber Eats の配達パートナーは出歩かないだろうし。ふなごやの店長が言ってたが、台風の日に店をやったことがあったそうだが、客は全然来ず、Uber Eats 経由での注文はあったが、配達パートナーが全然来なかったそうだ。暑い中来てもらったことはあるが、まあ暑いのはどうにかなるとしても雨風はどうしようもないだろう。明日は外出もせず住処で大人しくしているとしよう。

横浜 vs. 沖縄の王者対決は横浜が制した

何かだらだらと起きていてしまうな。相当変な時間まで起きていた。やってることは極めて生産性の無いこと。まあ無駄なことをしないと人生面白くないので。が一ついいことが。6時9分に有理点が見付かっていた。5日の19時47分に始めてるから、ざっと4日半。見付かった点の canonical height は280くらい。Height のでかい奴は後回しにした方がいいな、ということで、一つ予想される height が180くらいのがあるので、それを仕掛けておく。開始時間が6時37分と、Q(√37) の基本単数を 6＋√37 が連想されて楽しい。これのトレースが偶数だったお陰で論文が書けた。寺井さん様様だ。そう言えば11月に沖縄で開かれる寺井さん主催の研究集会の案内が来ていたが、どうしようかな。11月21日、22日、23日の3日間だが、23日は月曜日で、どうせ祝日を潰して講義せよとのお達しがあるだろうし、20日金曜日は講義があることが確定していて、終了後飛ぶのは慌ただしい。ましてその時間にゼミをやることに成ってしまうとな。参加登録の締め切りは秋学期が始まってからで、それまでにゼミの予定が固まるから、それを考慮して考えよう。毎年九州の集会は8月だったが、8月の沖縄は暑くて台風が襲来するということがあるから11月にされたようだが。うちの大学のスケジュールだと動きづらい時期だ。あ、特別入試の日程はどうなっていたかな。22日にやると沖縄に行けば逃げられるが。確認しておこう。

台風と言えば、茨城に上陸するようなことを言ってる。史上初らしい。変な進路なのは温暖化の影響なのだろうか？大きな被害が出ないといいが。台風の影響は近畿にもあって、今晩は熱帯夜に成らないらしい。明日は猛暑日に成らず、明後日は何と真夏日にも成らないらしい。さっきちょっと表に出たけど、結構涼しかった。たまにはこんな日もないと。去年だったか大宰府で2ヶ月くらい猛暑日が続いていたが、今年はどうなのだろう？世界的に暑いらしいからね。韓国が40度超えた日があったそうだが、11年前韓国行った時は、暑くなくていい所だ、と思ったが。関空に着いて表に出たらうんざりした。まあ韓国は冬はとっても寒い所のようで、秀吉の朝鮮出兵の時も冬に兵士が苦労したという話がある。夏暑くて冬程々なのと夏涼しくて冬激寒なのとどっちがいいのだろう？夏に成ると涼しい所がいいと思うし、冬に成ると温暖な所がいいと思うし、身勝手だな。

今日の高校野球は横浜 vs. 沖縄尚学という、センバツの王者と去年の夏の王者が1回戦の試合。籤とは不思議なものだな。こういう実質上の決勝戦みたいなのが1回戦とは。結果は横浜が7－2で勝利。京都代表の立命館宇治も滋賀代表の八幡商業も負けたから、もう横浜一択で応援だな。

さっき調べたら、うちは今日から一斉休暇期間に入っているようだ。1週間くらい学内は閑散としているだろう。生協の無人店舗は閉まってるのだろうか？だとするとうっかり行ってしまったら大変だな。院生はどうしてるのだろう？自宅の冷房代を節約するなら食料持参で大学に行くのがいいのかな。小生は多分最終週の保健センター行と院試面接以外は行かない予定。気が向いたらうな松には行くかもしれないが。のんびりしますわ。

二日続けて筒香、エンカーナシオンが活躍して、Swallows とのゲーム差が2に開いた

ふなごやの前に車が停まっているということは、バイトの人が仕事帰りに直で駆け付けたということで、人が一杯か？と思ったら、ほぼ全て帰られたそうで、二人おられただけだった。ということでバイトの人は呑む前に一旦車を戻しにいかれて、店長は洗い物やら何やらと忙しそうだった。で暫くしていつもの3人モードに成ったので、美味しいワインを呑んできた。瓶に数字の1が大きく書いてあって、下に「UNO」と書いてあった。UNOは1という意味だったな。で Facebook に上げたら、UNO と聞くと Dragons にいた宇野（ショートフライをヘディングした珍プレーで有名）と、宇野元総理を思い出すと卒業生が書き込んでた。宇野元総理は滋賀の出身だったな。近江八幡だったか？で例によって途中から記憶が無い。起きて冷蔵庫を見ると、生茶のペットボトルが冷えてたが、50円引きのクーポン券で買ったのだろうか？と思ってレシートを見ると、使ってなかった。生茶を買おうということは何となく覚えていたのだろうが、クーポンを使うことが完全に抜けていたようだ。まあいいです。

で帰ってきてすぐダウンしたようだ。テレビが付けっ放しだったようで、あまりよく寝られなかった。昼くらいに起きて、で Uber Eats のアプリを開いたら、餃子の王将京都東インター店が一覧にあった。普段は無いんだが。山科駅前の王将にはキムチ焼き飯が無いが東インター店にはある。ということでキムチ焼き飯とニンニク激増し餃子を頼んで食べた。でやはり眠いので、寝床でウダウダと。またしてもテレビを消し忘れた。高校野球の音声が聞こえてきた。八王子実践高校がいい試合をしていたが、放送が終わった。ということはそろそろプロ野球の時間だな、と起きた。

今日も Carp と横浜スタジアムで。昨日ふなごやでハラハラしながら様子を見ていたが、12回表を0に抑えた時点で引き分け以上が確定で、Baystars の3位浮上確定。よしよし、などと思って見ていたら、何と12回裏に筒香がサヨナラホームランを打った。素晴らしい。で今日も接戦。ルーキー片山が2回裏に1アウト満塁のピンチを作るも、打順がよく8番、9番を連続三振に斬って取り無失点。打つ方が鈴木健矢に3回までノーヒットに抑えられる。四球一つと内野のエラーの走者だけ。が、4回表に筒香がソロホームランを打ち先制。出場した試合は4試合連続ホームランらしい。筒香が乗ってくると上げ潮ムードに成る。片山は6回無失点。6回裏にチャンスを作るも、エンカーナシオンが打ち取られて無得点。7回裏のチャンスも宮下が打ち取られ無得点。もう1－0で勝っちゃいましょ、という感じだが、8回表にピンチ。1アウト1、2塁。がここでビッグプレーが。2塁走者の辰見（珍しい苗字）が3盗を試みたのを松尾汐恩がストライク送球で刺した。で無失点。すると8回裏にチャンスが。1アウトから度会四球、牧2ベースヒットで2、3塁。牧は昨日のサヨナラのチャンスで力みかえって決勝打を打ってなかったが、こういう場面では力が抜けているのか好結果が多い。さあ筒香だ、とこっちが力みかえっていたが、内野ゴロ。3塁走者の度会が粘って3塁に戻って、2塁走者だった牧がアウト。度会が粘ったお陰で筒香が2塁に行けた。それが効いて、エンカーナシオンが2点タイムリーヒット。さっきはチャンスを活かせなかったが、まあ野球は3割打てば上等な競技なので、エンカーナシオンは流石というところを見せた。9回は3連投のレイノルズが三者三振の快投を見せて、Carp を3タテ。Swallows とのゲーム差が2に広がった。よしよし。ヒーローインタビューは筒香、エンカーナシオン、片山。気分のいい勝ち方だった。

Swallows とのゲーム差が2に広がった、と書いたが、これは Giants が勝ったということ。Tigers はどうなってる？と思っていると、放送中に他球場の経過が入ってきた。1－0でリードしている、とのこと。おぉ、と思って Yahoo！の速報の頁を見ると、試合は終わっていた。そのまま1－0で勝利。ヒットの数を見ると、Dragons は10、Tigers は2。何度も書いてるが、ヒットの数を競うスポーツではない。1回に森下が2ベースヒット打った後ずっとノーヒットだったようだが、もう1本のヒットは6回の近本のソロホームラン。これが決勝点だったというわけ。今日は甲子園が使えないので京セラドームでの試合で、ユニフォームには OSAKA と書いてあった。Giants に単独首位に成られなくてよかった。

NHK では11時から海外ドラマがやっているが、今日は終戦を主題にしたドラマをやってる。池松壮亮と仲野太賀（当時の芸名は太賀）が出ててビックリした。16年前のドラマだけあって、二人とも若い。背の高さが大体同じで、秀吉、秀長の兄弟をやるにはぴったりだが、この頃から共演したドラマがあったんだな。このドラマではクラスメートのようだ。戦争とは残酷なもの。もう起きないで欲しいが、アメリカとロシアのトップがあんな調子だから、まあまだあるだろうな。日本が平和だといいが。2人が今やってる大河ドラマも狭い日本で延々戦争をしている。英雄だ三英傑だと言ってるが、何のことはない人殺しだ。面白がって見てるが、あの時代に生まれたら大変だったろうと思う。平和が続きますように。

Swallows が負けたので3位浮上のチャンスだが、7回表終了時点で1点リードされてる

また変な時間まで起きていた。で変な時間に起きた。食料の買い置きが無いので、Uber Eats に適当に頼む。で野球が始まる前に買い物をしてついでにマツヤスーパーの京都銀行の ATM でお金を卸して、のつもりだったが、何か眠い。変な時間に寝起きすると睡眠が十分にとれないという説があるが、そういうことだろうか？

幸い野球の始まる前には起きられた。寝癖ボーボーなのでシャワーを浴びて、で野球が始まってしまったので、1回裏まで見たらお金を卸しに行こうということで向かう。京都銀行には一時結構な額が入っていて、その時に上得意様ということで時間外手数料が無料に成ってる。嬉しい。今は5桁程度の額しか入ってないが。で DCM で買い物をして、ジハンピアプリの使える自販機でいつもの通り伊右衛門を買って帰宅。

帰ってきてテレビを付けると、0－0 のまま。で4回裏に佐野のタイムリーヒット、5回裏に度会のタイムリーヒットで2－0 に。が、その後牧野2塁打で1死2、3塁も、筒香のセカンドゴロで度会が本塁に突っ込んで憤死などで追加点が取れず。そういうことをやってると点を取られる。篠木が2者連続四球で走者を溜めてしまい、松本凌人と交代。嫌な情報。先週の土曜日の Giants 戦で6回にまとめて7点取られて、松本がリリーフで出たが、大量点を取られた、という話。今日も篠木が6回途中で交代で、松本に代わったが、松本は犠牲フライと押し出し四球。追い付かれた。慌てて伊勢に交代。で伊勢は流石。粘る菊池を見逃し三振に斬ってとった。ただいま6回裏が終了したところ。今日も最後まで見られそうにない。Swallows が負けたので、Baystars が勝てば3位浮上。引き分けでもいいのか。いや、勝とう。Swallows が負けたというのは Giants が勝ったということで、Tigers がどうなっているか気に成るが、見ると7回表で1－7と6点リードされてる。また Tigers と Giants が並んじゃうな。まあいいです。今日は Baystars が3位に上がるために Giants が勝ってくれたというこで、明日は Swallows に Giants を破ってもらい、Tigers は再度の単独首位浮上ということで。ということで明日は Baystars は勝たないと。頑張れ。

一昨日の19時47分に始めた有理点探しは継続中。二日以上経ってる。この前のやつより予想される canonical height は小さいのだが、単純に height だけでは計算量は決まらないのだろう。導手も関係してるだろうし、途中でやってる計算に素因数分解とか類数の計算とかやってたら、それは時間を食うだろう。どういうアルゴリズムなのか一回しっかり勉強した方がいいな。まあキリが付いたらやります。

などと書いてる最中に坂倉にホームランを打たれた。中川虎大は春先良かったが、途中大分打たれ出して一旦抹消されたが、まだ本調子ではないか？まあまだ7回。ここは抑えて、残り3イニングの攻撃に期待しよう。と書いてる最中に7回表が終了した。どうなるでしょう？

などと書いてしばし。8回裏にエンカーナシオンのソロホームランで追い付いた。勝つぞ！見たいが呑みに行く。閉店ギリギリに行くのは申し訳ないので。料理を待ちながらスマホで観戦じゃ。

熊本代表の有明高校が立命館宇治高校に勝って、複雑な心境

また変な時間まで起きていた。呑まなかったけど。呑まない人には何故呑んでる最中に眠くならないか不思議、と言われるが、呑む人には何故呑まないで起きていられる不思議、と言われる。皆さんはどうでしょうか？

で正午を大分過ぎた頃に起きた。腹ごしらえをして、1か月以上前にやった「ダブルエッジ」という、織田裕二が車椅子の刑事を演じたドラマを見た。この前途中まで見たような記憶が微かにあって、で再生し始める途中から始まったから、見たのだろう。確かに最初の方はおぼろげながらに覚えてる。が、結局殆ど覚えてないので、もう一度最初から。結構面白かった。そうは見えないだろうが、小生と織田裕二は同い年。若い頃によくネタに使わせてもらった。「こう見えても僕は織田裕二と同い年だよ。伊集院光と松村邦洋も。な、ビックリだろう？織田裕二と伊集院光が同い年だよ」と推移律漫談。ついでに同い年の芸能人を挙げると、江口洋介、沢村一樹、佐々木蔵之介、天海祐希、飯島直子など。

でまだちょっと眠いな、とウダウダと寝床で過ごしてたら6時を過ぎてた。起きてテレビを付けて観戦開始。1－0に成ってる。1回裏に筒香がホームランを打ったらしい。が、その後2回から5回まで三者凡退に斬って取られる。平良は走者は出すが、4回表に1点取られただけと、投手戦の様相。で6回裏に宮下がヒットで出塁と、久々に塁上に選手を出して、平良が送って、度会がタイムリーツーベースヒット。7回裏はエンカーナシオン、宮崎の連打で無死2、3塁のチャンスを作るも2死に成り、 宮下が四球を選んで満塁も、代打佐野が凡退で無得点。追加点が欲しかったが、8回はルイーズ、9回はレイノルズと、一人ずつ走者を出したが無得点に抑えて、無事2－1で勝利。5安打で2点と7安打で1点でも勝ちは勝ち。得点の多さを競う競技で、ヒットの数は勝敗の行方には関係無いので。Swallows が勝ってしまったので、3位浮上はお預け。Carp は落ち目だ。明日も明後日も勝ちましょう。

今日の高校野球で一番注目を浴びたのが、熊本代表の有明高校の試合。被災地に勇気を、ということだが、相手は立命館宇治。どっちを応援しましょう？立命館宇治は打撃が売りらしく、3点リードするも、有明は7回に2点、そして9回二死から逆転。「報道ステーション」で一般ニュースのコーナーで取り上げられていたが、見てて有明が逆転したと聞いた時、おっ！と声を出してしまった。別に立命館宇治が負けてもいいぞ、と思ってしまった。で有明が勝ったと分かった瞬間、何か嬉しくなった。非国民の学校法人版だな。何というのだろう？昨日 Baystars は Tigers に負けたが、勝ち投手の大竹が熊本出身だと分かった時、何か嬉しくなったが、まあそういうことを感じる人は多いだろう。昨日も書いたが、昨日は原爆の日ということで Carp は勝たないといけなかったが。

野球が終わったらまた眠くなってきた。ちょっと寝たが、いかん「探偵！ナイトスクープ」が始まってると飛び起きたが、「熱闘甲子園」の放送が30分あるので、大丈夫だった。今一つ目のネタが流れてるが、流石は「探偵！ナイトスクープ」、面白いな。家を勝手に改造されて、お父さんは怒り狂うのでは？と思ったが、そうでもなかった。お父さんは大の「探偵！ナイトスクープ」好きで、過去に20回以上依頼を投稿しているそうだから、まあ許せたのかな。今日の特命局長はウエンツ瑛士だが、曰く今は関東ではテレビ神奈川（TVK）で土曜の正午に放送しているそうだ。小生がこっちに来る前は曲がりなりにもテレビ朝日で放送してたがな。その代わり時間がしょっちゅう変わっていて、一番酷い時は金曜の深夜3時27分からの放送だった。寛平ちゃんの視聴率調査を関東でしてた時はまさにその時間で、深夜の来客が不審極まりなかったろう。今はインターホンに顔が映るから、「あ、寛平ちゃんや！」となるが、当時は顔が映らないタイプが殆どだったから、インターホンが鳴って「あへです」と寛平ちゃんが言っても信用出来なかったと思うが。何にしても面白い番組なので、続いて欲しいものです。そろそろ局長を固定した方がいいとは思うが、人選に苦労しているのかもしれないな。特命局長制度はまあ面白いので、いいか。

1回表に7点取られたら、その後3失点に抑えても勝てないよな

昨晩はまた呑んだが、寝る前に余計なことが出来して、時間を使ってしまった。何かというと、TeX ファイルの一部が壊れていた。早稲田にいる頃に Emacs を使うのに慣れて、でマウスを使わないでもコピペとかカットアンドペーストとか検索とかファイルの保存、読み込みが出来るので、慣れると下手なエディターを使うより楽。で似たようなキーバインドの xyzzy というのを使っているが、キーボードでカットアンドペーストが出来るというのは実は怖い。誤操作をするとファイルの一部をゴッソリ消してしまう可能性がある。で今回もそうだったようで、プリアンブルの部分から数百行まとめてカットしてしまったようだ。が、幸いバックアップファイルが幾つも残っている（放っておくと拡張子以下に番号の付いたのがどんどん溜まっていく）ので、それからコピペして復旧させたが、何かエラーが出る。} が一個足りない、というメッセージだが、そうか？という感じ。でウダウダと暫くやって分からず、仕方ないから地道に \end{document} をどんどん上に上げていって（キーボードだけで出来るので楽）、どこでエラーが出るかをやってみた。すると、確かに } が一個無かった。{\allowdisplaybreaks の対の }% の } が無くて、%だけ打ってた。こんなことを見付けるために相当時間を使った。もう昼どころか1時を大きく回っていた。途中食事休憩はしたが、疲れ果てた。

で寝床へ向かう。何か変な夢を見た。何故夢ってえのはあんな変なストーリーに成るかな。よく知ってる人物も出てくるが、有名な俳優が知り合いだったり、架空の人物が出てきたり、筋は本当に訳が分からない。悪夢だな。睡眠をコントロール出来たらノーベル賞だな、と書いた気がするが、夢のことを解明出来たらやはりノーベル賞だろう。

で起きたらもう野球が始まっている時間だった。「3回を終わって8－2と Tigers が6点リードです」というとんでもない音声が聞こえてきた。この前はよかったビドだが、今日は1回表に打者11人攻撃で7点取られたとか。ロクでもない。2回で降板したが、5四球1死球はいただけない。昨日満塁ホームランでガルシアを調子に乗せてしまったか、今日は3ランホームランを打たれたらしい。救いは2番手で3回から登板した若松尚輝が4回2/3を1失点と好投したこと。ビドは2軍落ちで、次回は若松を先発させよう。1回を除けば5－3と勝っているので、1回が全てだったな。面白かったのは、エンカーナシオンが外野フライで凡退してパワーが足りないと思ったか、ベンチで腕立て伏せ（今時はパンプアップというらしい）をしたら次の打席で特大のホームランを打ったこと。レイノルズとエンカーナシオンがベンチの盛り上げ役に成っているようで、チームは暗くない。明日から Carp と3連戦。最下位に転落した Carp だ。叩いてやろう。Swallows がまた負けたので、ゲーム差無しのままだったのは救いだ。Swallows の失速は凄くて、自力優勝が無くなったらしい。酷過ぎるな。

今日は8月6日。ハムの日らしい（理由は自明）だが、もっと重要な日。広島に原爆が落とされたのが8月6日。で今日の Carp はマツダスタジアムで「ピースナイター」と称して、全員が86番のユニフォーム、選手名の所は「Hiroshima」と書かれたものを着ていたが、7回以降に7失点と投壊で、Giants に逆転されてしまったようだ。まあ今日は Baystars が Tigers に負けてあげた（負け惜しみ）ので、Tigers と Giants のゲーム差が1のままでよかった。明日からは Giants は Swallows 相手だが、悩ましい。Swallows が負ければ Baystars の3位浮上に繋がるが、Giants には勝って欲しくない。まあいいです。Baystars は自力で3連勝すればいいのだ。Tigers は自力で Dragons に勝ってもらいましょう。迷わず Baystars を応援すればいいのです。無心でいきましょう。

有理点探しだが、昼の3時半くらいに結果が出ていた。大体36時間。まあこれくらいなら。で次のを早速仕掛けたが、今度のは canonical height が280ちょっとと、前のやつ（325くらい）より小さいので、まあ1日半くらいで見付かるかな。200ちょっとと160ちょっとのやつがあるので、次はそっちだ。800だの900だのというとんでもないやつは後回しにしよう。それが済んだらもっとどうにか出来ないか考える。取り敢えずコンピューター君には頑張ってもらいましょう。しかし電気代の明細を見るのが怖いな。先月の半ばに試験監督をやったのともう1回月末に職場に行ったのと週末に呑みに行く以外はほぼ冷房を運転しっ放しだし、コンピューターも動かしたまま。幾らに成るでしょう？まあ5桁は確定だな。職場のコンピューターも援用しようか？いや、結果が出てるかどうか分からないのに職場に行くのは嫌だな。秋学期が始まった時に有理点探しが終わってなかったらそうしよう。取り敢えず住処のパソコンを走らせ続けよう。帰省はしなくてもいいや。帰っても親父殿の見舞いに行くくらいしか用事は無いし、食事をしに外出するのは面倒だ。住処で Uber Eats に頼って夏休みを過ごそう。まあ Uber Eats も金食い虫に成るが仕方ない。毎日インスタントものでは栄養的によろしくないし、暑い中食事に出るのは気が進まない。それくらいはいいことにしましょう。

高橋遥人を打ち崩し、ついに Swallows とゲーム差無し（Hawks にマジックナンバー点灯）

またしても訳の分からない時間まで起きてた。生産性が低過ぎる。が、一ついいことが。有理点が見付かっていた。30時間ちょっと掛かった。で新しいの仕掛けてすぐ寝る、でよかったんだが、さすがの「おはよう朝日です」でも度会の好返球は流してくれよう、ということで、スポーツニュースを見たりとか。でもう明るかった。

で2時前には目が覚めた。カップ麺をすすってからまた生産性の無いことをしていた。YouTube を見たりとかその程度のこと。であっと言う間に5時を回っていた。食料の買い置きが無いので、Uber Eats に何か頼もうということで、しばし思案して、から好しの唐揚げ6個弁当にした。5時くらいだとガストも道路も そんなに混んでないだろうから、割と早く届いた。まだ唐揚げは十分温かった。

で食べてる内に5時45分に成り、野球開始。Baystars の先発が東、Tigers が高橋と、ロースコアのゲームに成るか、と予想されたが、2回表に2点先制されてしまう。む、という感じだが、2回裏にエンカーナシオンがヒットを打ち、続く筒香が同点ホームラン。1アウト後関根が打った1塁のゴロを大山がカバーに入った高橋にトスするが、これを捕球出来ず儲けもののランナーが出て、宮下が勝ち越しの2ランホームラン。高橋が4失点するのは今シーズン3試合目らしい。3回裏は牧のショートゴロを元山が取り損ねてまたしても儲けもので2塁に進ませてもらい、佐野のセカンドゴロで3塁へ進塁、エンカーナシオンのショートゴロで1点追加と、らしくない点の取り方。４回裏も高橋を攻め、松尾、関根の連続2ベースヒットで6点目。結局高橋は4回6失点（自責点は4）と、らしくない投球だった。6回表に大山にソロホームランを打たれたが、すぐ6回裏に打者10人攻撃で5点追加。もう決まりっしょ、と思ったが甘くない。8回表に出てきたマルセリーノが乱調。内野安打を打たれた後、暴投、四球、四球、死球でノーアウト満塁。で独立リーグからシーズン途中に Tigers に入団したガルシアが打席に。まだヒットを打ってないと言ってるから大丈夫か、と思ったら、何と満塁ホームランを打たれてしまう。Baystars は初安打とか初ホームランとか初勝利だとかそういうのに貢献してしまうことが多い。代わった松本凌人が9球で3人を打ち取り、もう大丈夫だろう。9回表は4点差ということでレイノルズでなく伊勢。ちゃんと三者凡退に斬って取り、4連勝。今日は1点差ではなかった。Swallows はまた負けたようで、ついにゲーム差無し。明日にも A クラスだ。交流戦が終わった時は絶望的だったが、Swallows の失速が予想以上に激しい。下手をすると Carp にも Dragons にも抜かれるぞ。Giants は勝ったので、Tigers と Giants は1ゲーム差。明日は負けろよ Giants。

セ・リーグに目を向けてたら、パ・リーグはとんでもないことに成ってた。今日 Hawks が勝つか引き分けるかでマジックナンバー点灯とか。Fighters は今日も Hawks に負けて、対戦成績は2勝14敗。とんでもない。2位の Lions が Hawks 相手に9勝8敗と勝ち越してるだけに、Fighters の責任は大きい。粘れよ Fighters。マジックナンバーは37とまだ大きいだけに、Fighters と Lions は粘らないと。頑張っておくれ。

あ、Hawks が走ってるのはセ・リーグのせいでもあるな。Swallows 以外のチームは全部 Hawks に負け越してる。セとパの力の差はDH制のためという意見があるが、どうなんだろうか？セ・リーグも来年からDH制が採用される。どう変わるでしょうか？見ものだな。

尾形が7回無失点（度会の本塁への好返球で救われた）で1－0勝利。Swallows とは1ゲーム差

昨晩もまた呑んでしまったが、記憶の飛ぶのが早くなったと実感している。NHK でマラドーナの特集をした番組が少し前にやってたのを録画してあって、それを見たのは覚えている。弟のウーゴ・マラドーナが出ていたのは覚えている。サガン鳥栖にいたと思ったが、コンサドーレ札幌にいたのは知らなかった、とここまでは記憶が鮮明。がそこから記憶が無い。「おはよう朝日です」を見た記憶が無いのは、その前にダウンしたということだろうか。氷結レモンを買ったが、一本間違えてストロング（アルコール度数9%）にしたのがよくなかったかもな。前はアルコール度数40度以上の酒（ウィスキーとかジンとか）をストレートでくいくいいけてたが。歳かな。

で昼を少し過ぎたくらいに起きられた。カップ麺で昼食、とも思ったが、やはり栄養は摂らないとまずかろうということで、Uber Eats にすき家のいつもの奴（トリプルニンニク牛丼）を頼んで食べた。でその後だらだらと YouTube を見たりとか無意味なことをしていた。まあ休みやし。

今日の野球はいつもより15分早く5時45分開始。今日からの3連戦は毎年恒例「YOKOHAMA STAR☆NIGHT」というので、特別なユニフォームを着て、試合終了後はイベントがあるので早目に開始ということ。STAR☆NIGHT は割と成績がいいようなので、期待。が、Tigers が相手で、Tigers の先発は村上。苦戦が予想される。案の定中々打てなかったが、4回に宮崎のタイムリーヒットで先制。その後全然ヒットが出ない。4回以降は度会の1安打だけ。ピンチは何度もあった。7回に1アウト1、2塁の場面で元山にヒットを打たれたが、レフトを守る度会が好返球で大山が生還出来ずに助かった。尾形は7回無失点と、まあ上出来。8回は代わったルイーズが近本に3ボールとノーストライクとしてしまい、何とか2ストライクにしたが、真ん中に投げないわけにいかずヒットを打たれ、ノーアウトの走者。その後中野が送りバント、森下セカンドゴロで3塁まで走者が進むも佐藤をセンターフライに打ち取り無失点。9回はレイノルズ。2人打ち取った所で大魔神佐々木主浩が「もう大丈夫でしょう」と言ったが、坂本、元山が連続ヒットで2アウト1、3塁。で日本に来てまだヒットの無いガルシアがピッチャー返しの打球を打ち、すわ抜けたかと思ったらそこに京田がいて、大丈夫か、と思ったらイレギュラー。が、京田がしっかり捕球し、一塁へ送球。アウトの判定だが、藤川監督がリクエスト。映像を見たら、余裕でアウトだった。ということで1－0の勝利で、3試合連続1点差の3連勝と、際どかった。まあいいです。勝ちは勝ち。4安打1得点でも8安打無得点には勝つのです。よかった。

途中経過を見ると Giants が3点リードしてて、Swallows も1点リードしていたが、9時からの NHK のニュースで Swallows はサヨナラ負け、Giants も追い付かれて同点に成ってるという情報。で「報道ステーション」のスポーツニュースを見ると、何と Giants もサヨナラ負け。ライデル・マルティネスがサヨナラホームランを打たれたらしい。素晴らしい。今日はBクラスの3チームが勝利した。ということで Swallows と Baystars は1ゲーム差。明日の結果次第ではゲーム差無し。今計算したら、勝率の関係で Swallows が3位のままのようだが。いいです。勝ちましょう。Tigers 相手に3連勝しても最悪 Tigers と Giants が首位タイに成るだけなので、思い切って3タテしちゃいましょう。

今日の大ニュースは Marines の益田直也が250セーブ。平成生まれの投手では初の名球会入り（打者では浅村が平成生まれの名球会入りを果たしている）。去年は僅か5セーブ。今年もここまでいい場面では起用してもらっておらず、去年と今年で7セーブ。随分前から記念のボードは作っていて、いつ達成してもいいようにと、日本全国ボードが行脚していたらしい。千葉で出来てよかったね。先発を1試合もしないでの名球会入りは初らしい。岩瀬（元 Dragons）は1試合先発があるようだ。まあよかった。次は康晃の番、と言いたいが、今シーズン途中からの不安定な内容（防御率6.10）では先行きは明るくないな。250セーブまで残り4セーブなのだが。まあ益田より3歳若い33歳だし、可能性はある。頑張れ。

YouTube で見ていた動画に京阪電車の大谷駅の周辺を散策しているものがあった。蝉丸神社行ったことないから行こう、と思ったが、暑いからもう少し陽気が落ち着いてからにしよう。当然のごとく「日本一の鰻 かねよ」を訪れていた。鯉の刺身は食べたことがない。行ってみよう。レストランと離れの二つあるのも知らなかった。離れで食べようか？料金が10％高くなるそうだが。車で行ってもいいが、時間を選ばないと駐車場が満杯で、少し離れた所にある契約駐車場に停めないといけないそうだ。暑くて歩きたくないのにそれではちょっと。京阪電車の時間をちゃんと調べて電車で行こう。1時間に3本しか無いから、ちゃんと調べておかないと屋外の暑い駅で延々20分以上待つことになる（綺麗に20分間隔で走ってるわけではない）のでね。前は1時間に4本あって京阪山科駅を0分、15分、30分、45分発と分かり易かったが。コロナで減便されて戻ってない。動画で1時間に4本あると言ってたが、情報が古いのでは？京津線を「きょうしんせん」と読んだのもいただけない（「けいしんせん」が正解）。よく出来た動画だっただけに勿体ない。細部まで調べてアップしましょう。尤もその後見てた AI に読み上げさせたショート動画は最悪で、「1968年」（この年ではなかったが、例として小生の生まれ年を使った）を「1968とし」とか「1月8日」を「１つき８にち」とか「58歳」を「58とし」とか酷過ぎた。ああいう下らんのを上げてるのは日本人じゃないという節があるが、本当にそんな感じだ。まあそういう下らんものを見てる小生がもっと下らん奴だが。それに小生もこのブログに誤字脱字を結構してるから、でかいことは言えない。後日見返した時に気付いたら直してるので、減ってるとは思うが、まだある。あとでこれも見直すよ。恥ずかしいからね。こんなもの書いてる方がよっぽど恥ずかしい？仰る通り。そう言われたぐうの音も出ないわ。

熊本で40度超と、何とも気の毒な暑さに

結局2時どころか相当な時間まで起きていた。寝床で YouTube を見るという、極めて生産性の低いことをずっと。数学動画でも見ればまたよかったが、野球とか電車とかそんなのばっかり。何してんだかな。

で一旦昼前に目が覚めたが、眠くて仕方ないのでもう一度寝床へ。夕刻を過ぎても起きられなかった。で起き上がってカップ麺を食べてとかウダウダとして、8時過ぎにパソコンを見たら有理点が求まっていた。33時間くらい掛かったが、短い方。Canonical height は250弱。で早速次のを仕掛けたが、今度のは予想される canonical height は340弱くらい。もうちょっと掛かるかな。その後300強と300弱のものが幾つかるのでそれを潰して、500ちょっとやつをやって、それから800だ900だというのが幾つかあるので、そっちをやる。夏休み中に終わるでしょうか？

今日の熊本は滅茶苦茶暑かったらしく、40度を超えたところがあるようだ。地震で荒れ果てた住まいを片付ける必要があるだろうが、今日はやっている人の姿が殆ど無かったらしい。かたや東京は最高気温28度、最低気温23度と涼しかったらしい。京都はどうだったのだろうか？さっき気象速報が出て、何だと思ったら大阪の一部で大雨警報が出ているらしい。外を見たら山科も雨降りだが、大した降りではなかった。雨が降ると気温が下がるというが、最近は蒸し暑さが増すだけ。熊本で取材している所村武蔵（凄い名前）アナが蒸し暑くなったと言ってた。日本の蒸し暑さは異常らしく、東京の多摩動物公園で虎が死んだらしい。サバンナは右肩上がりにゆっくりと気温が上がるらしいが、今年の日本は梅雨が明けたら急に猛暑日連発、しかも蒸し暑いと来てるから、虎でも耐えられなかったらしい。何故こんな国に生まれてしまったかな。地震、台風、夏の猛烈な暑さ。海外に拠点を移せるほどの金は無し、海外の大学に移籍するほどの研究実績も無しでは何も出来ない。現状を甘んじて受け入れるしかないな。

Giants 相手にカード勝ち越しと目出度い（Tigers と Giants は2ゲーム差、Swallows と Baystars も2ゲーム差）

結局昨日の試合はそのまま8－7で終わった。勝ってよかった。ふなごやで料理を待ちながらハラハラしてスマホを見ていた。その後 Swallows vs. Tigers の様子を確認。雨で2回中断があったようで、10時を過ぎてもまだ7回くらいだった。手の空いた店長もスマホで同じサイトを見ていて、一緒に一喜一憂。最終回に Swllows が岩崎を攻めて満塁にするが、代わったドリスが抑えた。Swallows はもう優勝無いな。Baystars との差が詰まったのは嬉しい限り。でバイトの人が中々来ないと思ったら、バレーボールを見ているらしい。日本がアメリカに勝てば決勝進出だったようだが、店長はどこで情報を仕入れているのか分からなかったが、「あ、負けた」との仰せ。うーん、残念。フルセットに持ち込んで、最終セットは13－15と相当な僅差だった。勿体ない。ですぐバイトの人は来た。でその後は例によって3人で楽しく。が、昨日は何か眠くて、いつもよりも記憶量が少ない。ちゃんと寝たのだが。ほぼ寝てない状態みたいな方が呑んでも眠くならないのは何でなんだろうか？謎だ。睡眠をコントロール出来たらノーベル賞どころではないだろう。逆にコントロールされたら怖いから、そんなものが出来ない方がいいが。

昼近くに起きた。パソコンの電源は昨日呑みに出る前に落として、で酔っぱらってても電源は入れなかったようだ。ということで電源を入れて、次の有理点探し。Canonical height の予想される数値が900を超えてる奴は後回しにして、300ちょっとの奴を先に。300でも結構デカいんで、もう11時間やってるが勿論返事は無い。一回電源を落としたから、また無理をしてもらおう。

などとしている内に野球の時間。デーゲーム。Giants の先発は小笠原。名前は慎之介だが、Giants は「しんのすけ」という名前が好きなのか、前監督の阿部、小笠原、山瀬。阿部と山瀬は慎之助。クレヨンしんちゃんはどういう字だろうか？まあどうでもいい。深沢が1回、2回はいい感じだったが、3回に盗塁を許した後ヒットを打たれて1点先制される。む。しかし昨日は鬼のように点を取りまくった Giants 打線が拙攻を繰り返してくれる。4回裏は先頭打者のダルベックがツーベースで出塁も、ファーストゴロ（走者は3塁へ）、ショートゴロ（走者は動けず）、申告敬遠、見逃し三振と助かった。5回裏は先頭打者の9番小笠原にまさかのスリーベースヒットを打たれるも、セカンドゴロ（走者動けず）、ファールフライ、ファールフライ。で小笠原は疲れたか、6回表に勝又内野安打、牧ツーベース、佐野タイムリーヒットと3連打、その後エンカーナシオンに犠牲フライが出て、Baystars が勝ち越した。解説の清水隆行氏曰く、点を取ってもらえずがっかりして、三塁まで走った疲れがどっと出たのだろうと。6回裏も2アウトから1、2塁にされてしまうが中川虎大が抑えて、7回裏は浜地、8回裏はルイーズ、9回裏はレイノルズ3イニング連続三者凡退に抑えて、無事勝利。今年は Giants に負けまくってたが、カード勝ち越しは目出度い。明後日からは Tigers と横浜スタジアムで。最低でも勝ち越しましょう。

でその Tigers だが、特に見たいものも無いから試合を見ることにした（言葉の綾で実際は画面は殆ど見てないが）。下村がプロ初勝利成るか、というのが見所だったが、1回裏に1失点。3回表に佐藤輝明に2点タイムリーツーベースヒットが出て逆転、4回表に坂本がソロホームランを打ち3－1。下村勝てるか？と思ったが、4回裏に Tigers が拙守。レフトの前川がフライを捕球出来ずに1点返される。1回裏に前川は悪送球している。一軍に戻ってきたばかりなのにいただけないプレーを連発。でタイムリーヒットを打たれて追い付かれてしまう。その後5回から8回までは両チーム無得点。9回表に Swallows は抑えのキハダを同点なのに出してきたが、何と坂本が今日2発目となるソロホームラン。昨日は3ランホームランを打ってるそうだから、二日で三発と神懸っている。Carp の緒方前監督のだと「神ってる」と言うだろうな。解説の江本さん曰く、抑えの投手は同点の場面で出されると失敗することが多いそうだ。しかし最近キハダは打たれ過ぎだ。9回裏は工藤が抑えてプロ初セーブ。これで Tigers と Giants は2ゲーム差、Swallows と Baystars が2ゲーム差。もう Swallows は完全に駄目だな。借金6で、2位 Giants とのゲーム差は7.5。で今順位表を見てビックリした。Baystars と Carp が2ゲーム差、Carp と Dragons が2ゲーム差。上3つで熾烈な争いを繰り広げていたはずが、いつの間にか下4チームが結構混戦。火曜日からは Swallows が Dragons と、Giants が Carp と。うー、どこを応援したらええんや？Swallows に落ちてきてもらうということは Dragons が上がってくるということだし、Tigers と Giants のゲーム差が開くためには Carp が勝って Baystars が負けるということ。まあ Baystars、Carp、Dragons が3つ勝てば下3つは現状のまま、いや、Baystars が Swallows 抜いちゃうな。そうか、それがいい。Swallows を抜いてから Carp をゆっくり料理しよう。Tigers との3連戦の後は Carp と3連戦だ。6つ勝っちゃおう。

眠いな。今日は少し早目に寝るか。早目と言っても2時過ぎだろうが。もう成績付けは済んだし、解答例もさっき完成させて web に上げたから、暫く急ぎでやることは無い。色々やろう、と思って dvi ファイル（今時 dvi ファイルを生成するなんて時代遅れのようだが）を開いて眺めてたが、前から気に成っていたことがあったのを思い出して考えたりコンピューターに計算させて確かめたりしたが、合ってるな。同じものを計算している筈なのに、二通りやると違う見た目に成る。が、最終的に出てくる答は同じ。謎だ。他の奴も考えてみて、同じようなことに成れば合ってると思えるだろう。後でやろう。とやると寝るのが遅くなり、で深夜に成ると元気になってくる。生活リズム障害だな。まあ当分こんな生活を続けるだろうが。休みだしね。それに暑い昼は外出しないから、暑さが収まるまではこのままでしょう。映画を見に行きたいが、山科駅まで歩くのが嫌だから、一回車で二条まで頑張って行ってみようか。

8－0の楽勝ムードから1イニングにまとめて7点取られて俄かに接戦に成ってしまった

生産性の低いというか無いというかそんなことをして結構な時間まで起きていた。その時点で有理点は見付かってなかった。で昼を大きく回ったところで起きたが、有理点が求まっていた。26時間以上掛かったことになる。もう検算はやめよう。時間の無駄だ。ということで腹ごしらえをして、で一旦パソコンをリブート。計算を仕掛けたいところだが、呑みに行く前に電源を落としたいし、明日起きるまではパソコンに休んでもらおうということで、計算は明日仕掛ける。

であっと言う間に野球の時間に成る。昨日書いた通り今日は NHK 総合で中継があるのでそっちを見ることにする。2回に宮下が満塁ホームランを打ち、3回は牧がソロホームランの後もう一度チャンスを作ってもう3点。8－0と楽勝ムード。篠木は何度か出塁を許すが、Giants が3併殺と拙攻で、これは楽勝でしょう、と思ったら、何と6回裏にまとめて7点取られた。変化球を狙い打たれていると解説の番長が言ってたが、松尾は経験不足だからか、こういう時に目先を変えるということがまだ出来ない。余裕が無いのだろうな。こんな試合を落とすわけにはいかない。頑張れよ。引き続き応援する。9時前には終るかと思った試合だが、そうはいかなくなった。試合の途中に呑みに出発する。今度は Baystars が猛攻撃を見せて突き放さないと。頑張れ。

などと書いてしばし。Baystars は4回以降ヒットが無いとか。で8回裏にマルセリーノがコントロールを乱したり自分のエラーもあって1死満塁のピンチを作ったが、何とか抑えた。9回表に点を取って逃げ切りましょう。そろそろ呑みに行かないといけないので、結果はスマホで見る。