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

起きたのが想定より遅かったので、西友のレストランはまたにして、カップ麺の食事で済ませてしまった。でちょっと録画したものを見てたが、まだ眠いぞ、ということでもう小一時間ばかり寝た。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超のやつをやろうといことにして、計算をスタートさせた。どれくらい掛かるでしょうか？