石田裕太郎は Giants に勝てないなー

春学期は月曜ゼミ、火曜は教授会が無ければ職場に行かない、水曜日は学科会議が対面で行われるか保健センターに行く用事がある時しか職場に行かない、木、金は講義とゼミ、というスケジュールだったので、月曜の番も呑む習慣が付いてしまった。で昨晩も勿論呑んだ。秋味が出てるし、呑まないと、ということでね。それだけで済まないで更に呑むわけで、で途中からテレビで見た内容を覚えてない。いつものこと。

で起きたら1時過ぎ。カップ麺でいいかと思ったが、そんなに変な時間じゃないから Uber Eats に何か頼もう、ということですき家にした。もうトリプルニンニク牛丼は無かったが、宅配だけのメニューのニンニクキムチ牛丼にして、で見たらニンニクファイヤー（トリプルニンニク牛丼にかかってる辛いニンニクチップ）があったので、それも頼んだ。それから昨日の晩途中まで見た形跡のある賤ケ岳の戦いのことを取り上げた番組の続きを見ようとしたが、ほぼ全て覚えてないので、頭っから見た。1時間半物。面白かった。空中からレーザーを照射して3次元の地図だと色々分かって面白い。砦の様子とか。「歴史探偵」もそういうハイテクを使ってて、昔のNHKの歴史ものよりグレードが上がっている。科学の進歩は偉大だな。勿論進歩したせいで自然破壊とか地球温暖化とかあるわけだが。小生もコンピューターを走らせっ放しで電気を消さずに寝たりとかペットボトル飲料を買ってがぶ飲みとか色々悪いことはやってる。再生紙の商品を買ってるのは罪滅ぼしにも成らない程度の気休め。まあいいです。

4時から教授会だったが、最初の30分くらい何やらあるらしく話していた。真面目に聞いてなかったが、AI がどうしたとか言ってる。あまり関係無さそうなので真面目に聞かなかったわけだが。教授会が始まったら真面目に聞いてた。何やらまた今年もしないといけなくなった。秋学期が始まる前に職場に一回行く必要がありそうだ。ついでに数セミを買ってこよう。日割りで駐車場の手続きが出来ると有り難いが、月割りなので、8月、9月は駐車場の更新をしてない。9月の下旬に契約すれば10月の分に成るので、その時に忘れずに手続きをしてこよう。9月の最後の数日だけ講義日があるが、その時は300円ずつ払ってこよう。

でごちゃごちゃとやってる内に野球の時間が近付いてきた。今日、明日と Giants 戦だが、場所は何故か京セラドーム。Giants のホームゲームらしい。1回表に草野球をしてもらって1点先制したが、すぐ裏に2点取られてしまう。が、追い付いて、度会のホームランで勝ち越して、というところまではよかったが、再び追い付かれ、サヨナラ負け。だからルイーズは出すな言うてるのに。石田裕太郎は6回3失点と最低限の役割は果たしたが、Giants 戦初勝利は今日も成らず。残念だ。ちょっと気分が悪い。まあ Tigers が勝ったのでいいです。高橋遥人が13勝目を上げて、最優秀勝率のタイトルを獲る権利を得た。笑ったのが Tigers の先制点は高橋遥人のヒットらしい。忘れてたが Baystars の勝ち越し点は石田裕太郎のヒットだったな。投手でもヒットは打つのです。気を付けないとね。

保険会社の人からメールが来ていて、持って帰ってこないといけない書類があったのを思い出したが、鞄に入れた記憶が無いぞ、と思って鞄を漁ったらあった。よかった。無駄なお金を使わずに済んだ。職場は駐車の定期契約の更新をしてないと1回300円取られる。いや、1時間以内で出れば無料なのだが、何かそれだけのために行くのは馬鹿馬鹿しい。時間が勿体ないからつい高速道路で往復してしまい、するとそれだけで1160円。ガソリンも減るしね。勿体ない。行かずに済んでよかった。あ、明日はマンションの理事会があるのだった。管理人さんに用事があるし、その時に頼んでおこう。

有理点探しは継続中だが、何の表示も無いので、どれくらい進んでるか、あとどれくらいで結果が出るかが分からないのが嫌なところ。まあ canonical height の予想される値が900を超えてるので、まだまだ掛かりそうだ。今回ので最後の筈。漏れが無いかどうか確認しておかないとね。そしたらまた論文に出来るかもな。まあ小生が頑張ったことはほぼ無いので、journal を適切に選ばないとまた2日で reject とか食らうだろう。大体決めてはあるがね。英語を書くのは苦手だから、時間掛かるぞ。まあ次回の資格審査に間に合うように出せばいいので、急いでいない。ゆっくりやります。

藤ノ川が京都出身の力士として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 戦では活躍しないでな。