昨晩は割と早目（普通の人にとっては十分遅いが）に寝て、今日は正午のちょい前くらいに起きた。でシャワーを浴びてから出発。草津田上インターを降りて、一路はま寿司へ。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 戦では活躍しないでな。
