昨日の晩も楽しかった。何でも3人くらいが適正人数だな。サッカーのブラジル戦の日程を皆うろ覚えだったが、今時は便利ですぐ調べられる。店長はサッカー部出身だから、ワールドカップに熱中しているらしい。で火曜深夜2時、と分かったが、この「火曜深夜」が30日（火）深夜2時なのか、30日深夜26時（つまり7月1日（水）深夜2時）なのかでしばし混乱していた。お二人とも水曜日は仕事がお休みなので、7月1日（水）深夜2時だと嬉しかったらしいが、仕事があっても30日の深夜に見ると言ってた。小生も火曜日は用事が無いから見ると思う。プロレスはいいや。
そう言えば日韓ワールドカップの時に、教授会の会場のテレビで、教授会の最中にも関わらず日本の試合を流していた。平場の我々がそっちを気にしていたのはまあ当然としても、雛壇にいるお偉いさん（後に学部長に成る人）がモニターをしょっちゅう覗いていたな。
で帰ってきてすぐダウンしたが、パソコンをちらっと見たら有理点はまだ見付かってなかった。途中用足しに起きたが、見付かっていたように見えた。しかし眠さに耐え切れずダウンした。数時間後に起きたら見付かってなかった。気のせいだったか。カップ麺の買い置きはあるが、まあ Uber Eats に麻婆丼を頼むか、ということにしていつもと違う店にしたが、地図を見るといつもの所。調べたら同じ店が3通りの名前を名乗っているようだ。来たのを見たらいつもと同じ器に同じ物が入っていて、餃子の箱もタレも同じ物だった。そうだったか。まあいいけど。
で野球が始まった。雨で3連戦の2試合が中止になって、今日勝てば勝ち越し？なのだろうか。今日の先発は石田裕太郎。石田の時は援護点があまりなく、しかも Giants の先発は Baystars 戦の今シーズンの成績が3勝0敗防御率0.46で、横浜スタジアムで6連勝の井上。これは苦戦か、と思ったら案の定で、石田は2点取られただけだが、例によって援護無し。8回に大勢から1点取ったが、そこまで。井上からは点を取れず、石田は Giants 戦のプロ入り後の初勝利はならなかった。今日は昼に Tigers が勝って Carp が負けて（Carp vs. Tigers だったから一方を書けば他方は自明だが）だったので、Giants を破ってれば Tigers が首位浮上、Baystars が4位復帰（昨日 Carp が勝ったので Baystars が5位に落ちていた）だったが。今日の負けで勝率が4割切ったそうだ。5割前後で推移していた筈だが4割か…。明後日は Carp と新潟でやって、1日空いて横浜で Carp と。連勝して4位に復帰しましょう。勝率も4割台にしないと。
不愉快に成ってパソコンを見たら、有理点が見付かっていた。28時間掛かった。まあ短い方だ。この前は1個に2週間掛かったからね。リブートしようかと思ったが、他にも色々途中の物があったのでしないで次の有理点探しを始めた。見付かった有理点の canonical height は430を超える物だったが、今度のは BSD 予想の下では221くらいだから、明日起きた時には見付かってると思う。何にしても効率が悪過ぎるな。もう少し何か考えないと。まあ他にも色々やってるので、全部一段落着いたらね。
