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時半くらいには保健センターに行った方がよかろうから、ウェストウィングの近くには停められそうもない。駐車場から歩くのを考えるとうんざりする。まあ仕方ない。

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

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

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