Tigers は自力で優勝出来なかったが、只今マジック対象チームの Giants が3点負けてる状態

木曜から金曜に掛けての晩は少々寝不足だったので、昨日は「ザキ山小屋 別館」が終わった後寝床に入ったが、寝たり起きたりでちゃんと寝られない。腹が減ったので、もう6時くらいには起きてしまった。映画を昼過ぎに見に行くつもりでいたが、寝不足だし映画の最中に眠くなったら嫌だな、というところで閃いた。今日は2時から Carp vs. Tigers があって、Tigers が勝てば優勝決定。よし、優勝決定のシーンを見よう、映画はまた今度、ということにした。で一昨日の「ゴチバトル」を見たり、ハードディスクレコーダーだ見ていると便利なのが、見ながらダビング出来る。VHS 時代では考えられない。ということで裏でダビングをして、ハードディスクに少々の余裕が出来た。すき家メニューを出前でとって食べて、と臨戦態勢。

2時前にチャンネルを J SPORTS 1 に合わせて観戦開始。才木はやってくれる、と信じたが、先制されてしまう。が、すぐ坂本のソロホームランと佐藤輝明の3ランホームランで引っくり返したが、すぐ裏に末包に3ランホームランを打たれて追い付かれてしまう。むぅ。才木は球数が多くてよくなかったな。早目に引っ込んでしまった。その後両チームのリリーフ陣が抑えていたが、8回裏にドリスが1点取られ、なお走者を2人残して降板。代わった石井も走者を返してしまい、8回裏終了時点で Carp が2点リード。9回表に Tigers が2アウト2、3塁のチャンスを作ったが、近本が凡退でゲームセット。今日目の前で胴上げされると3年連続だったとか。本拠地最終戦だし、Carp も必死だったな。Giants 4連戦で3勝1敗とか、この前は Baystars に勝ったりとか、最後に来て Carp が意地を見せてる。4位が掛かってるからね。最下位に落ちてから妙に強くなったな。来年も新井監督は続投のようだが、まあ来年に繋がるシーズン終盤にするのは大事でしょう。ということで Tigers は残念でした。

Giants vs. Baystars が6時からで、まだ30分くらいあったので、シャワーを浴びておくことにした。もうちょっと早く Tigers が負けてたら銀行に行きたかったが、ちょっと時間が無い。ということで今度は Baystars を応援。Tigers への援護射撃もあるし、シーズン5割以上が掛かってるから Baystars も必死よ。Giants の先発は Baystars を特にしている井上温大。ずっと連敗してたし、今年やっと一つ勝ったが、その試合も1－0と、相川監督も言ってたが全然打ち崩せていない。今日も苦戦。4回に1点取られたところで不愉快だから銀行にお金を卸しに行く。早く帰りたくないので、関西みらい銀行ではなく足を延ばして京都銀行まで行った。いつもの通り一部両替にして1000円札10枚を手にしたが、一枚が旧1000円札だった。ウェストウィング1階の自販機は全部新札対応に成ったし、いつも酒を買ってる自販機は旧札っすら受け付けないという謎な機械なので、もう旧1000円札を集めなくてもいいか、という感じだが、まあいいです。で帰り着いて見ると、まだ0－1だった。島田が引き続き投げていたが、2塁走者は井上温大。ロクでもないことに成らないといいが、と思って見ていたら、何とか抑えてくれた。島田は5回1失点ならまず合格でしょう。中畑氏曰く CS でも十分戦力になりそう、とのこと。が、6回から登板の尾形が丸にソロホームランを打たれて2点差。むぅ。が、今日は中畑氏が預言者で、井上温大がベンチでコーチと握手している映像が映って、それは交代を意味するのだが、中畑氏が「今日の温大は変えちゃダメ」と言ってたら Baystars にチャンスが巡ってきて、中川が走者を2人だしノーアウト2、3塁。筒香を抑えたところで中川から堀田に交代したが、「中川を代えない方がいい」と中畑氏。エンカーナシオンは凡退したが、宮崎がストレートのフォアボールを選んで満塁。そこから代打佐野の2点タイムリーヒットで同点、古市タイムリーヒットで勝ち越し、船迫（読めます？）に交代した後成瀬がタイムリーヒットで2点差。よしよし。7回に中川虎大がピンチを作るも無失点に抑えた。で8回に1アウトから牧が四球で出た後、筒香の2ベースヒットで牧が1塁から長躯ホームイン。3点差。さああと2イニング抑えれば Tigers の優勝だ。今日は優勝が決まったら ABC で優勝特番だと言ってたし、他局でもやるだろう。が、今は番組表から選んで録画予約するように成ってるから、番組表が差し替えられる前だと「はだかんぼうたち」とかいうアニメを録画することになってしまい、優勝特番に番組が変わると、「はだかんぼうたち」を録画出来ませんでした、というメッセージを残して何も録画されてない状態に成ってしまう。特番は諦めるか。何しろそろそろ呑みに行かないと店を閉められてしまう。Tigers の優勝を祝して呑むつもりなので、行かないと。今8回裏で Baystars が3点リード。さあどうなるでしょう。「詳細はコメント欄で」などとつまらん YouTube の動画みたいなことは言わないが、明日書くか、帰ってきてから書くか。いずれにせよそろそろ出発します。

「代数学II」は今日から

金曜日は1時10分から講義なので、職場で弁当を買って食べられるくらいの余裕を持って起きないと、思ったが、今日はもっと早く目が覚めてしまった。昨晩も遅かったんだが。うな松に寄れるくらいの余裕があったので、いつもの一本鰻にしようと向かう。11時を結構過ぎていたが、入った時から食べ終わる時まで他の客がいない状態だった。美味かった。財布の中を見ると、1万円札が一枚も無く、新1000円札も一枚も無い。が、貯めに貯めた旧千円札（この前也で見せたら哲也が「何枚あんの？」と呆れて数え始めていたが、52枚もあった）で払ってきた。明日銀行で金を卸すが、また「一部両替」の釦を押してしまうだろうから、新千円札が10枚補充されるな。

12時前に職場に職場に着いて、しばしぼーっとする。「代数学II」は初回だから、あまり難しいことはしないし。気楽に構える。

で1時10分のちょい前に講義室に向かって、で入ってみると案の定学生が少ない。想定内だが。時間少し前に黒板に卒研ガイダンスが近々ある旨書いたら、案の定黒板を写真で写す学生がいた。で時間に成ったら即開始。何をやるかちょっと話して、それから単位のことや何やら話して、間髪を入れずに開始。まずベクトル空間についてザーッと復習。いや、任意の体上のベクトル空間は知らないだろう。それと体の拡大があったら上の体が下の体上のベクトル空間とみなせることをちゃんと話しておかないと。赴任して最初の数回はその辺をちゃんとしなくて、よろしくないな、と思って、数回目からちゃんとその辺も話すことにした。つまらなかろうな。講義中に何度も後方の出入り口を開け閉めする音が聞こえたが、初回で嫌に成って逃げ出した学生がいるのかもな。で最後10分くらいで体の拡大の次数とか基底とか話して、拡大次数は1以上、というところで時間に成った。来週は拡大次数が1ってどういうこと？という辺りから始める。[L：K]＝[L：M][M:K] とか色々基礎的なことをその後にやる予定。

その後ちょっと休憩してゼミ。今日はミンコフスキーの一連の理論について。体積の計算が出来てると仮定して、判別式の下からの評価とか与えられた数を判別式に持つ代数体が有限個しかないとか。ちょっと面白かったのが、不等式を示す所で、「≧ じゃなくて ＞ だと思うんですけど」と言い出したこと。≧ は「でかい、もしくは等しい」だから、問題無い、と言っておく。夏休みに twitter を見てたら、≧ を示した後は等号が成立するのを確認すべきか否かで結構揉めてた。「greater than or equal to」だから確認する必要は無いのだが、最小値を求める問題と混同している人々は等号が成立するかどうか確かめないといけないと主張して譲らなかった。その後嫌に成って見てないが、決着はついたのでしょうか？ああいう場所での議論は顔が見えないしどんどん感情的に成ってくるので、最後はただの罵り合いに成る。人格を否定する発言もバンバン飛び出す。冷静にならないとね。

その後部屋でちょっとごちゃごちゃと。演習問題を moodle＋R に上げたり、来週のことをちょっと考えたり。宿題が二つあるのを忘れていた。急ぎでないので、後でやるか明日やるか。明日は映画を見に行こうという気に成ってるので、あまり遅く（早く？）までは起きていたくない。程々にしよう。一つは別に日曜日以降でもいいようなので。

ゼミが終わったのは6時ちょい前だったが、その後野球のことを思い出して見る。今日のセ・リーグは Swallows vs. Giants だけ。Giants が1点先制していたが、帰り際に見たら Swallows が2点リードに状況が変わっていた。よしよし。すき家でビーフカレーを食べて帰ってきて「報道ステーション」を見たら、5－1 で Giants 負けた！よしよし。これで Tigers のマジックナンバーは1。明日 Tigers はデーゲーム、Giants はナイター。昼勝って自力で胴上げを決めると分かり易くていいですな。Giants の相手は Baystars なので、昼 Tigers が負けても Baystars が勝つ（断言！）ので Tigers の胴上げは決まるのだが。明日は楽しく呑めるぞ。

Tigers vs. Giants の最終戦は5時間を超える激闘の末引き分け（マジックナンバーは2に減った）

昨日書いた通り今日は夕刻の6時半からの用事が全ての用事。まあそんなに遅くなく起きるさ、というつもりだったが、やはり不摂生が祟り、中々起きられなかった。何も食べないわけにもいくまい、ということで小さめのカップ麺をすすって、のつもりだったが、大蒜の風味の強いやつのようなので、大きい方にした。これだとそんなでもなかろう、ということで。で食べ終わってからシャワーを浴びて、5時半前に出発。凄い時間に出掛けたもんだ。

で職場に6時前に着いた。これくらいの時間だと事務の人も含め結構帰宅してるから、ウェストウィングの滅茶苦茶近くに停められる。で個研室でちょっと二次体の整数環を決定するのの証明を読んで時間潰し。山崎隆雄さんの本には Q(√(－d)) で d が square-free な自然数かつ d≡1,2 (mod 4) の場合は詳しく出てるが、d≡3 (mod 4) の場合は証明が出ていないので、学生がやり始めた時に突っ込みポイントが分かってないといけないので、考えておこう、ということで。何度も読んでるから、結構簡単に理解出来た。もうすぐ大学院の講義でもやるしね。丁度いい時間潰しだった。

で6時半前に4階まで下りて詰め所に行って、半から仕事。制御が専門の人の話を聞いた。あまりよく分からないが、熱心そうでいい人。一通り済んだ後ちょっと会議があったが、成程そこに目を付けますか、ということが幾つかあったが、まあ無事終了。ちょっと作文をしないといけないので、資料を貰ってきた。これからやるか、はたまた明日やるか、気乗りの具合次第。

個研室を出る前に野球の様子をちょっと見たが、1回裏に Tigers が無死満塁の大チャンスを作るも、4階で見た時は点が入ってなかった。佐藤が三振、大山が併殺打という展開だったようだ。用事が済んでから見ると1－1に成ってた。Tigers は大分拙い攻撃をしているようで、2回裏は無死1、3塁を活かせず無得点、3回裏は1死2、3塁で外野フライも森下が本塁でアウト。そうこうしてる内にロクでもないことが起きて、4回表に Giants が1点先制。がその後の満塁のピンチは抑えた。Tigers は4回裏も2死2、3塁のチャンス（村上の二塁打でチャンスが広がった）も近本が打ち取られ無得点。が、6回裏にここまで2併殺だった大山がホームランを打ち同点に。が、7回裏も1死1、2塁から佐藤、大山が打ち取られ無得点。するとまたロクでもないことが起きて、8回表に Giants に勝ち越されてしまう。むぅ。決着を見ずに9時半くらいに職場を後にした。

夜は大分涼しくなってきた。久し振りにちゃんぽん亭に寄ることにした。出入口をきちんと閉めない客が多いのが嫌なのだが、店も対策したのか、「冷房中」とでかでかと書いた紙が貼ってあって、更に「手動で閉めてください」と書かれた紙も貼ってあった。が、やはりまだ阿呆はいて、小生の少し後に入ってきた大学生風の客がドアを閉めないので、露骨に不機嫌な顔をして閉めた。すると「あ、すみません」と言ってから、まあいいでしょう。彼は次からは大丈夫な筈。その後数組帰っていったが、皆きちんと閉めてた。冬場に開けっ放しにする輩が出ないように、もう少し教育をしてもらわないと。

10時半くらいに帰宅した。野球の結果が気に成るが、スマホも見ずパソコンも見ずに、「報道ステーション」のスポーツコーナーを待った。CM 前に延長戦に成ったようなことが画面に出てて、ライデル・マルティネスと大山が映っていた。CM が明けて結果を見ると、9回裏2アウト2、3塁という場面から大山が同点打を打ったようだ。大山は併殺打も打ってるがホームランも同点のタイムリーヒットも打ってる。3割打てば上出来、得点圏打率は3割2分くらいあるとチャンスに強いと言われる競技。今日の大山は充分合格だ。「結果」と書いたが、試合はまだ続いてるとのことで、「結果」ではなかった。で暫くしてパソコンで速報を見ると、引き分けたようだ。岩崎が派手にガッツポーズをしたりとか、まだ本調子ではない石井が三者凡退で抑えたりと、Tigers にとっては収穫だったな。ゲーム差は2のままだが、マジックナンバーは一つ減って2。明日2日は Tigers は試合が無く、Giants は Swallows と。明後日3日は Tigers は Carp と、Giants は Baystars と。ということで一番早い優勝決定日は10月3日。明日広島に移動中に優勝が決まるとか成らなくてよかったな。明後日は Baystars は何が何でも援護射撃しないと。いや、Baystars のシーズン5割以上が掛かってるし、首位との10ゲーム差以内も掛かってる。援護射撃でなくても勝たないと。

明日は1時10分から「代数学II」。出席者は少なかろうな。それでも一生懸命やるよ。出席者は1人でも、真面目に聞いてくれれば当然やる。いや、真面目に聞いてなくてもきちんと形式は保つよ。仕事だからね。誰も部屋にいなかったら30分待って帰るけど。その後ゼミがあるので、住処には帰れないけどね。今年度はゼミが3つあるが、一人、一人、二人と少数精鋭。春学期は全部一番狭いゼミ室でやってたけど、秋学期は一つだけちょっと大きい部屋でやることに成ってしまった。前も書いたがゼミ室足りないよ。もっと部屋をくれるよう、学科として訴え続けないといけないね。

高橋遥人が16勝目（Tigers では井川慶以来）でマジックナンバーは3に減った

結局昨晩は山崎さんにメールしなかった。考えてたことがうまくいかなかったので。それ以外にももう一件伝えたいことがあったのをさっき思い出した。後でメールする。酒だけはちゃんと呑んで、で結構な時間まで起きてた。

何か Windows Update をしたがってそうな不吉なメッセージがパソコンから出てたが、パソコンがリブートされた、と成って焦ったのは夢の中だった。先週の日曜日（9月20日ね）からやってる有理点探しが無駄な時間に成らなくてよかった。まだ続いてる。早く終わって欲しい。

7時から水曜なのに「Qさま！！」がある。が、録画しておいて後で見ることにして、Tigers vs. Swallows がある（セ・リーグ唯一の試合）ので、そっちを見ることにした。スマホでちらっと見たら1－0だったが、見たら2－0に成ってた。その後 Tigers が着々と点を重ね、5－0で勝利。7回に高橋遥人が自らタイムリーヒットを打ち3点差にして、8回は佐藤輝明が2ランホームランを打ち5点差とするなど、いい試合運びだった。高橋遥人は8回無失点で16勝目。Tigers の投手で16勝したのは井川慶以来だとか言ってた。佐藤は長打80本と言ってたが、もうちょっとで初の40ホームラン40二塁打の快記録を達成する。そうなると面白いね。マジックナンバーは3に成り、明日 Giants と最後の直接対決。Tigers が勝てばいよいよマジックナンバー1に成る。そうなったら決まりだろうな。昨日の Giants の結果いかんでは明日の直接対決で甲子園で胴上げに成るところだったが、それがならないのはちょっと残念。土曜日に Giants vs. Baystars があるが、そこは全力で勝たないと。シーズンの勝率5割が掛かってるし、Tigers に援護射撃をしないと。

ニュースを見てたら、東京は35日連続で降水が記録されたとか。9月は毎日雨だったということだ。それと西武渋谷店が閉店のニュース。同じ西武グループの西友山科店の閉店は勿論ニュースに成らない。小生にとってはそっちの方が大きなニュースだが。山科で住処を探している時にちょっと足を延ばして西友を見付けて、1階の入り口前で CD のワゴンセールをやってたので石川よしひろの CD を買って、駅の方まで歩いて戻って、ラクトの一階の酒屋で日本酒の量り売りをやってたのを買って、で三条京阪のホテルへ戻ろう、と途中で肩から鞄がずり落ちて酒瓶ピンチ。が、CD が守ってくれた。酒瓶は無事で、CD のケースが割れた。助かったので、ホテルで酒を呑み始めてしまい、四合瓶を呑み干してしまった。次の日二日酔いモードで実家へ帰ったのを思い出す。その後車の免許を取ってから職場の帰りによく寄るようになった。クレジットカードで買うと毎日5%引きと太っ腹なことをやってくれていたので。が、そのサービスが無くなり、クレジットカードも年会費の高い物に変わってしまい解約して、とんと行かなくなってしまった。それでも安かったからもっと行ってあげればよかったな。食堂も終わりが近付いて慌てて行ったが、もっと通ってもっと海老クリームコロッケを食べたかった。もう閉店時間を過ぎてる。閉店の瞬間を見に行けばよかったかな。西武渋谷店のシャッターが下りるのを沢山の人が見ている映像があったが、西友山科店はどうだっただろうか？西友のすぐ南に大きな団地があるが、そこの人達は明日から不便だろうな。ふなごやにその近くに住んでる人が来てたが、車の免許を持ってないそうで、マツヤスーパーにはちと遠いので不便と言ってた。地元の大売り店が無くなると悲しいよね。小生の実家の近くのダイエーが閉まった時のことを思い出す。幸い小生の実家は山科より遥かに便利な所で、ダイエーに行くよりも近くに店がいくらでもあった。まあ山科は便利な方よ。車乗ってて滋賀の田舎で「〇〇まで15km」とか書いてあるのを見た時は、ああ成程、と思ったが。ま、寂しくはなるわ。

明日は夕刻から他の学科の仕事の手伝いがあって、それが終わるのは8時くらいらしい。Tigers が Giants を叩きのめすのを見られないな。経過にやきもきしながら働く必要がある。途中でスマホを見たりとか不埒なことは出来ない。解放された時に Tigers が大量リードしてますように。

今日から講義

今日から講義で、2時55分からなのでさほど早起きする必要は無い。ということでゆっくり起きて、昼飯ははま寿司で。が、冷静に考えたらそんなにゆっくり食べてられなかった。1800円ちょっとで急いで職場へ向けて出発。

幸い講義室の近くに車を停めることが出来て、5分くらい前に着けた。荷物を置いて飲み物を仕入れて講義開始。火曜日は大学院生向けの講義。代数的整数論の初歩的な内容。しかし学部時代の小生の代数の講義の出席者の少なさから考えるに、大勢いた出席者は2、3回でがた減りするだろう。今日はあまり体がどうしたとかイデアルが何だとかやらなかったのでまだいいだろうが、来週は（有限次）代数体が出てくる。Q の有限次拡大体、と定義して、拡大体に対してはちょっとしか補足しない予定なので、この時点で脱落者多数だろうな。自由アーベル群に関しては証明一切抜きだし。ま、単位は取れるようにしてあげるので、安心してね、という趣旨のことをオブラートに包んで言っておいたから、適当に休んでください。

思ったより講義後の疲労感が無かった。今日は小さい部屋でだったので、字をあんまり大きく書かなくていいし、声量も程々だったのが良かったか。講義ノートを web に置いておくと約束したので、一休憩後その作業。大して直す所はなかったので、短時間で終了。それから金曜日の講義のことを考えて、こっちも短時間で。それから教務委員関係の作業を少々。面倒臭い。ちょっと動き出しが遅かったので、慌てないといけない。今週中にやれることはやっておかないと。教務委員は2年やらないといけなくて、来年度は今年より大変に成ることは分かっている。考えるだに憂鬱。まあ仕方ないけど。前に教務委員をやった時は学生の修論の面倒をちゃんと見てあげなかったけど、しっかりした学生だったので大丈夫だ。今年度も来年度も M2 がいる。どうしましょうね？

9時くらいに職場を後にした。雨は上がっていたが、甲子園での野球が中止に成ったので、結構降ったのかな。車を走らせて暫くしたらまた降り出した。晩飯は和食さとで。明日までの10%引き券があったので。で注文ミス。トンカツと海老フライ一本のやつに松茸ご飯をセットで、と頼んだはずが、松茸ご飯だけ来た。注文履歴を見ると、確かに松茸ご飯だけ頼んだことに成ってる。気を取り直して頼み直すと、トンカツに海老フライ2本。頼み間違いだな。まあ仕方ない。食べられるくらい腹は減っていた。来月使える割引券があるので、来月も一回は行こう。また松茸ご飯を頼むよ。

帰る前に学科の事務室のポストの中身を取ってきたが、雑誌の同じものが二つ届いていた。うっかり Amazon と Honya Club に一度ずつ注文してしまったようだ。まあ安い物なのでいいけど、ちょっと不機嫌に成った。が、郵便物の中に山崎隆雄さんからの物があった。「Printed matter」と書いてあるが何？と思って開けると、新しく本が出版されたようで、献本してくださったようだ。嬉しい。山崎隆雄「初等数論幾何」森北出版。パラパラっと眺めてみたが、面白そうだ。そんなに厚い本ではないが、税込み3960円とちょっとお高い。ありがとうございます。山崎さんにはメールを書こうと思ってそれっきりに成ってることが一件あるので、お礼ついでにメールしておこう。それにはもう一回思い出さないといけないことがあるので、これからやる。幸い明日は職場に行かないでいいし、明後日はゼミが中止で、6時半から他の学科の用事で呼び出されている以外はやることは無いので、時間はある。やります。呑みながらね。さっきちょっと買ってきた。何やら道路工事をしてて、路地の出口にトラックがドーンと止まってて嫌な感じで、自販機の前辺りも工事してそうに見えたが、幸い道路半分を塞いでの工事で、自販機の前は工事してなかった。「道路半分塞いで」と書いたのは中央線の無い道路だから。職場の帰りも2か所工事してたが、それは片側一車線の道路で、片側交互通行。年度末でもないのに何故ほじくり返してるんだろう？謎。まあいいけど。「相席食堂」が終わったらもうちょっと買い込んでくる。一箇所で沢山買うと恥ずかしいから、ちょっとずつ分けて買ってる。明日の食料も確保しないといけないから、どっちにしろ買い出しに行くつもりだったので、丁度いい。ということでもうちょっとしたら行く。

今日から平常営業

12時半に面談の約束をしていたのに、起きたら12時40分。まずったな。寝たのがちょっと遅くなったのが原因。ファイルを onedrive に置くのとか moodle＋R の設定とか、暫くやってないので完全に忘れていて、思ったより手間取ってしまった。でもう一つ余計なことをした。土曜日の「芸能人格付けチェック」を録画予約したつもりが忘れていて、頭15分くらい録画出来てないので、Tver で見ようと。で何だかんだと3時半近くまで起きていて、で寝不足だったから9時間弱では起きられなかった、ということ。目覚ましを11時半と12時に仕掛けておいたが。パソコンにマイクを繋いでセロハンテープで止めて、でみっともないからシャワーを浴びて髭を剃って臨戦態勢、のつもりだったから、少しアラームが早目だった。12時15分と12時20分にも仕掛けておくべきだった。再度の日時設定のメールを急いで書いたが、まだ返事が無い。これを書き終わったらメールしよう。

今日から平常営業なので、職場に行く。月曜日は2時55分からのゼミだけなので、さして急ぐ必要は無い。1時40分過ぎに住処を出て、生協の脇に停められたので停めて、で弁当を買って食堂の脇のスペースで食して、コアステーションの1階で駐車券の更新作業をしてから個研室へ。ゼミのテキストが見当たらない。が、幸い1冊余分があるのでそれを持っていく。何故余分があるかというと、一人単位不足で卒研の登録が出来なかったため、人数分買ったが1冊余ってるというわけ。今日は山崎隆雄さんの初等整数論の本のゼミだが、もう初等整数論ではなく「虚二次体(1)」。Q(√(－1)) と Q(√(－2)) しかいじらないのだが。今日は整数環を決定して、単元を決定して、その後ユークリッド整域は P.I.D. であることを証明して終了。来週は P.I.D. は U.F.D. であることを示して、Z[√(－1)], Z[√(－2)] が U.F.D. であることなどを示す予定。面白くなってきた。類数が1でない場合が次の章だが、ここまでくると大分面白い。U.F.D. でない環の歩き方を知ることが出来ると整数論が深まるよね。

その後部屋でちょっと明日の講義のことを見て、で適当に職場を出た。途中野球の経過を見たら1点リードされてたが、エンジンを掛ける前に見たら追い付いてた。よしよし。で渋滞も無く帰ってきて、テレビを付けると1点リードされてる。む。が、東が自ら犠牲フライを打って追い付いた。2－2 という状況だが、内3点が犠牲フライによるもので、もう1点は東が押し出し四球を与えてしまったらしい。東は四死球の少ない投手だが。が、7回に菊池にタイムリー2ベース、8回に秋山にタイムリーヒットを打たれてしまい2－4に。Baystars 打線は一時絶好調だったが、ここのところ湿り気味で、上に書いた通り得点は2点とも犠牲フライ。1死満塁の好機でも点が取れなかった。9回に度会が汚名返上のタイムリーヒットで1点取ったが、牧が三振でゲームセット。勝率が .500 に成ってしまった。3連敗ということだ。残り2試合で1勝しないと5割を割ってしまう。相手は Giants と Tigers。苦戦しそうだ。優勝チームとのゲーム差が10に成ってしまう可能性も出てきた。まずいな。火、水、木、金と試合が無いので、気合と技術を仕上げ直してきてな。

何でも明日はうすら寒いらしい。今日は半袖シャツで出掛けて、ゼミ中に冷房の電源を入れたが、明日は長袖だな。講義で95分喋って書いてなので、涼しい方が楽でいい。7月後半から8月いっぱいと9月殆ど休みというのは本当に有難い。ただちょっと気温の変化が激し過ぎるが。今年は梅雨明けが早くて、明けたと思ったら即猛暑日、でちょっと前30度だったと思ったら明日は25度行かないし。体調には留意しないと。休講したら土曜日に補講をしないといけないので、学生に申し訳ない。ということで今晩は寒くならないよう気を付けて、ちゃんと寝ないと。面談が無いとちょっと余分に寝られるが。学生の返事を待とう。

大の里が安青錦を圧倒し、1年振りの優勝

昨晩のふなごやは暇そうだった。が、小生の注文したものが出てきてからも暫く店長は何やら調理をしている。自分の食事か？と思ったらさにあらずで、暫くして空きっ放しだった入口（小生は入口に背を向けて座っていた）から急に声がして、ビックリした。Uber Eats だった。店長曰く、昨日は Uber Eats と出前館からの注文が結構あって大変だったそうだ。客が来てない時のその手のやつは有難いと言ってた。宴会で大量の客がいる時に来るのは困ると言ってた。そういう時は注文が来ないようにしておくそうだが。でいつもの通り3人でワインを呑み始めたが、暫くして時々来る女の人が来て、何やら愚痴っているというかそういう感じだったが、その辺はあまり覚えてない。何を話してただろうか？もうどこかで呑んできたらしく、呑まずに何やら声を上げてたが。適当なタイミングで強制終了のフラグを立てられた。帰りにセブンイレブンに寄ったが、いつもの通り女の人だけ。いいんだろうか？カウンターにいた人より少し年上と思しき人がいるが、昨日は外で煙草を吸ってた。何やら立ち話した記憶が微かにあるが、内容は覚えてない。昨日は雨降りだったので傘を持って行ったが、帰りは降ってなかった記憶がある。傘を忘れたような気がしたが、今見たら玄関に置いてあった。持って帰ってきたようだ。今週はずっと天気が悪いようなことを言ってたから、傘が無いと大変だったが、よかった。勿論他にも傘はあるが、セブンイレブンで買った黒い傘は頑丈でいいので、ビニール傘のようにすぐ壊れる物より遥かにいい。忘れてなくてよかった。

あまり長時間寝られなかったが、別に気持ち悪いわけでもないので、起きた。でしばしグダグダとやってから適当に食事をして、でまたグダグダとやってたらあっと言う間に野球の時間。昨日書いた通り Carp 相手に小手調べのつもりだったが、この前 Giants 相手に4連戦を3勝1敗で意地を見せた Carp。油断ならなかった。1回裏に先制したが、3回表に逆転される。が、6回に筒香の20号ホームランで追い付いて、7回に松尾のタイムリーヒットで勝ち越す。が、8回登板の浜地が簡単に2アウトを取った後に四球を出し、その後失点し追い付かれ、9回はレイノルズが2者連続四球で走者をためてしまい、送りバントの後菊池に技ありの2点タイムリーヒットを打たれてしまい、がっくし。解説の三嶋一輝氏がレイノルズは大分疲労が溜まってるようだと言ってた。疲れでちょっとフォームが崩れるだけで思った所に投げられないことがあるとも。一昨日 Tigers に勝った時も内野安打、四球でピンチを作ったからね。その後気合で抑えたが、今日は無理だった。今日勝ってれば勝率五割以上が確定しただけに、残念な負けだった。五割確定したらレイノルズをちょっと休ませてもいいかも、という気はするが、首位と10ゲーム以上離れるわけにはいかないので、まだちょっと頑張ってもらわないと。今日の負けで首位と8ゲーム差。際どいな。まあ取り敢えずあと1勝して五割を確定させないと。

実は9回裏は見てない。レイノルズの後出てきた馬場が四球を更に一つ出した後は二者連続三振で抑えたあたりで5時くらいに成っていたので、相撲へ。今日は結びの一番に大の里 vs. 安青錦の相星対決が組まれ、勝った方が優勝とシンプルで分かり易い取り組みに成っていた。丁度「これより三役」の土俵入りが始まる辺り。琴風さんが今場所の「これより三役」はいい、と言ってたが、何故かと思ったら最後の三番は関脇 vs. 関脇、大関 vs. 大関、横綱 vs. 大関で、最近の場所は上位がだらしなくて平幕力士が「これより三役」に出るのが通例に成っていた。それが上位陣だけで出来たのが素晴らしいとの仰せだった。まず熱海富士 vs. 藤ノ川だが、熱海富士が土俵際で寄っていったが、藤ノ川が土俵際で逆転。熱海富士は8勝2敗投状況から5連敗で8勝7敗。うーん、残念。藤ノ川は11番。小さい体で立派な成績を収めた。拍手。次は霧島 vs. 琴櫻。琴櫻は4連勝スタートだったが、9勝しかしてない。綱取場所だった霧島は何と千秋楽を7勝7敗で迎えるという危機的状況。霧島が何とか勝って、8勝7敗。霧島も熱海富士も完全に一から出直しだな。で結びの一番。さあどうなる？琴風さんも舞の海さんもよい大の里が出るか悪い大の里が出るか随分気を揉んでおられたが、今日は最高に強い大の里が出て、いつもは低い体勢から起こされない安青錦を仰け反らせた。素晴らしかった。1年振りの優勝。涙が光ってた。安青錦も立派よ。3連勝の後3連敗したが、その後昨日まで連勝を連ねた。11勝4敗で準優勝だが、先場所優勝しただけに今場所の結果次第では来場所綱取も、だったが、11勝ではやはり一からやり直しということに成るようだ。安青錦は怪我が完治してなくてこの強さ。琴風さん曰く完治した頃には横綱に成ってるのでは？だそうだから、期待しよう。豊昇龍がすっかり影が薄くなったが、手術をしたわけだし、巡業で仕上げると立浪親方は仰せのようだが、舞の海さんは来場所も全休で年明けに万全で出て欲しいと言ってた。どうなるでしょうね？

夜野球が無いと大河ドラマを見るのに遅くまで起きていなくていいので有難い。今日は秀長が大和に入って、地元の仏教勢力と丁々発止をやる回。来週は奈良の中心地を今の奈良市から今の大和郡山市に移すのに地元の有力商人達と丁々発止やる回。戦は暫く無いから、こういう話題が続くのかな。戦無いことないか。まだ小田原攻めが残ってるな。まあその辺ではもう秀長は病気で出陣出来ない筈だから、戦のシーンはほぼ無いか。朝鮮出兵は秀長が死んだ後だし。この辺のことは今まで大河ドラマで書かれたことが無いから、ちょっと面白いかもな。「歴史探偵」等で秀長の大和での奮闘ぶりは知っている。面白そうだったので、ちゃんと書いてくれて嬉しい。来週以降も面白かろう。

「サンデースポーツ」で Baystars vs. Carp 以外の結果を知ったが、Giants は Swallows 相手に11－0と一方的な勝利。Tigers のマジックナンバー減らなかったか。10月1日に Tigers vs. Giants が甲子園であるので、そこで優勝が決まると最高に盛り上がるだろうが、どうなるのかな？パ・リーグは Fighters が残り2試合で首位と12.5ゲーム差に成ってしまい、首位と10ゲーム以上開くことが確定した。Fighters は CS ファイナルステージに進んだ場合、2敗という状況からスタートしないといけない。厳しいぞ。

前にも書いた通り、明日から平常営業。学生の都合、小生の都合、ゼミ室の空き具合を考慮した結果、月曜は2時55分からゼミと、割とふざけたスケジュールに成った。が、明日は12時半から面談をしないといけないので、ちょっと早起きしないと。昨日済ませたかったが、学生から返事が無かったので、昨日は出来なかった。今日は二日酔いモードで起きられないだろうから、土曜日駄目なら月曜日に、と提案したが、今日早起きしたので、出来たな、とちょっと後悔。明後日の講義のことでちょっと今晩中にやっておかないといけないことがあるので、すぐ寝るわけにはいかない。今 NHK 総合でイタリア発の海外医療ドラマがやってるので、見終わったらやろう。放送予定を見たら来週が最終回のようで、過去2シーズンでの謎が何か全部解けそうな感じに成ってきてるので見ないと。その後は特段見たいものがあるわけではないので丁度いい。大河ドラマももう見たし。明日から頑張るぞ。

3位が確定ししてしまった。無念。

漫才を見てる途中に眠くなってきた。MIKI とエバースのは面白かったが、豪快キャプテンのはそんなでもなく、その後対談をしているのの途中でダウン。が、何故かテレビを消さずに寝床に入ってしまい、目が覚めたり落ちたりで、落ちてる時に変な夢を見たり。やはり眠りが浅いのはいけないな。漫才の番組は終わったようだが、暫く起き上がれず、寝床で寝たり起きたり。で結構変な時間にテレビと電気を消して寝入った。

流石に今日は中々起きられなかった。一旦目が覚めて時計を見ると2時を過ぎていて、野球が始まっていた。スマホで見ると2点リードされてる。む、ということでもう一度寝入って、最終的に起きたのは4時過ぎ。テレビを付けると3－5という状況。一旦0－3に成って、その後追い付いたようだが、6回に勝ち越されていた。若松がよくなかったようだ。吉野に交代したが更に2点取られて、7回に変わった石田健大が佐藤に37号ホームランを打たれてもう1失点。ということでそのまま終了。今日の負けで3位が確定してしまったそうだ。逆転Vも本拠地での CS 開催も無くなった。まあ6月に月間15敗という体たらくをやって、借金が最大15まで行って、最下位まで3.5ゲーム差という状況から A クラスを確保してなお貯金があるというのは夢のような結果。これ以上の贅沢はいいでしょう。後は何とか貯金を持って首位チームに10ゲーム差以内で終わらないと。まあそうやっても CS ファーストステージで2位のチームを倒さないと意味無いんだが。7、8、9月の勢いがあれば、2位のチームに勝つことは十分可能だ。明日、明後日 Carp 相手に小手調べと行きましょう。

Baystars のホームゲームはスカパー！や J：COM などでは TBS チャンネル2というチャンネルで全試合放送してくれるが、野球終了後の次の番組の合間に勝ち試合をメインにダイジェストを流してくれる。昨日は8月、7月、6月の順にやっていたが、8月と7月は沢山勝ったので放送する量が多かったが、6月は上に書いた通り滅茶苦茶沢山負けたので、どうするのだろうと思ったら、僅かな勝ち試合の後は殊勲打や好投やファインプレーなどの映像を流して誤魔化していた。どれにも試合の結果を載せていないあたりが苦し紛れだった。来年はいい映像を毎月分流せるよう頑張ってもらって、29年振りの優勝を是非にもお願いしたい。7月以降の戦いを毎月出来ればね。交流戦も鍵だ。頑張らないと。

さて、明後日から講義が始まる。大学オフィシャルでは今日から秋学期なのだが。ということで景気付けに呑みに行く。いや、いつも行っとるがな、と言われればその通りなのだが。理由を付けて酒を呑むのは古来から行われている。「日本全国酒飲み音頭」という歌があるが、それの歌詞を見てください。ということで出発。

2nd STREET に不要な物を売ったが、720円にも成って嬉しい（Baystars の貯金が最多の3に成ったので尚嬉しい）

昨晩もまた生産性の無いことをしていて、寝るのがどんどん遅くなってしまった。で今日はやることが沢山ある。保険商品を解約して新しいのを契約する、と保険会社の人の言われた通りやったが、解約したのが先週の土曜日、で普通なら月曜日にお金が一旦銀行に入ってくるが、今週は月、火、水と世間様はお休みだったので、保険会社の再始動は木曜日、つまり昨日。で今日の午前中にでもお金が動かせるかも、と思って、もうええわと恒例の徹夜。色々してから10時半過ぎにシャワーを浴びて、で銀行のアプリがスマホに入ってるが、入金はまだ。西友のレストランで海老クリームコロッケを食べよう、と出掛ける。一つ大荷物も持って。何かって？後で書く。で禁煙席（今時としては珍しく喫煙席がある）で適当に座って、海老クリームコロッケとオムライスがセットになったものを頼むが、もうコロッケは終わってしまったらしい。うーん、さすがに人気メニューだな。残念だ。仕方ないので牡蠣フライとライスのセットにした。サラダがちょっと牡蠣フライに添えられてるが、軽いカレー風味のドレッシングが懐かしかった。やはり地元では人気の店だったか、90歳を過ぎていると思しきお婆さんの所へ店の人が近付いていき、「いつものでいいですか？」と聞いてた。会計の時に「コロッケ食べたかったです」と言っておいた。30日閉店だからもう一回くらい言ってもいいかとは思うが、コロッケ無いからね。ま、気が向いたら。買い物をして、駐車券を2時間無料にしてもらって、で駐車場へ。

そこですぐ帰ってこない。書いた通り大荷物があったから。2nd STREET で一つ売ろうと思っていたものがあったので、初挑戦。で鞄を車に置いて、荷物を持って向かう。今日は混んでいるらしく、査定に一時間以上掛かるとのことで、番号札を渡されて、査定が済んだらショートメールを送る、今日中に来い、とのことで一旦帰る。

2時から面談があるので、その準備。昨日書いた通りパソコンにカメラが付いてないので、職場から持ってきた USB 接続のカメラを繋いで、でいい具合に顔が映るようにパソコンの上部にカメラをセロテープで止めて、で学生が来るのを待つ。2時ちょい前に学生が来た。何の面談かというと、入学してから今年の春学期の取得単位数が著しく低い学生にアドバイスを与えるなりなんなりする、という面談。1回生だが英語2単位以外は全部不合格という学生。まあ割と大丈夫そうな学生で、何故そうなったかも自分でしっかり分析して分かっていたので、大丈夫でしょう。大学のシステムとかそういうのを幾つか教えておいて、20分弱で終了。

入金があったのを確認して、銀行は3時までだから急いで向かう。届け出印が必要だろうと思ったが、どこへやったかいな？と数日前に思い出したが、すぐ見付かったので鞄に入れて向かう。その途中でスマホからチーンと聞こえたので、2nd STREET の査定が済んだということだろう。銀行で諸々手続き。保険会社の人からは10月1日までに完了してくれと言われていたが、今日手続きなら28日に終わると言っていたので、一安心。で 2nd STREET はちょっと遠いので、歩いて行くのはちょっと。銀行は駅の近くなので、地下鉄で一駅行ってもいいが、そこからちょっと戻るのが馬鹿馬鹿しいし、帰りは結局歩くし、ということで住処に引き返して車で行くことにした。駐車場があるので、大丈夫。右折で入らないといけないが、幸いまだそんなに交通量の多い時間でなかったので、すぐ入れた。で停めて駐車手続きはどうするのか、と思ったら、入庫手続きは必要ないようだ。で店に向かって明細を見ると、何と720円。そんな高い額に成ると思ってなかったのでビックリ。そう言えば CM でやってたが、今何やらキャンペーンがやってて、20％買取料金が上乗せされるのだった。600円のところが720円に成って嬉しい。で出庫手続きをすると、入ってきた時にカメラで写されていて、「この車でよろしいですか？」の表示。小生の車のナンバーは分かり易いので、見た瞬間に同定出来た。で「はい」の釦を押して終了。無事帰ってきた。

もう3時半を回っていたので、すぐ相撲の中入りの時間に成る。ということで眠いけどいいや、と起きている。何通かどうでもいいメールが来ていたが、昨日面談をサボってしまった学生からメール。何やら交通事故にあったと書いてあったが、大丈夫だろうか？改めて面談をお願いしたいとのことで、候補を挙げてくれと書いてあったので、明日中に終わらせたいと思ってメールしておいたが返事が無い。来週に回すと昼休みにやらざるを得ないので、明日中に済ませたかったが。まあいいです。

相撲は今日も荒れた。藤ノ川は美ノ海に一方的に負けて4敗に後退した。朝乃山は勝ったので、今日の大の里の優勝は無し。で結びは大の里 vs. 霧島。本来は千秋楽結びの一番にやる筈の一番だが、優勝争いを考慮して今日やるということに成ったのだろう。霧島は今日負けると7敗だ。綱取りどころかカド番だぞ。ということで気合が入っていたのだろう。大の里を責め立てて、大の里は防戦一方。結局霧島が勝って、星の差が1に成った。明日の割は放送中に発表されてないので知らないが、後で見ておこう。

で6時から野球。色々やることがあったので、あっと言う間にこんな時間に成ってしまった。今日、明日と横浜スタジアムで Tigers と。今週の日、月の Tigers 戦は、Tigers が負けると首位陥落でマジックナンバーが消える、と回りくどく書く必要は無く、Giants が首位に立ってしまうということなので素直に Baystars を応援出来ず、Baystars が負けた時にむしろホッとしてしまっていたが、今日は Tigers と Giants は2ゲーム開いてて、引き分けの数の関係で最悪でも Tigers がゲーム差無しだが首位のまま、ということなので素直に応援出来る。が流石に眠い。様子を見て途中で横に成ろう、などと思って見ていると、1回表から早くもピンチ。エンカーナシオンがちょっとまずいプレーをしてノーアウト2塁のピンチ。中野がライトフライを打って、エンカーナシオンが肩を自慢したいか3塁へ放ったが、勿論間に合わない。森下が死球（今シーズン20個目と多過ぎ）でピンチは広がるも、佐藤、大山と打ち取って無事に済んだ。が、3回表に近本にソロホームランを打たれてしまう。近本は15試合（だったか？）連続ヒット、5試合（だったか？）連続2安打以上と絶好調。そこでダウンした。テレビは消さなかったので、寝たり起きたりしながら断片的に聞こえる音声で一喜一憂していた。4回表は満塁のピンチだが無失点、5回は先頭の近本が四球で出るも併殺打に斬って取り無失点、7回表は投手の村上に2ベースヒットを打たれるも無失点と、石田裕太郎は7回をソロホームランの1失点で済ませたようだ。ようだ、というのはそのあたりは寝ていたので。でアナウンサーの絶叫で目が覚めた。宮崎が2ランホームランを打って逆転！無死1、2塁のチャンスで今日冴えないエンカーナシオンが併殺打を打って、最悪、という展開の後だったようだ。石井大智は復活後よく打たれてる。この前もホームラン打たれてたしな。9回表はレイノルズが内野安打、ストレートのフォアボールと大ピンチ。が、元山がスリーバントを試みるも失敗で1アウト。ファールじゃなかったらダブルプレーだったから、勝利の女神はどっちに味方するかまだ分からない。が、レイノルズにスイッチが入ったか、代打木浪、代打前川と二者連続空振り三振に斬って取りゲームセット。数分前に Giants が負けていたのをYahoo!の速報で知っていたので、素直に嬉しい。Baystars の貯金は今シーズン最多の3に。Giants が残り全敗で Baystars が残り全勝だと順位が引っ繰り返るらしい。Tigers 戦は明日以外にもう一試合あるが、Tigers はそれ以外で頑張ってもらって、Baystars 戦は負けてください。

昨日 YouTube を見てたら、Giants ファンと思しき人が動画を上げてた。最下位に沈んでる Carp 相手に1勝2敗は無いわ、と、大分お怒りの様子。今日も負けたので Carp 相手の4連戦1勝3敗。4連勝を計算していたのだろうから、そりゃお怒りだな。Tigers が7連敗していたのに 上に行けず、Tigers は連敗が終わった後結構いい成績で、Giants はむしろ差を広げられてる。そりゃファンは怒るだろうが、アンチとしては気分がいい。いつまでも過去の栄光にしがみついて、数年優勝出来なかったくらいでこの世の終わりみたいな顔をしているようではね。こちとらリーグ優勝は28年遠ざかってるんだ。それくらい落ちてみな。日本一から13年遠ざかってるそうだが、まだまだ。28年前の1998年ってどれくらい昔かというと、小生が30歳、と言ってもピンとこないだろう。牧が28歳。1998年生まれということだ。佐藤輝明は牧と同期だが、1999年3月生まれなのでまだ生まれてもいない。それくらい耐えてもファンを続けられますか？長嶋が二回目の監督をやると決まった時に「長嶋さんが監督に成るんなら、またファンに成ろうかな」と言ってる人がいたのを思い出す。ちょっと負けると応援しなくなるのはファンじゃないよ。Tigers も泥沼の時期があったが、その間もファンは応援し続けた。Giants ファンは試されてるのだ。これから10年、20年と Giants が優勝しないのを望むね。出来れば数年連続で最下位というのも味わってもらいたい。90敗もしてもらいたい。貴方は耐えられますか？

今日はちゃんと寝よう。来週の月曜日から平常営業だ。と言ってもこの前書いた通り全然早起きしなくていいんだが。だからと言って酒盛りを連日やる、ということはないです。水曜日がオフに成るので、まあ火曜の晩は呑むかな。金曜日も解放感から呑んでしまう可能性は高いが、土曜日は恒例なので、金曜日は出来るだけ呑まずにおこう。この後「漫才のDENDO」とかいう番組あるようだが、見ようか？最悪でもそれが終わったら寝よう。

住処で使ってるパソコンにはマイクもカメラも付いてない

今日は2時半から面談の約束があったので、1時くらいには起きよう、ということで逆算して早寝…、はしなかった。また変な時間まで起きていた。が、11時半過ぎに目が覚めてしまった。西友に海老コロッケを食べに行っても面談には間に合う、と思ったところで気付いた。木曜日は食堂は休みだった。先週火曜定休と勘違いして行ってしまい、ガッカリしたのを思い出した。駐車場の利用料を無料にすべく、1階で食料品の調達を、と歩いていたら開口のマスターに出会って、最近行ってないのでちょっと気まずかった。

ということで Uber Eats だな、と思ってスマホを取ると、王将の京都東インター店が一覧にあった。ここは駅前の王将に無いキムチ焼き飯とニンニク激増し餃子がある。（駅前店に行けばニンニク激増し餃子を食べさせてくれるとは思うが。）ということで頼んで食べて、で2時25分くらいに Zoom を起動させて、とやったところで重大なことに気付いた。今使ってるパソコンにはカメラが無い。何とそうだったか。初めて使った時にマイクが無いと言ってきて、今時マイクの無いノートパソコンなぞなかろう、故障か？ということで Amazon で USB 接続で使える安いマイクを買って、その後はどうにかなってるが、カメラも無いとは。この前怪しげなメールが来てて、趣旨は、お前のパソコンをハッキングしてトロイの木馬を忍ばせた、そしてカメラでお前の行動を全部録画した、ばらまかれたくなかったら暗号資産で〇〇円振り込め、メールを開いた瞬間から48時間以内で、だったが、カメラが無いのなら心配ない。いや、こういうのは相手にしちゃいけないのは重々承知。前の住処に何かその手の郵便が来たことがあったが、警察に電話したら消費者センターという所に電話せよ、と言われて、消費者センターの人曰く無視を決め込めばいい、とのことだった。えーと、で2時半開始の筈だが、うんともすんとも言わない。2時45分に成っても2時55分に成っても全く現れない。3時に成っても来ないようなら中止にしよう、ということにした。最初にメールをくれた時に一日日付を間違えていた粗忽ものだから、明日だと思ってるのかもしれない。メールが来るかもしれないので、パソコンの前に座って色々作業して、返事を待つことにした。

昨日事務に依頼していたメールの件などのやり取りをしたり、生産性の無いことをしたりと、時間は過ぎて行って、あっと言う間に相撲の時間。今日も大の里は強かった。藤ノ川が霧島に勝った一番が印象深かった。最後霧島が手を藤ノ川の片手を持って万歳させてるのに、その万歳した手を押し付けて構わず寄っていって勝ってしまった。ここまで3敗。見事だ。明日大の里が勝って3敗の安青錦、藤ノ川、朝乃山が揃って負けると優勝決定だが、まあそんなことはなかろう。安青錦は琴櫻と、藤ノ川は美ノ海と、朝乃山は熱海富士とと、いずれも難敵だが。霧島は大の里に勝てるでしょうか？綱取りの場所の筈がここまで6勝6敗。勝ち越せない恐れがある。安青錦もそうだったが、綱取りの場所で来場所カド番ということが決まってしまうと、ショックは大きかろう。混戦を演出するためにも霧島は頑張らないと。

それからニュースを見て、7時半くらいから昨日の「ミラクル9」の3時間物を途中まで見た。何故途中までかというと、職場に USB 接続のカメラとマイクが一緒に成った物があるので、取りに行こうということで。明日も面談があるので。で9時ちょい前に住処を出て、職場に9時半前に着いて、でお目当てのブツと他に本を数冊ともう一品二品持って帰ってくる。ですき家で「ポークロックカレー」をと思っていたのだが、何ともう終わっていた。うーん、高橋文哉の食べてるのを CM で見て美味そうだったから食べたかったが。山科にもすき家はあるが、車で行くと国道一号を右折で入らないといけないという試練があるので、Uber Eats で頼む専門に成っていた。その際に「ポークロックカレー」があるのを確認していたが。牛丼とカレーの50円引き券（9月30日まで）を使って、いつもの牛丼＋フライドにんにく＋にんにきうファイヤーを頼んで、50円引きで570円。まあいいです。

持って帰ってきた本の内の一冊は Halter-Koch “Quadatic Irrationals” という本。学習院にいらした河本史紀さんに教わって買った本。ちょっとペル方程式というか実二次体の単数というかで気に成ることがあって持って帰ってきた。有名な事実なのかもしれないが、手近にある本で証明付きで載ってるのは高木貞治「初等整数論講義」のみ。論文にこれを挙げて (in Japanese) と書くのは気が引ける。中国語やロシア語の本を挙げてある論文は結構あるが、見る度にムカっとくるので、日本語の本を載せるのは避けたい。Nagell の整数論の本に事実は出ていたが、演習問題にで、解答が付いてない。まあ大して長い証明でなく出来るので、載せてしまえばいいのだが。これから Halter-Koch の本を調べる。Referee に教わった Mollin “Quadatics” という本もあるが、これは何やらスキャンだかコピーしたのだかを製本したような感じで、字が読みづらい。小さいし。Halter-Koch の本は印刷が綺麗で字が大きい。ということで Halter-Koch の本を見て、気力が残ってたら Mollin の本も見る。

相撲の後ちらっと Yahoo! の野球速報の頁を見ると、Carp vs. Giants は Carp が2点リードしている。よしよし。職場に行く前にもう一度パソコンを見たら、双方1点ずつ取って Carp 2点リーのまま。すき家で食事がすんでスマホを見ると、そのまま終わっていた。これで Tigers と Giants のゲーム差は2で、Tigers のマジックナンバーは6。Giants は残り6試合だし、大分厳しくなったろう。Baystars は Tigers と2試合残してる。Giants ファンは Baystars に頑張って欲しかろうな。小生の望みとしては、Tigers に2敗、他4試合全勝。これだと Giants は優勝出来ないだろうし、Baystars にも貯金が出来る。まあ Tigers と Baystars の差が10以上になるとやばいので、Tigers とは1勝1敗で手を打とう。ということで明日は相撲の後野球、明後日は野球はデーゲームなので、野球の後相撲かな。疲れる週末に成りそうだ。来週から秋学期が始まるし、土曜日に英気をタップリ養うが、その時楽しく呑めますように。

戸柱がミスを取り返すサヨナラホームラン（生涯初だそうだ）

昨晩はそこまで遅くなく寝た（一般人の感覚では十分遅い時間だが）が、中々起きられなかった。寝不足を数日続けるとやはり堪える。西友にコロッケを食べにも行ってないし、相撲も途中から見て、野球も見ながら途中でダウンした。来週から講義が始まる。そろそろちゃんとしよう。と思うが、またしても変なスケジュールに成ってしまい、金曜日の13時10分からの講義だが、月、火、木、金は全部14時55分以降に仕事始め。木曜日はもっと遅いのだが。幸い水曜日は職場に行かなくてよくなった。まあ行かないといけない日が数回あるが。

さて野球だが、Tigers は2時から、Giants は3時からだったので、見たらもう結果が出ていた。両方とも勝って、マジックナンバーは7に減っていた。よかった。で Baystars はどうか、と見始める。深沢がふらふらした立ち上がりも2イニング続けて併殺打を打ってくれて助かった。他にもセンターに入った勝又が好守を見せたり。が、3回に先制ホームランを打たれ、更にタイムリーヒットでもう1失点。が、その後の2、3塁のピンチは凌いだ。それでもまだ深沢はふらふらだが失点は何とかしない。すると4回裏に林の2点タイムリースリーベースヒットで追い付き、戸柱のセカンドゴロの間に林が生還し勝ち越し。が、6回にミス。1アウト1、3塁の場面でファーストゴロ。3塁走者を挟殺プレーでアウトにしたが、戸柱が2塁へ送球したのが暴投に成り、その間に点が入った。バタバタしたプレーで、2塁に入っていたのはセンターの勝又だからね。その後はリリーフ陣が抑え、打つ方も点が取れず、12回裏に成ってしまった。Dragons は抑えの松山を出して引き分けに持ち込もうとするが、戸柱が名誉挽回のサヨナラホームラン！今シーズン1号。今年は自身初のサヨナラ打も打ったし、まだまだ戸柱の存在は大事。これで再び貯金2。明日はセ・リーグは Carp vs. Giants のみ。Carp 頑張れよ。

さて、昨日 Baystars の2軍が優勝を決めた。去年までは2軍はウェスタンリーグとイースタンリーグに分かれていたが、今年から3つに分かれたようだ。よく知らんが。2軍は中止に成った試合の代替試合は行わないそうで、昨日 Giants が負けた時点で優勝決定とか。一昨年は1軍が3位、2軍が優勝と、今年も同じに成りそうで、そうするとまた下剋上か？と一部ファンが盛り上がっている。そうなると面白いな。兎に角貯金を持ってシーズンを終えないと。25日、26日が Tigers と、27日、28日が Carp と、少し空いて10月3日が Giants と、10月4日が Tigers、でシーズン終了。10月3日が東京ドームで、他は全部横浜スタジアム。移動しなくていいから楽だな。Tigers には負けてもいいから、他は全部勝ってね。そうすれば70勝だ。一応格好は付くかな。

相撲はいつの間にか10日終わっていた。大の里が1敗で単独トップで、2敗がいないという状況。大の里は久々に優勝出来るか？安青錦は途中3連敗したが、いつの間にか2位タイにつけているという状況。流石実力者、立て直し方を知ってるね。霧島はもう横綱は完全になくなっている。5敗はいくらなんでもね。頑張って10番は勝ちましょう。熱海富士は3敗で、場所後の大関は無さそう。頑張って今場所稼げるだけ稼いで、来場所後の昇進に繋がるよう星を稼ぎましょう。

5年連続Aクラス決定。Tigers のマジックナンバーは8に

また結構呑んでしまって、途中から記憶が無い。資源ゴミは全部出したらしい。計算用紙とアルミ缶は消費中だったから、最後に残していたが、ちゃんと部屋から無くなっていたからまあ大丈夫だったのだろう。

で昼過ぎに起きたが、例によって電気を消してなかったし、テレビも消してなかった。ただケーブルテレビのチューナーは自動的にオフに成るので、音が聞こえなかった分それなりに寝られたようだ。で Uber Eats にすき家の牛丼とフライドにんにくとにんにくファイヤーを頼んで食べたが、食べ終わったくらいから何か調子が悪くなってきた。やはり呑み過ぎか？相撲を見られるように起きようと思ったが、6時過ぎまで起きられなかった。

野球も既に始まっていたが、1回裏の途中で既に2点リードしていた。牧がキャリアハイの30号ホームラン（2ラン）を打ったようだ。その後古市にもタイムリーヒットが出て3点リード。が、今日の東は良くない。見てないが1回表に満塁のピンチを凌いだようだが、2回表に2ランホームランを打たれ1点差にされてしまう。が今日は攻撃がよかった。3回裏にエンカーナシオンがタイムリーヒット、4回裏に度会の2塁ゴロでホームは際どいタイミングだったがセーフ。記録はフィルダースチョイス。更に佐野が2点タイムリーヒットを打ち7－2。東は相変わらずふらふらしていたが、大ピンチを1点で凌いで、5回でお役御免。まあ5回3失点なら普通は合格だが、東だともっと高い要求をしてしまうな。その後リリーフ陣が無失点に抑え、7－3で勝利。今日の勝利は大事。何故かと言うと今日の勝ちで3位以上が確定したのだ。5年連続のAクラス。更に貯金が1に成った。一時はAクラスも貯金も絶望的だったが、よく盛り返した。エンカーナシオンが入ってから本当に上向いた。まだ優勝の可能性は残ってるが、まあ現実的ではない。2位もどうかな。3位から2年前の再現をしましょう。

さて、今日は Giants は3時からだったが、途中で見たら1－1で延長戦に成ってた。でまた暫くして見たら、Carp にサヨナラ負けをしていた。よしよし。で Tigers が初回に4点取ってて、すぐ2点取られたが取り返して、久々の1.5ゲーム差、マジックナンバーが2減るか、と何度か様子を確認していたが、みるみる追い上げられて、7回裏に追い付かれた。むぅ。9回裏に石井が先頭打者を四球で出すも、三振ゲッツーでピンチの芽を摘んで、1回無失点。こちらも延長戦に。でまた10回裏に大ピンチ。先頭打者を打ち取るも、ヒット、四球で走者をため、次の打者にも2球続けてボール。ここでドリスが何やら故障したようで、セベリーノが緊急登板。四球を出すも、これはドリスの四球という記録に成る。三振を取ったらセベリーノの三振が記録されるが。で1死満塁でサヨナラの大ピンチ。が、そこから2者連続空振り三振でピンチを凌いで、で昔から言うようにピンチの後にチャンス有りで、11回表に先頭の大山がヒット、高寺が2ランホームラン。11回裏は工藤が出てきたが、2死後ヒットを打たれ、一打同点の場面を作られるも、三振に斬って取りゲームセット。1日でマジックナンバーが2つ減ったのっていつ以来だろうな。それと1.5ゲーム差に成って、明日は首位交代の可能性が無い。こんなのも凄く久し振りだな。これで Giants はがっかりで Tigers は調子に乗るだろう。ということは Baystars の2位あるか？と思ったが Giants との差は6ゲームで、残り試合は Baystars が7、Giants が8。現実的ではないな。ま、CS に進出出来ることが決まったので、あまずは上々。貯金を作って終われるよう、残りも頑張ってくだされ。

昨日「光一＆シゲのSHOWマン！！」でイグノーベル賞のことをやってたが、面白かった。昔書いた本にバナナが滑るということを書いてしまい、本当か？と疑問を持ち、責任感から研究していたどこかの教授の話。定年間近に成りそれの研究をして、イグノーベル賞を取れたそうだ。他の受賞者も出てたが、皆純粋に面白い、興味深いという理由だけで研究していて、役に立つ、立たないは興味が無かったようだ。そのバナナの皮の研究をした人だが、これが人間の関節や内臓のことと結び付いてるのに気付いたと言ってた。始めた時は役に立つと思わないことが役に立つということはあるもので、小松啓一先生が楕円曲線なんて役に立たないものの権化かと思っていたが、素因数分解や暗号に応用されてビックリしたという趣旨のことを仰っていたし、伊藤清先生は別に自分の研究が経済に役に立つとは思ってなかったそうだから、まあ興味のままにやればいいのです。ただ雑誌が論文を載せてくれなかったり、研究者として雇ってもらえるかどうかがあるから、若い時はある程度本流に乗った方がいいのだろうが。学生にちゃんとした研究をさせる責任もあるから、こっちも勉強はしないとね。あんまりしてないけど。

今日はちゃんと寝よう。明後日と明々後日は2時過ぎからだが学生と面談をしないといけないし、他にもそろそろやらないとまずい仕事もあるし、その件で同僚や事務にメールを書かないと。まあ事務は明日は休みだから、そっちは急いでも仕方ないが、同僚は休日でもメールを見てるみたいだから、書かないと。講義絡みでやらないといけないこともあるしな。それに西友山科店の閉店が近付いてきたから、もう一回食堂に行って海老クリームコロッケを食べておきたい。ということで「テレビ千鳥」が終わったら寝るか。いや、また夜更かし（朝早し）してしまいそうだが。Baystars の A クラス決定の祝杯は後日上げる。

徹夜して朦朧とした状態で Tigers vs. Baystars が Tigers のサヨナラ勝ちで終わるのを聞いて、嬉しいような悲しいような

寝なあかん、という状態に成ると色々やらないといけないことを思い出したり、書き散らかした紙に書いてあることをちゃんと考えようかと始めてしまう。やったのはなにかと言うと、ある不定方程式（実二次体上の不定方程式を Z 上の不定方程式に帰着せたもの）に解が無いかどうかの規準を作って、でコンピューターで確認した。が、根本的に勘違いしていて、変な結果が出てしばし悩んだ。で正しく出来た、と思ってコンピューターに計算させると、これまた予想外の結果。で考えると、その規準は全く役に立たないことが分かってしまった。むぅ、時間の無駄。これが使えれば無駄に有理点探しをしなくてよくなる筈だったのに。結局やるしかないのか。脱力。で時計を見るともう10時くらい。朝のね。とんでもない。途中腹ごしらえをしたりはしたが、もう腹が減ってきた。あまり早く昼飯を食べてもよくないので、11時まで待って、それから Uber Eats にトンカツを注文。来るまで1時間くらい掛かって、もう2時の野球開始までそんなに時間が無い。何してんだか。

昨日同様 Tigers vs. Baystars だが、Tigers が負けると2位転落で、マジックナンバーも消える、というのは昨日と同じ。が、引き分けなら首位はキープのまま、マジックナンバーは一つ減り、Baystars も貯金1のまま、ということなので、 なら引き分けで、とか昨日同様テレビを見てたら頭の中ぐるぐるに成るので、音だけ流して寝床でスマホをいじってた。流石に眠くなってきたが、音声が聞こえているので深くは眠れない。Tigers が 1回裏にに1点、Baystars が3回表に1点、Tigers が3回裏に1点、Baystars が4回表に1点と、シーソーゲームの様相。その後どちらも点が取れず、理想通りの引き分けに成るか、という感じ。Tigers は4回から7回まで走者を全く出せず、Baystars は8回表にノーアウト2、3塁のチャンスを作るも、サードゴロで走者そのまま、スクイズを失敗して3塁走者が刺され、その後内野ゴロで無得点と、どちらも勝ちたくないように見える。でうつらうつらしながら音声を聞いてたが、延長戦に突入。これは理想通りか、と思っていると、アナウンサーの興奮する声が聞こえて意識が戻る。何と11回裏に大山にサヨナラホームランが飛び出した。むぅ。まあ Giants が首位に成らなかったからいいです。Baystars の勝率は .500 に成ったが、借金があるわけじゃないし。明日は堂々と Baystars と Tigers を応援出来るし、Giants を呪うことも出来る。まだ Tigers との試合が幾つかあるが、Giants が幾つか負けてれば Baystars を応援出来る。Carp に頑張ってもらわないと、と言いたいが、今日の Carp は5位争いをしている Dragons に0－10で負けて、CS 進出の可能性が無くなったという体たらく。Giants 相手に勝てるとは思えない。Tigers は Swallows が相手だが、今日 Dragons が勝って Swallows は何と5位転落。Swallows の失速が激しいから Tigers は勝てるだろう。兎に角 Giants だけは優勝させちゃ成らねー。全力で死守しないと。

野球が終わったのは既に6時過ぎで、相撲がどうなったか全く知らない。7時からの NHK のニュースを見ればよかったが、「Qさま！！」を見たかったので見てない。3時半過ぎに NHK 総合でダイジェストをやるが、起きていられるでしょうか？ということで NHK BS の番組表を今見たが、もうすぐ始まる。セレッソ大阪の応援番組と韓国ドラマは見るつもりが無いので、その間に録画しておいたダイジェストを見よう。

あ、明日は資源ゴミの日だ。分別しないと。アルミ缶の消費（⇔ 酒を呑む）もしないと、と書いてるが、既に呑みながら書いてる。超寝不足なのに呑むか？という感じだが、いいです。来週から普通に職場に行かないといけなくなるので、今週はダラダラと過ごして、英気を養ってから気合を入れ直します。ゼミの予定はまだ一つしか決めてない。学生から返事が無かったり部屋が埋まってたり。どの先生方もゼミを沢山やってるようで、もっとゼミ室を貰わないと。どこかのゼミ室を別の目的に使うために潰すような話があるようだが、代わりの部屋を寄越せ、と交渉中のようだ。代わりでなく純増に成るようしてもらわないと。大きい部屋じゃなくて、マンツーマンでゼミを出来るのに適した小さい部屋を幾つか余分に欲しいという先生方は多かろう。そう成ると嬉しいが。まあそれはともかく、今から呑み呑み分別する。また寝るのが遅くなりそうだ。

Baystars が負けたということで Tigers が勝った。何か複雑な心境

結局昨日は Baystars が勝つまで見たが、時間の関係でブログの更新は出来なかった。でふなごやでは Tigers が危なくなってきた話など。他にも中村ゆりが死んだ話とか。YURIMARI のことを店長は知らなかった。昔1月8日生まれの有名人を調べた時に MARI の方がそうだと知って、ホームページに書いた時以来 YURIMARI のことなんて忘れていた。2枚目のシングル「未来はコンピューターネットワークの中に」の冒頭部分は印象的。調べてみて。で全然寝てなかったが、いつもの通り呑んでも眠くならなかった。いつもは支払いの瞬間を覚えてないが、昨晩は大体幾ら払ったかも覚えている。勿論1円単位で覚えてはいないが。で帰ってきてパソコンを見ると、有理点探しの追試は終わっていて、記録して、で嫌なことに気付いてしまった。有理点を見付けてない曲線が一つ残っていた。予想される canonical height（正確には canonical height と ш の位数の積だが）が940超と、時間が掛かりそうでペンディングにしていたか。前に求めたやつから想像するに、一週間以上掛かるが、仕方なく始めた。夏休み中に終わると思っていたが、残念だ。

で流石に限界が来てダウンしたが、電気もテレビも消してなかったので、眠りは浅かった。3時半過ぎに起きて、Giants が負けてますようにと願って野球の速報の頁を見たりしながら相撲観戦開始。大関を狙う熱海富士は勝ったが、横綱昇進が掛かる霧島は3敗目で、絶望的に成った。豊昇龍が横綱に成った場所も早い内に3敗して絶望と言われていたが、そこから全部    勝って12勝3敗で優勝決定戦に出て、優勝して横綱に成ったが、あの時は照ノ富士が引退して横綱がいなかったからちょっと緩かった。今は横綱は二人いるし、無理に昇進させた豊昇龍がその後冴えないので、まあ3敗では横綱は無理だな。途中野球の経過をチラチラ見たが、Swallows が2点リードしててよしよしだったが、次に見たらなんと引っくり返されてる。むぅ。昨日でゲーム差無しに成っていたから、Giants が暫定だが首位に成ってしまった。むぅ。

で6時から Tigers vs. Baystars の試合だが、見る気が湧かない。Baystars に勝って欲しいが、そうすると Giants が首位に成ってしまう。Tigers のマジックナンバーが消えるとも言ってた。まだ睡眠が十分でなくて眠いのもあるし、寝床でスマホをいじりながら音声だけ聞いていた。Tigers に点が入るたびに何故かホッとしていた小生は本当に Baystars を応援してるんでしょうか？と思ってしまう。Baystars にはまだ貯金がある。いいのだ。牧にホームランが出た時は本当に嬉しかったが。ここ6戦で5発と大当たり。29本は自己最多タイ。初の30発が狙えるぞ。頑張れ。Tigers 戦以外全部勝てば貯金は残る筈。ゲーム差も10未満の筈。それで CS に突っ込みましょう。

ケーブルテレビのチューナーのハードディスクがカツカツなのはずっと続いてるが、今は末期症状で、今日の大河ドラマと明日の大河ドラマアンコールは Blu-ray ディスクに直録りしないといけない。今週は「ミラクル9」の3時間スペシャルと「芸能人格付けチェック」があるので、余裕を作っておかないと。ダビングを幾つかすれば大丈夫な筈。あ、「長宗我部兄弟」というスペシャルドラマが NHK でやるのも録らないと。これ17日に放送した、と成っていて焦ったが、関西ではその日別の番組がやっていて、23日に放送されると知ってホッとした。もっとも NHK ONE で見ることは出来るので、別に構わないと言えばそうなのだが。長宗我部元親には昔から興味がある。今日の大河ドラマは秀長を大将とする長宗我部との戦のようだ。司馬遼太郎の「夏草の賦」もいつか読みたい。まあ今読んでるのが済んだら杉本苑子「影の系譜 豊臣一族の血脈と興亡」を読むが。分厚いのでちょっと掛かるな。兎に角読むスピードが追い付かないほど本を買ってるので、どうにかしないと。時間が幾らあっても足りない。数学もしたいししないといけないしな。健康な老後を送れればいいけど。

世間は5連休らしく、高速道路の激しい渋滞に巻き込まれた

結局今朝は早くに職場に行ってブツを探そうということにして、寝ないことにした。6時30分ちょっとに住処を出る。高速道路は1kmばかり渋滞してたが、まあ大したことなかった。でウェストウィングの目茶目茶近くに停めて、部屋で捜索をしながらゴミ出しを少々。が、無いな。封筒に入れてもらったんだか、冊子か何かを貰ったのか、受け取ってすぐクリアファイルに入れたのか、全然思い出せない。鞄に入ってる沢山のクリアファイルを丹念に見たら、保険会社からと思しき書類があって、日付を見ると貰った日だな。ということは紙っぺらを数枚貰っただけなのかな。まあいいや、電話があった時にちゃんと確認すれば、ということで1時間程度やって終了。でそのまま帰るのは馬鹿馬鹿しいから、部屋掃除を少々。いや、前より散らかってるんだが。まあゴミ出しを結構したのでいいのではないかと。また授業アンケートの残紙が大量に出てきて、ウンザリした。前に出てきたのは学生の溜まり部屋に計算用紙に使ってくれと置いてきたが、それに追加。封筒の表書きを見たら、「卒業研究」と書いたものがあった。10名弱の卒研の授業アンケートなんて意味あると思ってやってる当局の気持ちが分からない。他にも登録人数が卒研よりも少ない講義科目に対してのものがあったり。ウェブアンケートにしてくれて紙を使わなくなって地球に優しくなったのはいいことだ。答える人数も減ってるだろうけど。

で9時40分くらいに部屋を出たが、これが大失敗。高速道路が大混雑。今日から5連休という人がいる。このくらいの時間は丁度出掛けようとするタイミングだな。高速道路に乗る前に見えたのはトロトロと進む車の列。インターが近付くと「草津JCT－大津 渋滞7km」の表示。まあ大したことは無いか、と思ったら結構とんでもなかった。草津田上から入って、合流にまず一苦労で、ジャンクションも相当混んでて、で名神に合流するのにまた一苦労。合流した後もトローりトローりと走る。明るい時間に渋滞に巻き込まれるのは久し振りで、草津PAを跨いでる橋に「草津P.A 大阪まで67km」の文字が書いてあるのに初めて気付いた。ただ気に食わない「P.A」でなく「P.A.」ね。学生が such that を「s.t」と略したり、即ちのつもりで「i.e」と書くのを「s.t.」と「i.e.」に直させてる。略した所に . を打つ、というのが原則。だから Jean-Pierr Serre は J.-P. Serre と略されるのだ。などとつまらんことを考えながらゆっくりゆっくり進む。瀬田東JCTってこんなに遠かったかな？大津インターが近付いてくるとちょっとずつ流れ始めたが。が、また大津インターを過ぎると渋滞のようだ。途中どれくらい時間が掛かるか表示されているが「吉川 2時間以上」と書いてあった。こんな表示があるのか。通常だと1時間掛からない筈だが。で大津インターが近付くと「京都南まで渋滞」の表示。大変だった。京都東を下りたのがもう10時半近く。疲れた。ただあれくらいの混雑だとかえって気が張ってて、全然眠くならなかった。未だに運転してて眠くなったことは無い。まあ大きな事故に繋がらないよう、ちゃんと体調を整えて運転しないとね。今日は特例。で四宮で左から合流してくる車の列が跨線橋にダーッと繋がっていた。前の車が合流したがってるので車間を空けて赤信号で止まっていたら、その後ろの車がヌルっと入ってきて、何だと思ったら右折レーンに行きたかったようだ。その後ろのもう一台も同じことをやってた。通れるんかい、と思ったら通れたから、あの運転手には狭く感じない車間距離だったのだろう。

何故こんな早く職場を離れたかと言うと、10時40分に近所で用事があったため。が、住処に着いたのが既に10時40分。遅れたがまあ大過無し。用事を済ませてなか卯で食事。まだ鰻があったので、親子丼と鰻があいがけに成った奴を食べてきた。

帰ってきて寝ようかと思ったが、ちょっとゴソゴソとやってタイミングを逸した。「ポツンと一軒家」がやってたが、80くらいの婆様が山奥で一人暮らしをしていて、「四駆の遊び場」という謎なキーワードを言っていたが、何だと思ったら、自分の土地を整備して、ランクルの類の四輪駆動車が楽しめる東京ドーム一個分くらいの敷地を作って、そこで四駆の車のオーナー達が楽しんでいた。大きい車に乗る人達はああいうのが楽しいんだな、とちょっと分かった。小生のように狭い所をチマチマ走るのにあんな車はいらないので、一生購入しないけどね。

で寝床で YouTube でも見てれば眠くなるだろう、と思ってたら保険会社の人から電話。やって掛かってきたか。で言われた通りオンラインで手続きをするも、何かおかしい。コールセンターに電話をして聞いてください、とのことで、一旦電話を切って、そっちに掛ける。謎が解けた。で掛け直して、ウダウダとやって解決。これで気になっていたことが一つ終わった。

でもう4時近かった。相撲が見たい、ということで、もう寝なくてもいいや、と開き直る。今日は国仲涼子がゲストで来ていて、元安芸乃島の高田川親方と親交があるとかで、解説は高田川親方。部屋の湘南乃海が漸く初日が出て、国仲涼子大喜び。親方は勝ったが内容が良くないと厳しかった。結びが大の里と国仲涼子と同郷の沖縄出身の美ノ海。横綱も同郷の力士も応援したくて複雑そうだったが、結局横綱が万全の押し出しで勝利。楽しそうでよかった。

でもう当然野球の時間。Giants はデーゲームで14－0と圧勝していた。不愉快に成ったが、Baystars が2回に先制したのでちょっと機嫌が直る。が、3回までよかった尾形が4回に1点、5回に2点取られ、またしても不愉快モードだが、さっき一気に機嫌が直った。何故かと言うと、7回裏に牧が満塁ホームランを打った。ちょっと打ち過ぎだったからか、昨日、今日と牧の内容が良くない、と解説の五十嵐亮太氏が言っていたので嫌な感じだったのだが、それを払しょくしてくれるのは流石。まだ試合は終わってないが、もうちょっとしたら呑みにいかないと。超寝不足だが、こういう時は案外もつもんだ。今晩はタップリ寝るよ。行く前に Tigers はどうなってる？と見たら、Carp に4点リードされてる。勝率を計算したが、このまま Tigers が負けるとゲーム差無しだが Tigers が単独首位のまま。まあよかった。明日、明後日と Tigers vs. Baystars なので、心置きなく観戦するには今日 Tigers に勝ってもらって Giants に負けて欲しかったが。まあ仕方ない。今日はちょっと貢物があるので、それで店長には機嫌を直してもらおう。ということでボチボチ行きます。

そりゃ9連勝など出来んよ

前に書いたが、保険会社の人から何か渡されている筈。住処にあったと随分前に思った気がしたが、昨晩開けたらどうも違うっぽい。これはやはり職場に置き忘れたのか？仕方ないから職場に行くか、と寝る前に思った。早目に起きて、昼飯を食べて、職場をゆっくり探す、の算段だったが、起きたら既に3時近く。やはり急に生活リズムを戻そうとしても無理だ。ということで急いで冷凍パスタを電子レンジで温めて食べて出発。

で職場に着いたが、それっぽい物が見当たらない。変だな。少し探すも見付からない。が、他に伝票の処理とかもやらないといけないので、それを済ませてもうちょっと探すも見付からない。保険会社の人に問い合わせるのが早かろう、ということで電話をするも出ない。メールを書いても返事が無い。マンションの理事会が7時からなので、渋滞する6時台は1時間近く掛かる可能性もあるので、6時くらいに職場を出ようとしてウェストウィングの割合近くに停めた車に向かうと、エンジンを掛けようとしたタイミングで電話。やはり職場にあるようだな。6時20分には職場を離れたいぞ、ということで戻って短時間探すもやはり無い。保険会社の人は明日の昼過ぎに電話をすると言ってたが、物が見付かってないのに電話してこられても困る。住処を探してみて無かったら明日また探しに職場に行く。見付けないと。

流石に高速道路は渋滞。草津JCT－京都南 渋滞15kmの表示。住処の脇に着いたのは7時20分くらいだが、慌てているためか車庫入れが上手くいかない。後ろから入りたがってる車が来てるし、仕方ないから前進、左折、左折、左折で戻ってくることにして、無駄な時間を使う。で戻ってくると、さっき小生の後ろにいた車が車庫入れを終えたところだった。やはり無駄な時間を使ってよかった。待たせていたら相当苛々されたろうな。で理事会には20分遅れくらいで出席。が、マンションの管理会社の人が3人で、こちらの出席者は小生も入れて3人。やる意味あるの？という状態であったが、暫くして3人が五月雨式に入ってきて、まあ形には成った。月曜日にやることが多いのを金曜日にしたのが出席者の多くが遅れた原因だろう。でウダウダと長時間議論、というか一部の人が喋ってるだけといういつものパターン。まあ大事なことなので、聞いておくだけでも意味はある。ただ膀胱が破裂しそうなので、早く終わらせて欲しかったが、結構続いた。終了後直ちに退散。

用足しをしてからテレビの電源を入れる。今日はパ・リーグは無し。Hawks はいい日に優勝したね。ビール掛けを心置きなく出来ただろう。でセ・リーグ3試合だが、いずれも接戦。昨日連敗を止めた Tigers は4回に2点取ったが8回に1点取り返され、結局2－1の勝利。Giants は9回表終了時点で0－0で、9回裏にサヨナラ2ランホームランで勝利。Baystars はというと、7回終了時点で0－0。片山が好投していたようだ。が、8回表に伊勢が3失点。8回裏に2塁に走者を置いたところで Swallows の山野が暴投を2つやって、それで1点。が、結局それで終了。やはり打ち過ぎが響いたか、昨日はソロホームラン2発の2得点のみ、今日も上に書いたような得点のみ。これは気を付けないと明日以降貧打に成るぞ。明日勝って連敗は避けましょう。まあ今日負けたのは仕方ない。9連勝も10連勝もは出来んさ。9連勝したら25年振りだったそうだから。25年振りというのは「2025年以来」のことではなく、「2001年以来」のことね。前にも書いたが、「1998年ぶりの優勝」というのはやめてほしい。

さて、起きてパソコンを見たら、リブートされてた。やはり Windows update を完全に妨げることは出来ないのか？セキュリティーのためだから update は当然するけど、やりたくない時に勝手にやるのはやめて欲しい。まあ昨日書いた通り、ш の位数が9である曲線で、無意味に height のデカい点を探していた可能性はあるので、止まったのは別にいいけど。それに既に Magma Calculator が点を見付けてくれてたし。しかしこういう例を見せられると、Magma Calculator を使ったことを論文に正直に書いた方がいいかもな。小渕恵三元総理言うところの「ボキャ貧」というやつだから、そんな難しい英語は書けない。まあもうちょっと考えますわ。

昨晩の「アメトーーク！」で方向音痴芸人が多数出ていたが、気持ちよく分かる。小生も結構な方向音痴。今のカーナビは性能が良くなったが、最初に乗った車のカーナビは結構しょぼかった。今のは大容量ハードディスクが搭載されてて、ちゃんと目的地の目の前まで連れて行ってくれる。高松に行った時に「ホテルは左側にあります」と言って、本当に左折でホテルの駐車場に行けた時は感動した。最初の頃のは東日本、西日本の2枚の DVD ROM に分かれていて、「目的地周辺です」ととんでもない所で案内を打ち切られてよく難渋した。それと「間も無く右方向です」と言われても、間も無くっていつ？と不安に成った。芸人連中も同じことを言ってた。今のカーナビは二つくらい前の信号から案内が出始め、「この信号を右です」と言ってくれるから助かる。一昨年名古屋に出張に行った時は、帰りにホテルから高速道路に乗る道が複雑だったが、カーナビがちゃんとしていたお陰で一発で乗れた。技術の進歩は大事。歩きでもカーナビのようなアプリがある筈だが、そっちは未だに使ってない。導入しようか？今晩の「探偵！ナイトスクープ」では犬が怖い子供を取り上げてたが、こちらもよく気持ちが分かる。知り合いの家を入るとでっかい黒い犬（クロという名前だった）にワンワン吠えられて、子供心に恐怖心を抱いてしまって、犬は今でも苦手。前住んでたマンションの近くでいつも犬を散歩させている婆がいたが、そやつが小生を見ると「あ！このオジサン犬苦手なんやわ」と言ってたが、「誰がオジサンや！」と言い返す余裕も無かった。今でも犬を散歩させてる人を見ると、可能な限り距離を取る。幾つに成っても子供の頃苦手だったものは苦手なのです。「三つ子の魂百まで」という言葉があるからね。山科区内で犬を飼うのは禁止です。小生が罰するので、やめましょう。

Tigers の連敗は止まるも Baystars の連勝は止まらないよ。Hawks の勝ちも止まらず、パ・リーグ優勝決まる

結局昨晩はアニメを見て、相撲のダイジェストまで見てしまった。で昼ちょいに目が覚めて、西友のレストランで食事、と出掛けたが、閉まってる。食堂だけ早目に営業終了してしまったか？と思って見ると、定休日らしい。営業は西友同様9月30日まで、と書いてあった。定休日は火曜日じゃなかったかいな？と調べたら木曜日でいいようだ。勘違いか。まあいいや、ちょっと足を延ばしてはま寿司へ行こう、ということにした。駐車場代を払いたくないので、買い物を少々。で外環状線をもう少し南下。

はま寿司は中トロ100円フェアをやってる、と思っていたが、もう終わっていた。色々ついてない。まあ160円で食べられるんでいいけど。期間限定品であることは変わりないようだから、レギュラーメニューの中トロよりはいいものを出してくれていると信じる。他のも秋刀魚や大切りかんぱちを食べたり。今調べたら、鰈のフライの握りというのがあったようだ。また近い内に行って食べよう。他にも大トロサーモンとかはまちとかちょっと高いものを食べて、大海老とかの100円メニューも適宜。でいつもの通り鰻で〆て、2100円くらい。まあ満足。左右の信号のタイミングが良かったのか、右折で出られて、最短距離で帰ってくることに成功してよかった。

そのまま三条通を左折して DCM に行ってもよかったが、狭い道を走る必要があるのと、帰りは三条通を左折してすぐ右折でマンションの敷地に帰らないといけなく、鬱陶しいので、車を置いてから歩いて行くことにした。再生紙100%のティッシュペーパーとボールペンの替え芯5本セットを買って、ちょっとだけ環境に優しいフリ。

暫くすると相撲の時間。今日は安青錦が連敗、ここまで唯一の勝ちっ放しだった琴櫻が負けたりと、波乱があった。大の里は今まで勝てたことがない義ノ富士が相手だが、強さを見せて寄り切った。明日も見所沢山。

6時から野球、ってここのところこれ以外のことを書いてないな。相撲は中入り後で2時間くらい、野球は1試合3時間強のことが多いから、一日が短い。まあいいです。今日は神宮で Swallows と。石田裕太郎は勝ち運が無い（4勝8敗）。援護点が少ないのが原因。東は前にヒーローインタビューで「もうちょっと点を取ってください」と言ってたが、この前猛打大爆発だったから、今日も、と思ったが、やはり石田の時は点が入らない。3回に牧がソロホームラン。解説の谷繁氏が、攻め方について要注意であることを言ってる最中に初球ホームランだった。4回は筒香がソロホームラン。こちらも初球。しかし得点はそれだけ。Swallows 先発の奥川が6回を投げ切った所で自身初のシーズン規定投球到達だそうだ。7回まで投げて2失点。奥川も負けが多くて、防御率2点台だからあまり援護が無いんだろうな。その後 Swallows に1点取られたが、最後はレイノルズが三者凡退で締めて8連勝。貯金が2に成った。素晴らしい。が、今日はソロホームランで2点だけ。ちょっと一昨日まで打ち過ぎて打撃が荒くなってるんだったら怖い。締めてかからないと。明日、明後日は横浜スタジアムで Swallows と。変則な三連戦だが、連勝したら3タテと言うんだろうか？

Tigers はどうなってる？と見たら4点リードしてる。1回に佐藤がタイムリー2ベースヒット、大山が2点タイムリー2ベースヒットを打ち、2回は森下にタイムリーヒットが出たようだ。流石に今日は勝つでしょう、ということでチラチラ見てると、森下がレフトポール直撃の2ランホームランを打ち、更に大山がバックスクリーンに飛び込むホームランで7点リード。もう決まりでしょうな。大盛にソロホームランこそ打たれたが、その後ドリス－石井－工藤と無失点リレーで、漸く連敗が止まった。明日の関西の情報番組は賑やかでよかろう。これで Tigers と Giants は1ゲーム差、マジックナンバーは13。一時の停滞ムードは脱したかな。Tigres は Carp 3連戦後 Baystars と甲子園で2連戦。そこで Baystars が連勝しても影響が無いくらいの差を Carp を叩いて作っといてな。

などとしてからパソコンをいじりいじりニュースを見ていたが、何やら Email が届いて、見ると「ソフトバンク優勝」の速報。何と。途中まで1点リードされてたのは確認したが、6回に4点、9回に3点取って、盤石の勝ち方をしたようだ。少し前に Lions が負けていたようで、Hawks の勝ちが決まった瞬間に優勝決定だったらしい。今は福岡ソフトバンクホークス、その前は福岡ダイエーホークスだったが、元々は南海ホークスと言う大阪のチーム。今日の優勝が京セラドーム大阪だったのも何かの縁だな。リーグ3連覇を9連勝で決めるという、とんでもない強さだ。5月には借金があって4位だった時期があったが。祐大が入ってから風向きが変わったな。祐大はすぐ怪我をしてしまったが、その後チームは勝ち続けた。祐大は優勝争いが出来て嬉しいと言ってた。一応優勝経験はあるのでは？と思ったが、言われてみれば一昨年は祐大は手を骨折してて、CS と日本シリーズには出てなかった。だから初めてなのだな。上茶谷も活躍したし。嶺井はまだいるのか？と思ったらいた。去年は63試合出たようだが、今年は1軍出場無し。ま、一緒に騒ぐ分にはいいでしょう。祐大が横浜スタジアムで試合が出来るよう、頑張って Baystars は CS を勝ち抜いて日本シリーズ行くぞ。Lions との日本シリーズでデニー友利が出てきたら、球場中デニーコールで一杯に成ったからね。祐大の時も大声援が飛ぶでしょう。ただ活躍はせんといてな。あ、まだ日本シリーズどころか CS 出られるかどうかも決まってないからね。今日の結果でパ・リーグは Hawks、Lions、Fighters が CS 進出決定、セ・リーグは Tigers、Giants の CS 進出が決定らしい。まあ Baystars と Swallows は9ゲーム差で、残り試合数はそれぞれ12と13。まあ大丈夫だろうが、Tigers のような失速はあり得るからね。8連勝もした後だ、何かあってもおかしくない。頑張っておくれ。

一昨日の夕方6時19分に有理点探しを仕掛けたやつがまだ終わってない。Magma Calculator は3.6秒で見付けてくれるのだが。見ると不思議な現象。ConjecturalRegulator の値と実際の regulator の値が大きく違う。約 802 と約 89。でマニュアルと格闘して分かった。この曲線の ш の予想される位数は9らしい。PARI/GP は height が89の点ではなく 802 の点を探しているのかも。うーん、そうか。そりゃ時間掛かるな。まあ急ぎでやることは無いし、暫く放っておくか。パソコンが Windows update をしたがってウズウズしているようなのだが。前に何か設定をいじったので、勝手にリブートを仕掛けてこないのは助かる。「再起動しますか？」的なメッセージは一回だけ出たが、うんにゃ、と九州弁で答えたらそれっきり言ってこない。取り敢えずやらしときましょ。

西友で酒を買ってきたが、呑むわけにはいかない理由があった。明日はこの前延期に成ったマンションの理事会。途中で腹の調子が悪くて中座するのは格好悪い。それに、会合をやる場所から小生の部屋は結構遠い。管理人室にトイレはあるだろうが、ちょっと貸してもらうのもどうかと思うし、長時間の中座はちょっとな。ということで今日はやめておこう。明日の晩は、と思ったが、明後日は午前中に区内某所に行かないといけない用事があるのだった。まあ呑み続けて起き続けてればいいんだが、酒臭いのは嫌だしな。マスクをしても体中から酒の臭いが漂ってはな。たくろうのCMのように「リセットこ」では済まないから。で晩は外で呑むから、数日冷やしておくことなるでしょう。まあいいです。来週で休みも終わりだ。少し羽を伸ばして英気を養うことにする。

全勝力士がバタバタと負けて、内容の良くない琴櫻が単独トップに

昨晩は割と早く寝た。いつも書いてるが、普通の人の感覚では十分遅いが。でやはり無茶をしたからか、寝床に入ったらすぐに落ちた。で12時間以上寝てしまった。流石に体は正直だな。

Uber Eats に昼飯を頼んだが、中々来ない。五条通のすき家の前で配達パートナーが全く動かない。結構待った。漸く動き出して、何かメッセージが来ていたが意味が分からなかった。で結構冷めてたが、まあ仕方ない。熱々が食べたかったら自分で料理するか、もしくはズボラしないで飯屋まで出掛ければいいだけ。

で昨日夜やっていた「座王」の細身センス眼鏡スペシャルを見て、NHK 総合にチャンネルを合わせると、4時前だが相撲の中継が始まっていた。十両の最後の一番で、玉鷲の取り組み。4日目にして今場所初勝利で、907勝。安美錦に並ぶ歴代8位タイの白星だそうだ。鉄人まだまだ頑張る。立派立派。中入り後は今日も波乱があって、安青錦が伯乃富士に、大の里が高安にそれぞれ負けた。勝ちっ放しは琴櫻のみ。ただ琴櫻は押し込まれての逆転勝ちが多く、安定性に欠ける。「褒められたもんじゃない」と大関も自覚しているようだ。もっと体を利した勝ち方をしないと。今場所も混戦になりそうだ。

今日はセ・リーグは試合が無く、パ・リーグ2試合だけ。Hawks のマジックナンバーが昨日終了時で3に成っていたが、今日はどうでしょう？と思ったが、眠い。寝過ぎると逆に眠いよね。ということで相撲が終わってからちょっと寝た。それから一昨日の「プロ野球ニュース」を録画してあったのを見たり。一昨日はセ・リーグ3試合だけだったから、いつもより1試合を時間を掛けて解説してくれていた。11時からの番組だから、Baystars が12回裏にサヨナラ勝ちした試合は最後。やはり解説者がライデル・マルティネスが3塁を見たのが良くないと言ってた。2イニングを無失点に抑えた石田健大は一切映像に出なかったが、ヒーローインタビューは流してくれた。それとセンターに入っていた三森が前進してフライを捕って、飛び出した1塁走者を刺したシーンが本編では流れなかったが、Play of the day に選んでくれて嬉しかった。

でもう9時を過ぎていたので、NHK でニュースを見た。スポーツニュースで Hawks がどうなったかと思ったら、両チーム無得点で延長に成ったという情報。が、放送終了前に Hawks が4－0で勝ったらしい。マジックナンバーは2に成った。明日にでも優勝が決まる。少し前はセ・リーグ、パ・リーグどちらも首位と2位が5ゲーム差で、マジックナンバーが等しいかと思ったが、パ・リーグは首位と2位が10ゲーム差でマジックナンバー2、セ・リーグは首位と2位が0.5ゲーム差でマジックナンバー14。Hawks は8連勝だそうだ。Tigers の大失速とは大違いだ。こうなったら Baystars に日本シリーズに行ってもらいましょう。一昨年同業者から教えてもらったのだが、ここのところ日本シリーズで Hawks に2勝以上したのは Baystars だけとか。去年の Tigres も初戦勝った後4連敗だったしな。Baystars のリーグ優勝の可能性は無いでは無いが、まあ現実的でない。勝ち越して3位だな。首位とのゲーム差が10無いことだし、CS ファイナルステージのアドバンテージは1勝で済む。期待しちゃうぞ。

今日も呑まずに寝よう。やること色々あるし。ただ水曜日の深夜にちょっと変なセッティングだが心温まるアニメがあって、見てしまうんだよな。終わると3時を大きく回っている。録画しておいて明日見ようか？既に眠いからな。ただ日を跨いだ頃から冴えてくるのがいつものパターン。生活リズムが狂ってる、ということだろう。秋学期も午前中出勤は無いし、ゼミの開始時間によってはまた2時55分までに出勤すればいいというふざけたスケジュールが週に複数ありそう。生活リズムをがっつり直さなくても当分大丈夫。まあちゃんと能率、効率を重視した生活にするには規則正しくした方がいいのは重々承知だが。

昨日相撲の終わり近くに有理点が見付かっていたが、24時間強掛かった。その後次のを探し始めたが、もう24時間を優に超えてる。どうして Magma Calculator はこんなごついのを数秒で見付けてくれるんだろうか？Magma Calculator が動いてるコンピューターは滅茶苦茶高性能なんだろうか？羨ましいな。実験実習費で高いコンピューターを買うにはまず学科の了承を得て、それから見積書を事務に送って云々とか面倒臭いので、あまり凄いコンピューターを買ってない。私費で買えばいいんだがな。車にも金を掛けない小生がコンピューターに金を掛けるとは思えないし、まあ買わないな。程々のを買って、程々の研究をしますわ。

Baystars に貯金が出来たり論文が accept されたりと嬉しいことが多い一日

結局昨晩は呑んだ。超寝不足なのに全然眠くならず、どんどんハイに成ってくる。ちょっと講義のことでも考えるか、と始めて、数時間やり続けた。何なんだか。昼飯時まで起きていた。Uber Eats に王将メニューを頼んで、食べた後寝床に行ったら、すぐ寝落ちした。が、そんなに長時間眠れず、相撲の途中で起きた。

今日の相撲は熱海富士と霧島が揃って負けた。むぅ。まあ二人とも今場所は無理でも、翌場所以降に繋がるような成績を残せればいいでしょう。熱海富士は取り敢えず二桁、霧島は12勝くらいで優勝同点くらいなら。後で気付いたが、教授会の案内が来ていたのだった。相撲に熱中して忘れてた。後で資料に目を通すくらいはしておこう。多分大きな案件は無いと思うが。

6時にケーブルテレビのチューナーに切り替えて野球観戦開始。東が1回表にいきなり先頭打者ホームランで失点。が、Giants がまた自滅した。1回裏に牧がホームランを打ち同点。その後佐野、筒香が連続四球で出塁。宮崎が3塁へゴロを打ち併殺打か、と思ったら、三塁手の石塚がファンブルして、それからどうにかしようと思うも手に着かず満塁。蝦名が三振の後7番に入った林が2点タイムリーヒット、8番古市がタイムリーヒットで4－1。2回裏はショートの泉口がエラー、牧がヒットで出塁後、佐野が3ランホームラン、筒香が日本での250本目のホームラン、宮崎凡退の後蝦名が1イニング3発目のソローホームランを打ち9－1。蝦名のホームランは令和に入っての一万本目のホームランらしい。凄い。3回は佐野にタイムリーヒットが出て10－1に。東はその後1失点するも、6回2失点と上々。打球が足の甲に当たって5回で降板かと監督が聞いたようだが、志願の続投だったようだ。4回から6回は無得点だったが、7回裏に筒香のタイムリーヒットで11－1、8回裏は度会が2点タイムリー3ベースヒットで13－1。これでついに貯金1！凄いな。Giants とのゲーム差は5に縮まった。いいですね。8連戦は最初に落とした後7連勝で7勝1敗。いいですね。

もう一ついいことがあって、論文の accept のメールが届いてた。嬉しい。Baystars の優勝パレードを見に横浜に帰ってる時に、寝ないようにしようと馬車道のホテルで計算したら何かうまいこと行ってビックリした結果が論文に成った。今年も Baystars にいいことがあるぞ。

Tigers はまた負けた。4回に1アウト満塁のチャンスを作ったが、糸原が併殺打で点が取れず。5回に森下がタイムリーヒットを打って、凄く久々の得点。3試合連続無得点だったからね。で石井大智が出てきたが、サノーに2ランホームランを打たれてしまい、連続無失点は52試合でストップと、踏んだり蹴ったり。7回にも1点取られて3点リードされる。9回にノーアウト1、2塁のチャンスを作って、一打同点の場面を作ったが、中野が空振り三振、森下、佐藤が連続見逃し三振でまたしても負け。7連敗。まあこれだけ負けてもまだ首位でいられるのは奇跡よね。Baystars のお陰ですよ。感謝してね。

シーズン終盤を思わせる話題が幾つかあった。Carp の優勝の可能性が無くなったことと、Swallows のシーズン負け越しが決まったそうだ。Baystars と Swallows のゲーム差が8もあってビックリ。Swallows と Dragons のゲーム差は僅か1、Dragons と Carp のゲーム差は僅か0.5。夏場までは首位争いをしていた Swallows だが最下位もあるぞ。正念場だな。

今日はちゃんと寝よう。寝不足で自律神経の具合がおかしいのか、汗が妙に出る。そうかと思うと冷房の風が寒かったり。「テレビ千鳥」が終わったら寝よう。色々やることはあるが、明日以降。すぐ済むものはこれからやってしまうが。兎に角今日は寝る。

Giants の二人の外国人がボーンヘッドをやらかしてくれて、延長12回サヨナラ勝ち。15あった借金完済

ゼミの時にメモしてきたものだったり、気に成って考えていたが用事で途中で止まってた考え事を書いた紙が湧いてくるわ湧いてくるわということで、TeX 化しましょう、としていたが、一個一個が結構時間を食う。山崎隆雄さんの本で「K が標数0の体で、A(X), B(X)∈K[X]－{0} とする。A'(X)B(X)＝A(X)B'(X) ⇒ A(X)＝cB(X) なる c∈K^× が存在」が必要に成る所があって、でそれを (A(X)/B(X))'＝(A'(X)B(X)－A(X)B'(X))/B(X)² を使って…、と成っているが、気に食わない。多項式の微分しか定義してないのに有理関数に議論無しに拡張するのはちょっと…、と思っていた。でやろうとしたがうまくいかずに放り出していたが、よしやろう、と始める。結局有理関数の微分を定義しないとうまくいかなかったが、まあそれで一応 self-contained に出来たからいいか、と。が、山崎隆雄さんは他の証明も与えていて、それだと多項式環の中で完全に済む証明。そっちも理解出来ずに中途半端にしていたが、頑張って理解した。途中勿論食事休憩をしたりはしたが、そんなことをしてる間に「おはよう朝日です」が終わっている。…。で結局昼飯を食べてちょっとだけ横に成った。阿呆やな。そろそろこんなのはやめにしないと。

で相撲を途中から。今日も横綱、大関全員勝った。珍しい。熱海富士も勝って、3日終わっただけだが皆順調でいい。頑張れよ。

であっと言う間に野球の時間。一日短い。が、今日の野球は長かった。1回裏に牧、2回裏に林がソロホームランを打ち2－0とリード。がその後幾つかチャンスを潰してる間に嫌な展開に。5回に大城に2ランホームランを打たれ追い付かれ、6回に昨日快投を見せた吉野が増田陸にソロホームランを叩き込まれ勝ち越される。むぅ。嫌な感じだが、7回裏に佐野の内野ゴロの間に同点に。解説の大魔神佐々木氏が「うまい」というくらいのバッティングでの内野ゴロ。最低限のことは出来た。で時計を見ると結構な時間。今日は殆ど三者凡退が無く、両チーム残塁の山。投手もどちらもとっかえひっかえするので、とても時間が掛かる。延長戦に突入するのだが、Baystars の投手が9人、Giants は10人。そりゃ時間掛かるよ。でどちらも何度かチャンスを作るも結局残塁が増えていくだけ。Tigers は既に負けていて、Giants が勝ってしまうと首位交代とロクでもないことになる。が、今日は Giants が勝手に転んでくれた。12回表に2アウト1、2塁のピンチ。途中からキャッチャーに入っていた古市が投球を取り損ねた、やばい、と思ったら、ダルベックが暴走してくれて、3塁タッチアウトで負けが無くなった。引き分けで終わっても勝率の関係で Tigers が首位だそうだから、まあよかった。当然12回裏はライデル・マルティネスが出てきたが、代打で出た松尾汐恩が2ベースヒット。で Giants が謎の采配。林を敬遠四球で歩かせてくれた。大魔神佐々木氏曰く、度会に回る可能性が出てきて、Giants はその方が嫌なのではないかと。まあ守り易いということだろうが。で古市は送りバント。投手前に転がして、ここでライデル・マルティネスが独り相撲。見る必要のない3塁を見て、で1塁へ送球するが、これが何と1塁手がジャンプしても捕れない様な高い球。松尾が一気にホームインしてサヨナラ！借金完済！7月2日時点で15もあったんだぞ。7月以降はセ・リーグで一番勝ってるようだ。2022年に Tigers が借金16を完済したことがあったそうだが、Baystars では前身球団の12からの完済（1971年、1983年、2001年と3度あったそうだ）を超える記録。いやー、興奮した。試合が終わったのは22時43分くらい。ヒーローインタビューは10回、11回を無失点で抑えた石田健大と、サヨナラのチャンスを作った松尾汐恩。勝ち投手の佐々木千隼は呼ばれなかったが、石田も佐々木も今年限りでクビかと恐れていたので嬉しい。更に、この前からファン投票でもう一人ヒーローインタビューに呼ぶことに成っていて、呼ばれたのは古市。が、ふざけるな TBS。古市のインタビューの途中で放送終わらしよった。23時から次の番組があるのは分かるが、ちょっとな。まあいいです。明日は短時間で勝ってください。

書いたように Tigers は負けたが、Giants が自滅したのでまだ0.5ゲーム差で首位。マジックナンバーは15に減った。Giants は残り試合が Tigers より少ないので、今日の負けは相当な痛手な筈。これでしょんぼりしてくれ。何だったら2位を譲ってくれてもいいぞ。流石にここから首位に立とうとは虫が良過ぎるかとも思うが、SNS 上では逆転優勝の可能性を計算してる人が結構いる。Tigers とも Giants ともまだ対戦をそこそこ残してるので、まあもしくは、…、は流石に虫がいいな。まあシーズン勝ち越しと首位と10ゲーム差以内は大分現実化してきた。この後も是非。

月曜の晩は呑むことが多いのだが、今日はどうしような。ほぼ寝てないからな。それに上に書いた通り11時までテレビの前にいたので、酒の販売機が販売休止時間に成ってしまって、まだ買ってない。別にコンビニに買いにいけばいいのだが。いつも結構2時だ3時だという時間に買いに行ってるからね。もうちょっと考えるわ。結論は明日書く。

相撲の途中にパソコンをいじってたら、「デビューから31年無休の「鉄人」翔傑が50歳初戦を勝利で飾る」との記事が目に留まった。玉鷲より凄い人がいるんだな。50歳で現役は昭和以降二人目とか。凄いね。今日勝った相手は駒ノ富士という二十歳の力士だが、今年の初めまで翔傑は「駒乃富士」を名乗っていたそうだ。記念の白星を昔の自分からとは面白い因縁だ。こういう力士はもっと頑張って欲しいね。野球の話で恐縮だが、石田健大も佐々木千隼もまだまだやれる。頑張れ。

5連勝でついに借金が1まで減った

昨日の晩も楽しかった。定期購入している野菜ジュースに何故かぜんざいが二つ付いてきたので、上げてきた。バイトの人が小豆だったか餡子だったが好きだと言ってのでよかった。バレーボールが大好き（部活でやってたそうだ）で、男子バレーが目茶目茶強くて面白いと言ってた。あと一つ勝てば優勝で、オリンピック出場が決まるそうだ。どうなるでしょう、などと Tigers のことにあまり触れないようにはしておいたが、必然的にそういう話にはなるが。昨日と今日で対戦相手が違うのに驚いていたが、9月以降は変則スケジュールに成るのはいつものこと、と説明しておいた。などなどしながら、またいつもと違った種類の美味しいワインを結構呑んできた。が、昨日は記憶が結構あった。帰りにセブンイレブンでいつもの通り「深夜に女性店員一人はよくないですよ」と言ったり。帰ってきてパソコンを見たら、有理点が6時間半弱で見付かっていて、もう一つ仕掛けた記憶もしっかりあった。昨日はちゃんと寝てたのがよかったかな。

夕刻まで寝ていて、相撲が始まってるのを思い出して急いで起きた。途中から見た。今日は関脇以上が全勝と、奇跡に近い結果。いや、豊昇龍が休場してるが。大の里も危なかった。琴風さんがいつもの「独饅頭」発言をしていたが、今日も二度引いて、二度目のは土俵際でジャンプして残したから、相当危険。ずっと無敵だったのだから、もっと堂々と取ればいいと琴風さんが苦言を呈していた。今場所は霧島の横綱昇進成るか？熱海富士の大関昇進成るか？と見所が多い。幸い千秋楽の次の日から講義が始まるので、全部見ることが出来るかもな。嬉しい。

6時から野球。昨日はデーゲームが多かったのに、今日はナイターが多い。謎。Baystars は Giants と横浜スタジアムで3連戦。明日は月曜なのだがセ・リーグは3試合ある。全部ナイターのようだ。謎。まあ今日の話をしましょう。Baystars は竹田祐。去年はシーズン後半に出てきて、6試合登板で4勝1敗、防御率1.69と好成績を残して、今シーズンはシーズン頭からの活躍が期待されたが、ここまで6試合で2勝3敗と結果が出ていなかった。今日はどうなる？と見ていたが、今日は良さそう。すると1回裏に早速大チャンス。度会ヒット、蝦名死球、牧四球の後、今日4番に入っている佐野が満塁ホームラン！凄い。2回は井上朋也がエラーで出塁の後、竹田が3バント失敗、度会がヒットで1、3塁と成った後、蝦名が犠牲フライで5点目。それ以降点は取れなかったが、チャンスは作った。竹田は6回2/3を無失点と合格。そのまま勝ち切って5連勝で、ついに借金1まで来た。Giants に点が入った後にファンが歌う歌が非常に不愉快なので、1点も取られずに良かった。明日、明後日勝って、貯金1まで持っていきましょう。無失点でね。

と書いたが、実は Baystars の得点シーンは全く見てない。呑んだ次の日は腹の具合がよろしくなくなる。で用足しをしてると点が入るというジンクスがあって、Giants の攻撃シーンでは我慢してた。で今日もその通りで、満塁ホームランに犠牲フライだった。その後は点が入らなかったから、もうちょっと呑んでも良かったか？いやそんなことは無いな。アルコール飲料は程々にしないとね。

で Tigers だが、Dragons 共々全然点が入らず、延長戦に。11回表に Dragons に点が入ってしまった。むぅ。が、Dragons の抑えの松山は Tigers 戦の防御率が悪いそうだから期待するが、三者凡退で終わってしまった。Tigers は5連敗で、2試合連続無得点といい所無し。腹の調子が良くなって来たのが原因か？頑張って Baystars は援護射撃するよ。明日は Tigers 共々両方勝ちましょう。今晩も呑もうか？いや、やめておこう。

上に書いた通り千秋楽が講義開始の前日ということは、休みは残り2週間だ。そろそろゼミの日程を fix した方がいいな。学生にメールするか。

などとしてる内に男子バレーが優勝したとの情報。素晴らしい。今日はバイトの人は野球を見ないでバレーボールを見ると言ってたが、喜んでおいでだろう。Tigers が勝ってればもっと良かったね。

ここの所の快進撃で、借金は2まで減った

何故かついとんでもない時間まで起きていてしまう。しょうもないことばっかりしてる。が、一つ気付いた。昨日書いた類数の件だが、類数のでかい虚二次体を作りたかったら判別式の素因数を増やせばよい。2-rank が大きく成るからね。が、奇数類数ででかいものを作る方法が分かった。自然数 n を与えた時、素数 p を p≡11 (mod 12), p>4×3ⁿ を満たすように取る（算術級数定理よりこういう p は無限個ある）と、Q(√(－p)) の類数は n より大きい。実際3の上の素イデアル（二つあるがどちらでもよい）の属すイデアル類の位数>n。－p≡1 (mod 4) なので、よく知られているように Q(√(－p)) の類数は奇数。そうだったか。ちょっと感激。 

ということで気分よく寝たが、2時ちょいに起きるのだとちょっと寝不足。まあ野球を見たいからね。起きたらもう試合は始まっていた。2回表に井上朋也のヒットで先制。3回表に牧の内野ゴロの間にもう1点。3回に宮崎の2ランホームランで4－0。尾形は良さそうだし、楽勝か？と思っていたら眠くなってきた。やはりちゃんと寝ないと大変だ。寝床でボーっとしながら音声を聞いていたが、8回裏に佐藤啓介に2ランホームランをホームランを打たれたりなどで尾形は降板。自己最長の7回2/3を2ランホームランによる2点で抑えたなら上出来でしょう。ちょっと詰められたが、9回表に蝦名がタイムリー2ベースヒット、筒香が2ランホームランを打ち7－2。点差が開いたので、9回裏はレイノルズでなく中川虎大。無事無失点に抑えた。借金は2に成った。首位とも8.5ゲーム差。もうちょっとで CS ファイナルステージのアドバンテージが1勝に成る。いやいや、まだAクラスが確定したわけではないし、出られたとしてもファーストステージを勝ち抜けたわけでもない。捕らぬ狸の皮算用はしないでおきましょう。

Giants vs. Tigers が裏で行われていたが、気に成る。2回裏に Giants が1点先制したが、まあまだ大丈夫でしょう、などとチラチラと見ていたが、その後どっちも点が入らない。9回表の Tigers の攻撃は先頭打者がヒットで出塁するも森下が併殺打、佐藤がヒットで出たが、大山が打ち取られゲームセット。まずいな、0.5ゲーム差か。残り試合数の関係でまだ Tigers のマジックナンバーは消えてない。Tigers は明日勝たないと。甲子園で Dragons と対戦だが、Dragons の先発は3勝7敗と例年より悪い高橋宏斗。まあ大丈夫でしょう。Giants は何と Baystars と。これは勝って援護射撃をしないと。この前 Tigers に連勝してしまったからね。明日はナイターだな。今晩はふなごやの店長とお互いの壮行会をしないと。明日は Tigers も Baystars も勝てよ。

有理点探しは4時間ちょっとで済んだ後2つやったが、どちらも9時間強。起きたら一つ終わってたので、2時ちょいにもう一つ仕掛けたが、現在続行中。何故 Magma はこんなのを一瞬で見付けられるんだろうか？Magma はソースコードを公開してないそうだから、調べようがないそうだ。Referrence manual にどのアルゴリズムでやったかくらいは書いてあるかもしれないな。今度見てみよう。今日はこれから呑みに行くので、明日以降ね。ということでぼちぼち出発。

またしても本に誤植を見付けて、著者に英語でご注進するために徹夜する羽目に

また変な時間まで起きていた。二日連続寝不足だったが、いつもの本の開いたページにたまたまミスを見付ける、ということが起きた。p が p≡11 (mod 12) なる素数で、p>3ⁿ ⇒ Q(√(－p)) のイデアル類群は位数が n より大きい元を持つ、という演習問題があったのだが、いやいや p＝11 で既にアウトでしょ。類数1の虚二次体は九つしかないので、覚えてる。p＝11 はそのリストにある。11>3² だが当然位数が2より大きい元を持つ筈がない。SageMath で探したら、他にも三つ成り立たない例を見付けた。これは著者にご注進だ、と成ったが、相手は日本人ではないので、英語を書かないといけない。ということでウダウダとああでもないこうでもないとやって、一旦冷静になろうということで、コンビニエンスストアに買い物に行く。戻ってきて少々直して、で送った。既に6時近い。でもう寝ようかと思っていたら、30分後に返信が来た。お前の言うことは全面的に正しい、という趣旨のことが書いてあって、ネタ元の本のキャプチャー画像が添付されていた。この本持ってるな。演習問題の主張をどこかで見た記憶があったが、それか。著者からは解決策を教えてもらって、理解出来た。p≡11 (mod 12) だと明らかに－p≡1 (mod 4) なので、Q(√(－p)) の整数環は {(a＋b√(－p))/2｜a,b∈Z, a≡b (mod 2)} なのに、ネタ元の本では {a＋b√(－p)｜a,b∈Z} にしている。そこだな。ということで p>4×3ⁿ とすればよい、もしくは p≡5 (mod 12) とすれば p>3ⁿ でよい、とのことだった。ためになった。著者から感謝されたし、ホームページの正誤表に名前が載った。本にミスを見付けては著者に教えるというのは何度もやってる。こういうことは地道にやらないと。別に論文を書いたり講演したりするのだけが数学界への貢献ではないんでね。

2時半くらいに一旦起きたような記憶がある。パソコンの有理点探しが終わっていたので、新しいの始めた形跡があるが、覚えてないな。昨晩は呑んでないんだが、連日の不摂生のためか眠くて仕方ないため。6時から野球なので起きたが、やはり眠い。Carp も Baystars も点が入らず、やや退屈気味だったせいか。もう一度寝床に戻る。割と短時間で目が覚めたが、点が入ったという音声が聞こえたら目が覚めると思ったから、まだ両チーム無得点なのか？と思ってスマホを見ると、Carp に1点入ってるではないか。む。起きて用足しをしていると、何やら大歓声が上がってて、Baystars に点が入ってる時にファンが歌う歌が聞こえている。度会が3ランホームランを打って逆転したようだ。素晴らしい。もう8回表。いいですね。9回表に佐野のタイムリーツーベースヒット、宮下の2ランホームランでもう3点。ということで無事勝利。これで借金3で、首位と9.5ゲーム差。借金があるか首位と10ゲーム以上の差だと CS ファイナルステージに進出しても2ゲームのアドバンテージを持たれている状態で始めないといけないので苦しいが、もうちょっとで1勝のアドバンテージで済むようになる。7月以降の成績だと、セ・リーグ首位は Baystars だそうだ（最下位は Swallows）。奇跡を起こしましょう。勿論優勝をするのは現実的でないので、5割、10ゲーム差以内、という意味ね。

明日の6試合の内5ゲームがデーゲーム。屋外でデーゲームやるは久し振りだな。今日はちゃんと寝て、2時に起きられるようにしよう。明日は Giants vs. Tigers が東京ドームで2時から。Giants が猛追していて、「おはよう朝日です」では皆怯えていた。特に憲伸君（関西では有名）。Tigers は Giants を鴨にしてるし、東京ドームでは尚更だから大丈夫でしょう、と思うが。直接対決で9つも勝ち越してるのにゲーム差が1.5しかないのは謎だ。Baystars がこの混戦に大分貢献してる。Giants には五つ負け越し、Tigres とは五分。Carp もだな。Giants に八つ負け越してて、Tigers とは五分。どうにかしないと。月、火と Baystars vs. Giants があるようだ。連勝しましょう。

昨日書こうと思って忘れていたが、筑波大の柳沢正史教授という睡眠研究の第一人者がラスカー賞いうのを受賞した。睡眠は大事だという話を朝方聞いていたが、確かに睡眠は大事だ。何日も不摂生を続けると効率は著しく下がる。柳沢教授の仰る通りちゃんと寝ないと。コメンテーターの人が言ってたが、タイパがどうしたとかすぐ役に立つ研究でないと駄目だとか、そういうことを言わずに一つことをじっくりやるのは大事。数学だと伊藤清先生の研究が経済で役に立っているそう（良く知らないの知ったかぶりはしないが）だが、伊藤先生はそんなことを予見して研究を始めたのではないそうだ。楕円曲線暗号というものが出来たのを小松啓一先生が「楕円曲線なんて役に立たないの代表だと思っていたが」という趣旨のことを言っておられた。いつ日の目を見るか分からないし、自分の面白いことをじっくりやればいいのです。勿論ある程度人から評価されないと論文が雑誌に載らないし、雇ってももらえないから、多少はインパクトのあることをしないといけないのが悩ましい所。自分を信じて頑張るしかないのです。若い人はめげずに職を探してください。

井上朋也、牧の2夜連続弾と古市のプロ初ホームランで圧勝（井上の守備で1点与えたのは余分）

昨晩はその後チマチマと有理点求めをしていた。時間が掛かるので「ミラクル9」の録画してあった2時間物を見たりしながら。でパソコンを見ると何やら Windows update をしたがってる。キリが付く前にやられては困るので、じーっとパソコンの画面と睨めっこして、妨害されないよう見張っていた。で何とか済んだので、パソコンを再起動して、Windows update もしてもらって、で次の有理点探しに取り掛かる。2～3時間ずつ掛かるように成ってきた。で適当に寝よう、と思ったら、「おはよう朝日です」の冒頭で古川昌希アナが、過去2度雨で流した甲子園での始球式（今時は「セレモニアルピッチ」というようだが）が昨日漸く出来た、その様子は7時16分くらいに詳しく、と言っていたので、起きてないといけないでしょ、と成ってしまった。むぅ。まあ面白かった。昨日の3時過ぎは結構な雨降りだったが、試合開始が近付くにつれ雨が上がってきて、グラウンドの整備で試合開始が30分遅れたものの、無事始球式が出来てよかったね。ギリギリまで始球式があるか無いか分からなかったそうだが、古川アナが一生懸命天気に関する神社に通ったりして願った甲斐があったね。よかった。

ですぐ寝ればいいのに、7時前に仕掛けた有理点が見付からないかな、と待ちながら「英雄たちの選択」を見たりしながら再び待つ。戦国時代は権力者の要請で戦に出て奮闘していたが、2代将軍秀忠の時代からは権力者は築城に協力するよう要請されるようになり、その結果で加増されたり取り潰されたりしたそうだから、潮目が変わったね。で見終わってパソコンの画面を見ると、10時前に有理点が求まっていた。もう10時か。腹減ったな、もう一つ有理点探しをスタートさせて、11時まで待って、Uber Eats に王将メニューを頼む。ニンニク激増し餃子が無かった。秋限定の餃子があるからだろうか？いいけど。12時過ぎまで届かなかった。ちょっと冷めてたな。まあいいけど。寝ようかと思ったが有理点が見付かってない。「徹子の部屋」のゲスト次第だが見てから寝よ、ということにした。高島礼子と藤原紀香だった。面白かった。で限界が来てダウン。

起きたら7時前。訳の分からない生活をしている。テレビを付けると Baystars がリードしている。パソコンの画面を見ると1時40分に有理点が表示されたようだ。何だ、もうちょっと起きてればよかった。もう一つ仕掛けたが、11時過ぎてもまだ見付かってない。Magma Calculator ではすぐ見付かったんだが。どんなアルゴリズムを使ってるんだろうか？SageMath よりも PARI/GP の方が短時間で有理点が見付かることが多いし、Magma はもっと短時間なことが多い。数学が進歩しているということだろう。

野球は2回裏から観戦。1－0とリードしている状況から度会の二塁への強烈な当たりを武岡がエラーして1点追加。更に蝦名がタイムリー2ベースヒットを打ちもう1点。3回裏は井上朋也が2試合連続となる2ランホームラン、次打者の古市がプロ入り初ホームラン。4回裏に牧も2試合連続となる2ランホームランで8－0。雨脚が強くなってきた。ここでノーゲームとか馬鹿馬鹿しいから、試合を成立させないと。幸い後攻なので、5回表が終わってリードしてればゲーム成立。運良く少し雨が弱くなってきて、試合は成立した。先発の深沢は走者を出しながらも無失点で凌いでいたが、7回表に大ピンチ。ヒット、二塁打、死球でノーアウト満塁。が、内山が初球をピッチャーゴロでホームゲッツー、丸山もピッチャーゴロで無失点。素晴らしい、と声が出てしまった。これで Swallows 戦は21イニング無失点とか。8月の Carp 戦で5回表までに6－0とリードしてもらったのに勝てなかった失態は今日晴らせたね。9回に井上朋也がライト前への当たりを後逸して、次打者の時にフライを落球し失点したのは余計だったが。最後のアウトも井上にフライが飛んで、Swallows ファンから変な声援が上がっていたが、流石に大丈夫だった。ヒーローインタビューに井上、古市、深沢が呼ばれたが、自らもフライを落としたことを笑いのネタにしていて、古市、深沢もいじっていた。8点リードしてたから冗談で済んだが、僅差でこれをやらないようにしてください。これで4位 Swallows と5.5ゲーム差。3位確定が近付いてきた。来週の木曜日も Swallows 戦のようだから、深沢が出てくるでしょう。無失点を伸ばしてください。木曜神宮で、金、土は横浜スタジアムでいずれも Swallows との変則3連戦。ここで勝ち越せばAクラスは固くなるな。

Tigers は今日は中止。「おはよう朝日です」で関西は午後から雨が強くなると言ってたが、その通りに成ったようだ。Tigers は大分キツイ日程に成るな。しかも Giants が勝ってしまって、1.5ゲーム差。「おはよう朝日です」で桧山が言ってたが、ここのところの Tigers は森下、佐藤のソロホームランに依る点が殆どらしい。Baystars は昨日1イニング7点取ったが3ランホームランが2発。今日も2ランホームランが2発。ソロホームランは打たれても怖くないと桧山が言ってたがその通りだな。走者をためてドカーンはダメージが大きいだろう。一発以外の点も必要だ。Tigers には頑張ってもらわないと。明日は出来るんでしょうか？

一応触れておく。ライデル・マルティネスが日本での250セーブ達成。凄いですね。

などと書いてる内に有理点が見付かってたらいいな、と思ったらまだ見付かってない。6時51分に仕掛けたんだが。本当に Magma Caluculator は凄いな。2秒で有理点を探してくれたぞ。こういうのを見せられると Magma 買いたくなるが、まあもうちょっと我慢しましょう。PARI/GP でも ellheegner コマンドを使えば数時間で見付かるので我慢出来る。いや、11日掛かる例もあったが。もうちょっと粘る。

などと書いて40分ほど。12時9分に有理点が見付かった。5時間9分程。段々時間が掛かるようになってきた。Canonical height は123とちょっと。また次のをやる。

昨晩は久々の「也」で滅茶苦茶盛り上がって、帰ってきて暫くして有理点が求まったので嬉しい

昨晩は久々に更新しなかった。何故かと言うと、7時過ぎから「也」で呑んでたから。「也」にはもう10年では済まないくらい行ってないような気がしたが、何故行ったかと言うと、先週の金曜日に哲也から電話があって、「たまには会おうや」と言われて、行った。で会うなり「若返ったか？」と言われた。そんなことは無いと思うが。もう58だと言ったらビックリしてた。哲也も43だと言ってた。暫くするとこちらもご無沙汰ならくざの店長の豪ちゃんが来て、など、目茶目茶盛り上がった。前は同じ客が長時間いて、そこに新たに入ってくるから目茶目茶混んでたが、昨日はそんなに混んでなかった。面白かったのは、若い浜田省吾マニアが来て、その人は「愛奴」のことを知らなかったので教えてあげた。その後野球マニアの女の人が来て、Buffaloes 話で盛り上がった。中川圭太のファンだというから相当コアなファンだな。近鉄 Buffaloes は「バッファローズ」だが、ORIX Buffaloes は「バファローズ」だそうだ。知らんかった。いやー、楽しかった。で何だかんだと12時半近くまで呑んでた。小生は一箇所で腰を据えて呑むのが好きなので、理想的だった。

5時間くらい呑んでたので、帰ってきてすぐ横に成ったが、すぐ目が覚めた。起きてパソコンを見ると、何と有理点が求まっていた。所要時間 264h, 44min, 50,454 ms だそうだから丸11日強。いやー、時間掛かるな。嬉しい。記録だけして、もうちゃんと寝よう、ということにしたが、うっかり寝床で YouTube を見てしまい、時計を見たらとんでもない時間に成ってた。まあ色々楽しかったので、いい晩だった。Baystars が負けたのだけが残念。

で起きたらもう夕方だった。パソコンの電源をうっかり消し忘れたので、すぐ作業が出来たのはよかったが。求めるべき有理点を全部求めたかと思ったら、2つのパラメーターの場合に調べてないことが分かって焦る。が、その二つは有理点はすぐ見付かった。Canonical height が小さくてよかった。で今度こそ全部済んでる筈。次にやるのは、Magma calculator で一瞬で有理点が求まったものを ellheegner コマンドでどれくらいの時間で求まるか試している。数個済ませたが、長くても20分くらいで求まっている。Magma をちゃんと使わず Magma calculator で出来るものはやった、とか中途半端なことを書くのはちょっと嫌だし、そもそもそんな難しい英語書けない。ということで Magma calculator に頼った部分は書かないことにしようと。まあもう少し考えますわ。

さて、6時から野球。今日はゆっくり見たい。石田裕太郎が1回表に1点取られたが、2回裏に宮崎が同点ホームラン、3回裏に宮崎が犠牲フライを打ち勝ち越し。が、5回表に石田裕太郎がタイムリーを打たれてしまい追い付かれる。が、その後の1死満塁のピンチは併殺打で凌いだ。6回表も先頭のオスナがツーベースヒット、赤羽（あかはね）が四球を選んでノーアウト1、2塁のピンチ。石田はそこで吉野に交代。また勝てなかったね。その後ビッグプレーが。内山がバントをしようとしたがバットに当てられず、二塁走者オスナが飛び出していて、松尾が二塁へ投げてタッチアウト。その後内山は6－4－3のダブルプレーでチェンジ。吉野は打者一人を相手にしただけだが、3アウトを取った。素晴らしい。するといいことが。すぐ裏に筒香、宮崎が連続ヒットで無死1、3塁。解説の黒羽根利規氏が言うことがずばずば当たる。「今日は松尾の日に成るかもしれませんよ」と言ったら、松尾に勝ち越しのタイムリーヒットが出た。松尾は他にも盗塁を一つ刺してる。大活躍だ。1死後打者は井上朋也。祐大との交換トレードで尾形と一緒に Hawks から来た選手だが、一軍では結果が残せてなかった。二軍では無双だったようだが。2回裏に移籍初安打が出ていたが、肩の荷が下りて楽に成ったか、出ました3ランホームラン！2死後度会四球、蝦名ヒットの後、牧が3ランホームラン！決まりだな。石田はもうちょっと投げられれば勝ち投手だったが。ついてないとはそういうことだ。その後雨が強くなり、7回表終了後暫く待たせれて、コールドゲーム。今日はエンカーナシオン（昨日外野守備でチョンボを一つやった）、レイノルズ（昨日9回表に押し出し四球で先制点を与えた）、伊勢（昨日の負け投手）がベンチを外れてる中で、7回で勝てたし、接戦で出す投手を休ませられたのはでかい。よかった。大分3位が固くなってきた。頑張れ。

昨日は甲子園の試合は中止だったが、今日はあった。昨日 Giants が負けて、Tigers との差がちょっとだけ広がっていたが、今日は Tigers が負けて Giants が勝ってしまい、2ゲーム差に成ってしまった。まだマジックナンバーは消えてないので Tigers 有利は変わらないが、明日消えてしまう可能性がある。（ちゃんと考えてないけど。）頑張ってもらわないと。Tigers は高橋遥人で負けたのは痛い。明日は頑張ってもらわないと。

野球界の珍事2つ。セ・リーグの5位は Dragons、最下位は Carp だが、ゲーム差－0.5。野球に多少詳しくてもこの状況が分からない人はいるでしょう。順位は勝率で付ける。ゲーム差は貯金、借金の数で考えるので、こういうことが起こる。凄く易しい例を挙げるが、例えば1勝0敗だと勝率 1.000、3勝1敗だと勝率 0.750。ところが貯金1と貯金2なので、ゲーム差が－0.5 に成るのである。シーズン序盤には時々あるが、こんなシーズン終盤であるとは思わなかった。Carp は Dragons より7試合多く残している。9月9日終了時点で22試合残りはこの後大変なスケジュールに成るだろう。お気の毒様。もう一つの珍事は、周東佑京（Hawks）が昨日ランニングホームランンを打ったが、これが何と満塁ランニングホームラン。1999年に小久保がやって以来とか。こんなことが過去にあったのはびっくりだが、パ・リーグ史上6人目だそうだ。セ・リーグではどうなのかと調べたが、分からなかった。パ・リーグ史上と書いてるからにはセ・リーグでもあったのだろうな。暇な時に調べておこう。

自動車教習所の座学の時間に内職をしていた高校生の気持ちがよく分かる

深夜に大分眠気を感じてきたが、まあ「ミラクル9」の2時間物を見ることくらいは出来るだろう、と見始めた。大家志津香が大暴れ。魚料理で「〇〇の〇〇」というのを答えるのに、「鰆の西京焼き」という意見に大勢が傾きそうになっている所で「鰤の照り焼きでしょう」と彼女が意見を言ったら、皆「あー！」と一斉に大声を上げ、それが見事に正解だった。更に最後の「ドンピシャ」クイズではドンピシャを出し、ダイアン津田が初めてお土産を持って帰れることに成った。いやー、面白かった。などとしてる時にふと思い出した。9月10日までにやらないといけないことがあるのだった。で始めるが、異様に面倒臭い。動画を見て、問題に答えて、それからまた然るべき動画（ではないな、動いてなかった）を見て、また答えて、然るべきものをダウンロードして、職場の然るべき web ページに上げて、とかやらないといけない。とても真面目に聞く気や見る気が湧かないもので、内職をしながら見て、適当にやった。自動車教習所で高校生か大学生か分からないが、若者が携帯電話（当時はガラケーだった）をいじって真面目に聞いてなくて怒られてたことがあったが、あの時は「何故真面目に聞かないかね？大事なことを教わってるのに。試験もあるのだぞ」と思っていたが、ちょっと彼の気持ちが分かった。流石にテレビは消していた。で終わってテレビを付けて時間を見るとビックリ。11時を過ぎてる。勿論朝の。何か凄い無駄な時間と気力を使った気がする。カップ麺でもすすってすぐに寝るか、と思ったのだが、「徹子の部屋」のゲストが竹中直人だったので、見てから寝ることにした。で見た。面白かった。竹中直人ってもう70なのね。

マンションの管理人さんに渡さないといけないものがあったが、意識が戻ったらもう6時を過ぎてたので、今日は無理だ。ということでもう一度目を閉じて、7時半過ぎまで寝ていた。何か凄い嫌な一日だった。

明日は資源ごみの日だった。大抵呑みながら分別作業をするんだが、明日呑む約束があるので、今日は呑まずにやる。プロレスが終わるまでは起きてるから、それまでにチマチマやる。月2回なので、紙ゴミ、アルミ缶、段ボールが結構溜まる。ただでさえ散らかってる部屋だ。こういう時にちゃんとしないと酷くなる一方なので、やらないと。ただ、ここ数年秋学期は火曜日に講義があるので、秋学期は中途半端で終わらせてしまうことが多い。そうは言っても、昨年度から講義が95分に成ったので、火曜の講義は2時55分開始と、プロレスが終わるまで見て、それからゴミ出しをしてもタップリ寝られるけど。再来週はまだ講義が始まってないのでゆっくりやれる。そうか、そうするとその次はもう10月に成ってるのだな。早いもんだ。時間の経つのが年々早く感じるようになってきた。大学の時に友人が言ってたが、2歳の子供にとっては1か月は人生の1/24だが、58歳と成ると、えーと、面倒だから計算しないけど、1/24より相当小さいからね。年齢は差じゃなくて比で測る、とはうまいことを言うもんだ、と感心したのを覚えている。21歳の時のこと。奴は随分人生を達観してたな。えーと、資源ごみの分別ね。これからします。

Tigers に連勝で、4連勝後一つ負けてまた4連勝と快進撃

ふなごやで食事を決めている最中に Baystars の勝ちが決まった。嬉しい。で Carp が Giants を1点リードしているようなので、速報画面に切り替えた刹那に追い付かれてしまった。むぅ。その後の満塁のピンチは抑えたが、10回表に何と5点取られてしまう。Carp はだらしないのー。食べ食べ見ていたが、「不幸なお知らせがあります」と1点入るごとに言っていた。まあいいです。食べ物はパエリアにした。「ザワつく！金曜日」で美味しそうなパエリアのことを言っていたので、食べたかったから。昨日はビールをそんなに呑んでない段階で「ワイン呑みましょ！」と言われたので、3本も空けてしまった。記憶が結構ハッキリあるぞ、と思っていたが、起きた後にパソコンを見たら一作業した形跡があった。覚えてないな。まあいつものこと。

何度も一瞬意識が戻ったが、その度に寝入った。で電話が鳴って起こされた。見覚えの無い番号だったら無視のつもりだったが、トヨタからだったので出た。大事な用事。メモしないといけない件があったので、起きてペンを持って、その辺に散らかってる紙にメモして。でテレビを付けると、何やら野球がやってる。都市対抗野球のようだ。珍しいな、と思って画面を見ると、NHK BS だった。昨日の晩 Tigers vs. Baystars を見てたな。折角だから結末まで見ようということにして見た。Dragons OB のレジェンドの岩瀬仁紀氏がゲスト解説だったが、都市対抗野球はプロ野球と違って応援団が内野席で応援してるので凄く賑やかだと言ってた。で大垣市代表の西濃運輸が優勝。12年振りだと言ってた。2点差で抑えの切り札を出したが、ホームランを打たれて1点差にされ、更に走者を出したところで大ベテランの投手に交代させた監督の采配は見事だった。時計を見るともう5時過ぎ。パエリアを食べて以降何も食べてないので、取り敢えず適当なカップ麺をすすった。すすった、と書いたが、昨晩ふなごやの店長が言ってたが、欧米人は麺をすすれないらしい。ふーん、と思った記憶がある。連中は熱々の料理を食べられないとも言ってたな。麺が熱々じゃないからすする必要が無いらしい。

であっと言う間に6時。今日も Tigers と甲子園で。コントロールのいい筈の大竹が2回表に投手の竹田祐に押し出し四球を与えるという展開で Baystars が先制。その後度会が2点タイムリーヒットを打ち3－0に。3回表に牧がツーベースヒット、エンカーナシオンが四球でという場面で大竹は交代した。代わって出てきた神宮という投手にレフトフライ、三振、三振と抑えられ、追加点ならず。神宮は4回表を三者凡退、5回表は走者を2人出したが無失点と、3イニング無失点の好リリーフ。いい投手が Tigers にはいるな。育成ドラフト1位のルーキーだそうだ。売り出し中の工藤も育成ドラフト1位で指名され2年目。いい選手を見付けてくる Tigers のスカウト陣の眼力は相当だ。石井大智はドラフト8位だそうだし。その後佐藤にソロホームランを打たれたが、エンカーナシオンがタイムリーツーベースヒットを打ちそのまま3点差で勝利。雨が心配されたが、ほぼ降らなかった。試合終了後に急に雨足が強くなったが。ここの所馬鹿に調子がいいなと思ったら、4連勝して1つ負けてまた4連勝。借金が5に減った。5まで減ったことは前にもあったが、その後5連敗だったりで結構な借金に成っていたが。借金持ちか首位と10ゲーム以上の差だと CS のファイナルステージで首位のチームにアドバンテージが2勝に成ってしまうから、張り切らないと。現状首位とのゲーム差は11。勝っていきましょう。

Swallows の石川が引退するということを書き忘れていた。石川の身長は167cmで、小生とほぼ同じ。小さい体で46歳まで現役をやって、188勝はお見事。194敗してるが、弱い Swallows にいたからだろう。ご苦労様でした。でサンデースポーツで Lions の滝澤夏央という選手を取り上げていたが、彼は更に小さく164cm。内川聖一氏の隣に等身大のパネルを置いてあったが、等身大とは思えないくらい小さかった。内川氏は184cmだそうだし。小さくても自分なりの長所を見出せば活躍は出来るのだということを示してくれている。立派。Lions は現状2位。Hawks をぎゃふんと言わせておくれ。

有理点探しは1週間以上経過した。中々大変だ。さっきダウンロードしてあった藤田育嗣氏の論文を眺めてたら、総計算時間105時間と書いてあったが、小生のはもっと掛かってるぞ。藤田さんは自分でプログラムを組んで計算したのだろうか？それとも何らかのソフトの出来合いの関数を使ったのだろうか？後で見てみよう。不定方程式は最早コンピューター無しで解くことは出来ない時代に成ったということだろうか？昔内藤浩忠先生が「類数なんて計算出来ないと思っていた」というようなことを言ってたのを思い出す。コンピューターのお陰で出来るように成ったこともあるのだ。仲良くしないとね。AI はまだちょっと使いたくないが。

2日振りの野球観戦。Tigers 相手に 3－2 とリードしている。

昨晩は眠かったが、結構遅くまで起きてた。というのも、数学がちょっとうまくいきそうでいかなくて苦労したので。u－3v が4で割れることを示したい、それには u＋v が4で割り切れることを示せばよい（自明）。で (u＋v)³ が64で割れることを示せばいいが、これがうまく行かない。仮定があって、それを見れば u, v が変数の然るべき3次形式で、それが128と等しいからすぐ出来るっしょ、と示したいのだが。が、人間同じことをずっとやってると段々賢くなってくる。(u＋v)³ が64で割れることを示すには、(u＋v)³ が16で割れることを示せばよいのだ。学生にゼミで本を読んでもらったり、自分で色々下らん計算をやってるおかげでこういうことに気付けるようになった。昨日書いた通り無駄は大いにやらないと。などとしているうちに3時を結構回っていた。

で二日続けて結構変な生活をしたので、疲れていたか12時間以上寝てしまった。折角疲れが抜けたのに、今晩は恒例の呑みなので、これからまた無茶するが。

野球が無い日が二日続いた。退屈だったがまあいつも見ない番組を見られたりしたし、一喜一憂しないでいいから精神衛生上はむしろよかった。今日、明日と甲子園で Tigers と2連戦。ケーブルテレビで見るとすると Sky-A か GAORA SPORTS のような Tigers べったりのアナウンサーと解説で見なくちゃいけないのかと思ったら、NHK BS でやるという情報を仕入れた。と言うことで見ている。防御率1点台でリーグ1位の村上から1回表にいきなり2点取った。その後も筒香のホームランが出るなどで3－0とリード。がその後2点取られた。まあ5回2/3で2失点だったら上等か。尾形だからね。その後伊勢、中川虎大とリレーして、現状3－2とう状態。でビックリした。Tigers の2番手は石井大智。アキレス腱断裂の怪我から戻ってきたか。手強い相手が戻ってきた。初球ストライクで甲子園は歓声の渦。こういう時は得てして流れが変わってしまうものだ。用心しないと。去年はシーズン通じて1失点、防御率0.17という凄いことをやってのけた投手だからね。点をとってやりましょうや。9時ちょいには呑みに出掛けるので、それまで決着が付けばいいが。などと書いている内に先頭打者の牧が四球を選んだ。筒香だ。打てよ。

などと書いてしばし。石井から点を取ることは出来なかった。シーズンを跨いでるとはいえ、51試合連続無失点は凄い。只今9回表。先頭の林が二塁打で出たが、2アウト三塁と状況は変わった。度会が打つか？などと見ていたが、三振。むぅ。結果はふなごやで見る。といことで出発。

西友山科店のレストランで海老クリームコロッケを食べた後、本屋で文庫と新書を大量購入

昨日書いた通り訳の分からない時間に起きたので、何か起きてないと勿体ない気がして、結局朝まで起きていた。で「おはよう朝日です」で正木さん曰く、天気が悪くなるのは夕方以降のようなので、昼飯を閉店間近の西友山科店2階のレストランで食べよう、ということにした。で11時くらいには出掛けようと思っていたが、ちょっと計算してたら何か色々変で手間取り、1時半を過ぎてしまった。流石に腹減ったということで出掛けるが、シャワーを浴びてから出掛けることにした。で西友に2時くらいに着いて、ちゃんとお目当ての海老クリームコロッケを食べてきた。ピラフの上にコロッケが乗った奴にしたが、海老クリームコロッケを食べるのに一番安いものを頼んだというわけ。オムライスとコロッケがもう少し高い。単品とライスセットを頼むともっと高い。まあまた行って両方食べるわ。今月一杯で閉店だからね。で3階に行って本屋をちょっと冷やかそうということで向かうと、秀長のことを書いた新書や文庫が結構あって、沢山買ってしまった。7000円強。袋を無料にしてくれると店員さんが言っていたが、高価だからと言ってた。鞄を持っていたので別にいらないと言えばいらないのだが、まあいいかと貰っておく。

食事や買い物をすると駐車場が2時間無料に成るので、近くのセカンドストリートをちょっと偵察しようということで向かう。売りたいものがあるが、持って行って買ってくれなかったら悲しいので、視察ということで。が、シャッターが半分閉まってて、何だ？と思って階段を昇ったら、店から出てきた女の人が「3時閉店です」と言ってた。いつもそんな殿様商売なのか？それとも今日は天気が荒れる可能性があるからか？と思って調べたら、今日は棚卸のため3時閉店とホームページに載っていた。つかん。ついてない時は色々あって、三条通を右折してマンションの駐車場に入ろうとしたら、向こうから郵便の集配車が来た。小生の車はそんなに大きな車ではなく、郵便の車は軽のバンだったので、何とかすれ違えた。で駐車場に停めたらすぐ見覚えのある車が来て、会釈して建物の中に向かう時に見たら、小生の車があっと言う間に地下に下りて行ってしまった。まあいいけど。

部屋に入ってトラブってた計算の続き。y²＝x³－432 の（affine）有理点は (12,±36) だけなのは Silverman－Tate の楕円曲線の本（正確には足立恒雄、小松啓一、木田雅成、田谷久雄訳「楕円曲線論入門」）で知ったのだが、それは Fermat 曲線 x³＋y³＝1 の（affine）有理点は (0,1), (1,0) のみであることから従う。これは Wiles の証明を待つまでもなく Euler によって示されている。いや、そんな難しいことしなくても x³＝y²＋432 の右辺を Q(√(－3)) で分解すれば整数点くらい求められるのでは？と思って始めたのだが、想像通り難しい Thue 方程式を解かなくてはいけなくなった。Q(√(－3)) の単数群は虚二次体の中で一番複雑（他の虚二次体の単数は全て3乗数）なのに起因している。Thue 方程式は PARI/GP ででも Magma Calculator ででも解けるが、いやそこをコンピューターに頼るなら最初から y²＝x³－432 の Mordell－Weil 群をコンピューターに求めさせれば？というオチに成るので、意味無し。まあいいです。でも確か Mordell だったか Fueter（綴り曖昧）だったかが y²＝x³－432 の整数点を決定している結果があった筈だ。探してみよう、ということにして終了。無駄な時間だったが、無駄なことは沢山しないと。無駄なことを沢山やって色々知ることが出来たり技術が身に付いたりするのです。タイパにこだわるのは良くない。数学はじっくりやらないと。AI を使って安易に勉強するのは良くないよと、今朝お偉いさんが言ってた。試行錯誤をしながら数学を楽しみましょう。「タイパ」は一発変換出来なかった。「タイ」は「体」に邪魔された。「パ」はしょっちゅう「パ・リーグ」と打ってるからか出たが、「タイパ」と言う単語は知らないようだ。また Windows が新しく成ったら最初から入ってるかな。

今日は Baystars も Tigers も試合が無い（明日、明後日と直接対決）ので、「ザワつく！金曜日」でも見るか、と思って見る。CM で高嶋ちさ子が吹き矢で凄いことをやるようなので。で見たら凄かった。世界大会で1位を獲ったパン屋のパンと、唯一無二のパエリアを食べる権利を掛けて吹き矢で的当て競争をしたのだが、一茂も良純も初めてやったと思えないくらい上手。が、高嶋ちさ子はその上を行って、小さい丸のほぼど真ん中に吹き矢を的中させるという、奇跡的なことを二度やってのけて、パンもパエリアも食べていた。凄かった。「マツコ＆有吉 かりそめ天国」も CM から判断するに面白そうなので見た。やはり面白かった。野球が無いのもたまにはいい。2日続けて試合が無かったが、今月は結構日程がきついようだ。Tigers も相当タイトなようだし、Carp は更に上をいく。半分以上ドーム球場でやれる Giants はいいな。Tigers は屋外が多いが、甲子園での試合が結構多いようなので、大丈夫だろう。明日、明後日は Baystars は Tigers に連勝して欲しい。Giants が連敗すれば差は縮まらないし、マジックナンバーも減るからね。天気が心配だが、これ以上中止に成ると昭和の遺物ダブルヘッダーをやらないといけないかもな。CS の日程を変えるわけにはいかないだろう。野球と関係無く大雨は嫌だ。明日の京都の天気はまあいいようだが、関東、九州は荒れるようなことを言ってた。災害に成りませんように。

天気が悪くなるぞーと脅されているので、午前中に用事を済ますために徹夜

何か天気が悪くなるぞー悪くなるぞーと言ってるが、午後からだ、というので、午前中に駅の行政サービスに行って、印鑑証明書を貰ってくることにした。徹夜決定。早ければ早いほどよかろう、ということで、9時に開くので、9時くらいに部屋を出た。今日は最高気温は大したことないようだが、雨のせいで物凄く蒸し暑い。駅まで10分も歩かないが、結構嫌な感じだった。小生の前に手続した人が3人順番を待ってた。書類を書いて、350円払って終了。まだ天気は大したこと無いので、ドラッグユタカで買い物をすることにした。管理人さんに頼むことがあったので、言っておいて用事は終了。

すぐにでも寝ようかと思ったが、YouTube を見てても眠くならない。でまた閃いた。マクドナルドでこの時期恒例の月見バーガーが売り出してる。Uber Eats に頼んで食べよう、ということで11時過ぎに頼む。で食べて、いよいよ寝よう、ということにした。

で8時くらいまで寝た。完全に昼夜逆転。まあいいです。今日、明日と Baystars は試合が無いので、Swallows vs. Tigers を見ることにした。佐藤輝明が2ホームラン。佐藤は昨日も打って、森下より3本上に行った。三冠王か？で Tigers は勝った。Giants は試合が無いのでマジックナンバーは一つ減って18。今見たら、セもパも首位と2位が5ゲーム差でマジックナンバー19。2位以下がずるずる落ちているセ・リーグと、2位以下が粘っているパ・リーグと、後者の方が面白いかもな。明日も Baystars は試合が無いが、Tigers も無い。Carp vs. Giants があるが、どっちも負けて欲しい。勿論無理。Giants にはとにかく無条件で負けて欲しいから、Carp と Baystars のゲーム差が0.5縮まるのはいいです。頑張れ Carp。

上に書いた通り徹夜をしたわけだが、何をしていたかというと Mordell 方程式を幾つか解いていた。Keith Conrad という人が Mordell 方程式のことをまとめて書いてくれたものがあるので、それの例題を読んだり、exercise に成ってるものを解いたり。今一生懸命コンピューター君が有理点探しをしているが、それは Mordell 方程式の整数点を決定したり無いことを示したりするためにやってる。Conrad の書いたものも山崎隆雄さんの本に出ている例も上手く解けるものばかり集めていて、そうはいかないと思うからコンピューターに任せてる。ちゃんと考えれば幾つかコンピューター頼りでなく示せるものはあるだろうが、まあそれは一通り済んだら考えるということで。先週の金曜日に始めたものはまだ見付かってない。前に2週間くらい掛かったものがあったから、今回も覚悟はしている。まだ夏休みは3週間以上あるので、有意義に使わないと。呑んだりテレビ見たりとかだけでなくちゃんとしないとね。

代打で出た筒香、宮下がタイムリーヒットを打ち 2－1 で勝利

またしても「おはよう朝日です」が始まるまで起きていた。最後まで見てしまうことが多いが、今朝はちょっと起きていられなかったので、いつもよりは早目に寝た。

で起きたのは当然昼過ぎで、カップ麺をすすって、さて、と思ったが眠いな。やはり不摂生を繰り返すとよくない。分かっちゃいるが起きてちゃうんだよね。明日は色々しようと思うが、天気が目茶目茶悪いようなことを言ってた。どうしような？

7時からマンションの理事会があるので、適当に起きてシャワーを浴びて寝癖を直して髭を剃って、で野球の途中で1階に向かうと、誰もいない。今日だったよな？と思ってスマホを見ると今日の7時からと記録されている。ポストを見ると管理人さんが何やら手書きしたものが入ってて、忘れるという不手際をやらかしたそうだ。詫び状だった。後日やるらしい。来週かな？まあいいです。野球を見られるので。

で部屋に戻って野球の続き。数分ロスしただけで済んだ。今日の Giants の先発は Baystars を鴨にしてる井上の予定だったそうだが、感染症感染特例というやつで抹消されて、ここのところ中継ぎに回っていた西舘が代理で。解説の中畑清氏が「5回まで何とか投げれば」と言っていたが、6回まで被安打3、奪三振10と抑え込まれてしまった。で6回裏に先制されてしまうも、東は7回1失点。被安打4で7奪三振と、素晴らしい内容だった。38イニング無四球らしい。素晴らしい。で8回表に蝦名死球（Giants の投手はセ・リーグで一番死球が多いらしい）、林ヒットで走者をためて、代打筒香が同点打。素晴らしい。で延長戦に成った。10回表に1、3塁とチャンスを作り、盗塁で1塁が空いたということで申告敬遠で1死満塁に。戸柱が凡退して、ああまたいつものか、と思ったら、代打宮下が勝ち越し打。宮下には詫びないと。確かこの前も同じ状況で宮下が打って勝った試合があった。勝負強い。なぜスタメンで使わないかな。まあ今日は筒香も宮下も代打策がズバリ当たったのでいいです。Tigers は負けたが Giants が負けたので、Tigers のマジックナンバーは19。Hawks のマジックナンバーは18だ。随分前にマジックナンバーが出ていて、2位とのゲーム差が滅茶苦茶離れていたような気がしたが、5ゲーム差。セ・リーグは接戦だと言ってたが、4.5ゲーム差。あまり変わらないな。パ・リーグは今月いっぱいどう転ぶか分からない状況に成ると面白いが、セ・リーグは Giants にはどしどし負けてもらって、Tigers の優勝が早く決まるといい。Baystars の優勝の可能性は0ではないが、まあ現実的ではないので、期待してない。2位から8ゲーム開いてるから2位も現実的でない。3位キープを目指して頑張ってくだされ。

今セ・リーグの打撃成績を見てビックリした。牧が規定打席に到達してる。.286 でセ・リーグ3位。1か月近く離脱してたが。ホームランも3位。何だかんだ言っても牧は成績残すな。もっともっと打ってくだされ。

さっき結構な音の雷鳴がしていたが、どんな感じだろうか？上に書いたように明日は天気が悪いそうなので、食料を調達しておきたいが、雨降ってると嫌だな。まあセブンイレブンまでは買い物の時間を含めても往復15分くらいだから、ちょっとくらい我慢しよう。「かまいガチ」が終わったら行くか。

石田裕太郎は 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 戦では活躍しないでな。

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超のやつをやろうといことにして、計算をスタートさせた。どれくらい掛かるでしょうか？

大阪歴史博物館に行くため、京阪電車のプレミアムカーに乗る。大阪で駅の外に出るのは久し振り

昨晩はちゃんとドラマが終わってすぐ寝た。で今朝は10時にアラームを仕掛けておいて起きるつもりだったが、8時半くらいに目が覚めてしまった。睡眠は充分ではないがまあいいかと起きた。が、流石に眠くて、結局30分くらい経ってからもう一度寝床に入った。で10時のアラームで起きた。シャワーを浴びて出発。

用事はいつもより短く済んで、受け取るものを受け取ってからいつもはなか卯で食事だが、電車に乗るには駅に近い方がいい、ということで北上して松屋へ。鰻が食べたかったが、今シーズンはもう終了したようだ。仕方ないので馬鹿の一つ覚えでカルビ焼肉定食。が、ご飯無しのチケットを購入してしまった。受け取り口でそれでいいかと聞かれ、ご飯もお願いしますと言ったら差額分だけ（白ご飯単品で頼むのより安い）払って食べてきた。

で何故電車に乗りたいかと言うと、大阪歴史博物館で「豊臣兄弟！」に関連するものが展示されてるので見に行こうということで。暑い中住処から山科駅まで歩くのはちょっと嫌だが、まあついでに駅の近くに行ったのでいいでしょうということで。乗換案内ソフトでは JR の新快速で大阪駅まで行って、谷町線の東梅田駅まで歩いて、そこから乗り換え無しで最寄り駅の谷町四丁目駅まで行け、との仰せだが、梅田周辺の電車の乗り換えは自信が無いし、暑い中屋外を歩くのが嫌だ、ということで、地下鉄で三条京阪駅まで行って、京阪の三条駅まで行って、そこから特急で天満橋駅まで行って、地下鉄谷町線に乗り換えて一駅で谷町四丁目駅、というルートにした。これのいいところは、三条京阪から三条へは地下で乗り換えられて、天満橋も地下で乗り換えられる。暑いのは谷町四丁目駅から大阪歴史博物館までの数分。が、谷町線の谷町四丁目駅から目的の10番出口は中央線の谷町四丁目駅のホームを端から逆の端まで歩かないといけないから、結構大変だった。まあ地下なのでいいです。大阪で駅の外に出るのっていつ以来（「いつぶり」と言わないように）かな？10年以上前の気がする。鹿児島中央まで／からの新幹線に乗るのに二度改札は通っているが。

2000円払って6階へ。写真は最後でしか撮れないとのご注意を受けてから見学開始。兜、刀、金箔の残っている瓦などの派手なものより、昔の書状がそのまま残っているのを見せてくれているのの方が面白かった。千利休の直筆とか結構凄いのが残ってる。変色した、今にも破けそうな紙の巻物が残ってるだけでも凄い。歴史的な価値は高いだろうな。立派な屏風も沢山展示されていた。色々説明が書いてあるのを読んでから進むと時間が掛かる。他の見学者達もゆっくりゆっくりと見て進んでいた。久し振りに長時間立ってたので大分疲れた。お土産物を幾つか買って、喫茶店のような所があったら休憩しようと思ったが、大阪歴史博物館にはレストランはあったが、メニューにコーヒー、紅茶の類のメニューや軽食が無く、本格的な食べ物とアルコール飲料だけ。ええわ、帰ろう、ということで谷町四丁目駅へ向かう。

が、まだ帰らない。今日のもう一つの目的地は「喜連瓜破」。こっちに来る前からこの駅名は知ってた。「探偵！ナイトスクープ」で見たのか兄者が読んでたギャグ漫画「ちゃうちゃうちゃうんちゃう」で見たんだか忘れたが、一度「きれうりわり」と言ってるのを聞いてみたかったので、行った次第。乗った時は結構混んでた谷町線だが、数駅で相当の人が降りて、空席が目立つようになった。で喜連瓜破駅に着いて、駅名の看板を写して、さあ引き返す、とはやらない。それをやると立派な不正乗車なので、一旦外に出た。大阪の地下鉄は切符も面白いので、随分久し振りに新幹線と特急以外の切符を買った。切符は「喜」と「瓜」の字は大きく、「連」と「破」の字が小さい。御堂筋線の終点の中百舌鳥駅で切符を買ったらやはり同じように大小の文字を使っていたのを思い出した。で乗り込んで天満橋へ。途中近鉄との乗り換え駅があったりと、ガラガラの車内は天満橋に着いた頃は結構満員御礼だった。

で京阪電車のホームへ。書き忘れたが、行はプレミアムカーとやらに乗ってみた。三条から天満橋だと500円余分に払うが、まあ座席が確保出来るのでいいです。で帰りもそのつもりでいたんだが、券売機を探してる内に特急が来てしまった。次の特急は12分後で、待つのが嫌なので乗った。天満橋は淀屋橋の次の次の駅（途中北浜駅がある）だけあって、もう席は全部埋まっていた。過去に京阪電車に乗った時のことを思い出すに、大阪府内で結構客が降りてしまうので、まあ少し待てば着席出来るでしょう、と思っていたらその通りで、枚方市駅で相当降りて行った。京阪間の往復は結構時間が掛かるので、文庫本が大分進んだ。で三条京阪駅の前の販売機でアイスを買ったが、駅のゴミ箱は飲み物の容器以外は入れてはいけないことになってる。ベタベタのアイスの包み紙をどうしよう？と考えていた時に閃いた。土産に買ったTシャツがあるが、中身を出して、袋にアイスの包み紙を入れておいて住処で捨てる。これよこれ。などとやっている内に六地蔵行の地下鉄が行ってしまい、次の電車はびわ湖浜大津行。またか、という気がしたが、乗ることにした。今日は京阪電車に徹底的に奉仕するということで。帰りのプレミアムカー代500円が浮いたので、御陵－京阪山科間の200円を代わりに払うということでね。

で5時50分くらいに住処に着いた。流石に出掛けると一日仕事だ。で野球を見るべくテレビを付けると、試合開始が30分遅れる、との情報。横浜スタジアムは結構な雨降り。が、30分遅れるというような穏やかな雨ではない。横浜スタジアム関係者がこんなにグラウンドが水浸しに成ったのは初めて、と言ってたくらいで、ザーザー降りで雷も成ってる。結局諸々考慮したうえで6時15分くらいに中止が決定した。Tigers は何試合目の中止だろうか？9月以降のスケジュールがぎゅうぎゅうに成ると思われるが、そこで失速と成らないといいが。Giants は涼しい東京ドームで出来て、スケジュールが緩いとなると、体力的に楽だろう。Giants だけは優勝させちゃならねー。ということでこの3連戦は複雑な心境で見ている。今日の Tigers の先発予定だった今朝丸はまだプロに入って勝ってないそうだ。今日今朝丸に勝たれたら3日連続 NPB 初勝利のプレゼントととんでもないことに成るところだったので、まあこっちとしては中止でよかった。明日の予告先発は Baystars は故障明けで久々の石田裕太郎、Tigers は高橋遥人。苦戦しそうだ。今日は Giants が勝ってしまったので Tigers と0.5ゲーム近付いた。明日石田に勝ってもらって、Giants は負ける、というのが理想だ。そうなるよう願っておこう。

雷と言えば、さっき山科でも雷鳴が轟いていた。降ってるかな？これから呑みに行くので止んでると嬉しいが。今日も猛烈に暑かったし、こういう気候だと夕立は大いにあり得る。雨は鬱陶しいが、全く降らないのも困るので、程々に降るならいい。この前の千葉の大雨のようなことは起きないで欲しい。で今見たら、今日の千葉での試合は中止に成ってた。大した降りじゃなきゃいいけど。

あ、高校野球は智辯和歌山が優勝したそうだ。ちょっと書きたくはないが智辯和歌山には恨みがある。関東代表として健大高崎を応援してたが残念。高校野球が終わると夏も終わりだなという気がするが、まだ暑いのだろうな。嫌なこった。

が、暑い中のビールは旨いので、これから呑みに行く。暑い中のビールは脱水症状に繋がるので、炎天下で呑むのはやめましょう。こちらは冷房の効いた所で呑むのでまあいいでしょう。帰りは水を買ってくるし。ではいってきます。

森下と佐藤輝明に30号ホームランをプレゼントして敗戦

「アメトーーク！」が終わったらすぐに寝るつもりだったが、PARI/GP で実二次体の基本単数 >1 を quadunit で得られた結果を Mod(a＋bx,x^2－m) の形に直す関数を書くのに手間取って、もう小一時間起きていた。m が square-free な場合は簡単なんだが、m が平方因子を持ってる場合が案外手間取った。いや、例えば m＝12 の時に 2＋√3 と返してもらうのは易しいんだが、2＋√(12)/2 の形で返して欲しいので手間取ったのだ。で結局うまくいかないで、眠さに勝てずダウン。「熱闘甲子園」の放送があると深夜番組が全て30分遅く始まるので、「アメトーーク！」が終わった時は2時くらいだった。感覚が狂う。高校野球は明日決勝戦だ。やっと正常に戻る。

で起きて床屋、のつもりだったのだが、起きたのが3時くらい。今日はええわ、ということにした。来週は職場に水、金と2回行くが、考えてみれば水曜日は保健センターに行くという用事なので、別に床屋に行ってなくてもいいや、ということで。木曜日に床屋に行って、金曜日に院試面接なら問題ない。ということで、来週の木曜日に床屋、ということで。

PARI/GP の関数書きは割とすぐ出来た。bnf を使ったものでは一個進むのに長時間掛かったものが短時間で動く。と言ってもトータルでは2時間くらいは掛かったが。万能という名の無能、という言葉があったが、汎用の関数より二次体に特化した関数の方が速い。猫魔先生は PARI/GP でバリバリプログラミングしてるが、岩澤理論関係の計算では次数の結構大きい体が出てきて、汎用の関数ではとてもとてもということで色々やられている。小生も負けずに色々やりたいが、まあやらないな。

であっと言う間に6時。Baystars は今日から Tigers と横浜スタジアムで3連戦。平良が先発。割といい内容のことが多いのだが、勝ち運が無い。今日は宮下の7号ソロホームランで先制したが、森下に30号ソロホームランを打たれ、その後もう1失点。が、6回まで2失点、10奪三振（自己最多タイ）だったが、打線が点を取れず。そうこうしている内に佐藤輝明に30号ソロホームラン、9回に坂本に8号ソロホームランを打たれ、1－4で敗戦。4失点中3失点がソロホームラン。バッテリーはもっとどうにかしようがあったのでは？という気がするが、まあ小生は素人なので、余計なことは言わないでおこう。二日続けて外国人投手に来日初勝利を献上してしまった。明日の Tigers の投手にプロ初勝利をプレゼントするのだけはやめましょう。

明日は11時前に区内某所に行かないといけない。11時まで起きてるのは得意だが、明日はその後ちょっと行きたい所があるのと、夜呑みに行くので、ちゃんと寝ておこう。幸い今日は高校野球は無かったので、「探偵！ナイトスクープ」の後のドラマが終わっても1時半前。まあ十分寝られるな。ということで今晩は程々にして寝る。どこに行くのかって？明日書く。

横浜高校の甲子園現スターも横浜 DeNA ベイスターズの甲子園元スターも負け投手に成り、今日は横浜惨敗

昨日書いた通り計算はすぐに出来たが、その後に間違いがあった。6n＋3 と書いてあるのは 4n＋2。何故2項式を2乗したのに指数が3倍に成ってるのか謎。ということでその後の計算をやり直す羽目に。そうしたら因数分解出来ない（大学受験数学の意味でね。Q[X] の Q 上既約な元が、という意味）2次式が因数分解出来た。分母を払わずにやったので、解の公式で解を求めて2次不等式、の筈が判別式が平方数に成ってて、ん？という感じだった。分母を払えば x－1 で割れるのは明らかだった。Q[X] の元を内容（容量）と Z 係数の原始多項式の積に分けて、Z 上の既約性に帰着、ということは毎年講義してるがな。でやりながら閃いた。ちょっと前にやってたのを一般化出来る。お得意のノルムを取って有理数の世界に落としてから2次方程式の解の公式を使う、という奴。でぐちゃぐちゃやって、大体出来た。ちょっと R－D type の二次体のこととか必要に成るから、まあ恰好は付いた。もうちょっとどうにかした方がいいが取り敢えずいいことにして、TeX 化。

などとやっている内にもう高校野球が始まる時間に成ってて、横浜高校の試合の音声を聞きながらやっていた。この前織田翔希が156km/hの快速球を連発していた時に「織田が天下を取りに行く」と実況していたが、織田は天下を取れないのです。3ランホームランを打たれたりして、早い回に交代してしまった。今までは試合途中にマウンドから去る時は外野の守備についてたそうだが、今日はベンチに引っ込んで完全交代。流石に疲れが残っていたということか。で横浜高校は準決勝で敗退。残念。その次の試合も凄くて、健大高崎が勝ったが、昨日の Baystars 同様のスミ1勝利。何とこの大会で3試合目の1－0勝利だそうだ。凄いな。決勝は智辯和歌山と。最近は1日ずつ空くように成ってて、昔ほど選手は無理をしないのでいい。どうなるでしょう？2試合終わった後智辯和歌山の監督のインタビューの映像が流れてたが、中谷仁監督って Tigers にいたな。プロ野球を辞めた後高校野球の指導者に成れる時代に成ったのはいいこと。うん。

などとしている内に2時くらいに成ってた。今日も横濱漢祭のため5時45分開始だから、あまり寝られないな、などと思って YouTube を見てても眠くならない。結局寝なかった。で結論としては野球を見ないで寝てればよかった。藤浪は相変わらずで、1回表に四球を複数出し、そこから2失点。その後もう1点取られ、3回途中で降板。解説の槇原氏が「今後は使いにくくなりましたね」と言っていたが、いやいや、とっくの前から使いにくいのです。真面目に見る気が湧かず、PARI/GP のマニュアルと睨めっこしながら、実二次体の基本単数 >1 を bnf 関係の命令を使って吐き出す関数を書いたりしていた。色々やるのが楽になった。朝やってたのを少しどうにかしようと思ってやってたが、判別式が指数関数的に大きく成る（こんな言葉使う必要はなくて、本当に指数関数で与えられてる）実二次体の属を扱うのに目視でやったのをオートマティックに出来るが、時間の掛かるループをもう一回する気は起きないので、関数は作ったが、もういいや、と。そんなこんなしている内に、Baystars は負けていた。今日 Giants が負けて Tigers が勝てば Tigers にマジックナンバー点灯だったが、見たら Tigers が負けていたので、こっちはどうでもよかったか。明日から Tigers と3連戦だ。半分関西人に成ってる者としては悩ましい3連戦。まあ勝ち越して、Giants が3連敗するのを願おう。

今晩はちゃんと寝よう。来週院試の面接があるから、髪の毛伸び放題だとみっともないから、明日床屋へ行こう。で CM を見てて思い出したが、名神が集中工事をやってる。ちょっと早目に住処を出ないといけないな。まあ11時半に詰め所に集合なので、そんな早起きする必要は無い。ただ生活リズムがガタガタに成ってるので、十分早起きなのだが。流石に徹夜して行こうとは思わない。ちゃんとしますよ。

PARI/GP で出来るようになったことがもう一つ。計算の所要時間を表示する方法を知った。これで有理点探しにどれくらい時間が掛かったかが正確に分かるようになる。嬉しい。マニュアルも読んでみるもんだな。足立先生が「LaTeX 2ε 美文書作成入門」を買って眺めてたら色々発見があったというようなことを言っておられたが、そうですよ、そういうことはした方がいいです、と思った。数学の本も何となく斜め読みしてると発見があったりする。勿論真剣にやる時はやらんとあかんのだが、野球だけでなく緩急を付けるのは大事。数学も気楽に構える時は構えましょう。そうしないと精神的に破綻する。楽しみましょう。

スミ1でも勝ちは勝ち。苦手井上温大に黒星付けたった

昨日は超寝不足だったのでそこそこの時間（普通の社会人の感覚では十分遅いと思うが）に寝た。が、今日もちょっと早目に目が覚めてしまい、今日も寝不足気味。起きて昼飯を食べたが、まだ何か眠い。もう一回横に成って小一時間程寝た。少しはマシだが、まだ眠い。あまり寝てばかりなのもどうかと思うので、頑張って起きた。起きても何か特にするわけではないが。

であっと言う間に野球の時間。今日も横濱漢祭なので5時45分試合開始。Baystars は東、Giants は井上温大。井上には5戦5敗とからっきし弱いので、心配。が、1回裏に早速1点取った。2アウトから度会が四球で出塁して、エンカーナシオンのセンター前への当たりを佐々木が無理にダイビングキャッチをしようとして後ろに逸らして、その間に度会がホームイン。解説の谷繁氏が「無理しない方がよかったですね。1回ですし」と言ってた。が、この1点が超貴重。その後両チーム1点も取れず、1－0で決着。今日も井上にてこずったっし、相川監督の言う通り打ち崩してはいない。まあでも、最後に1勝差が効いてくるので、勝ったのは大きい。Tigers が Swallows 相手に9回裏に追い付いて10回裏にサヨナラ勝ちしたので、Tigers と Giants が4差、Baystars が Swallows と1差と成った。で Carp が最下位脱出。明日 Baystars が Giants に勝って、Tigers が Swallows 相手に勝ちか引き分けでマジックナンバー29が点灯らしい。大分行方が見えてくるかもね。

パ・リーグは Hawks が俄然有利だが、今日は Fighters が苦手 Hawks 相手に頑張った。5回表終了時点で0－6だったが、5回裏に3点、7回裏に4点取って引っくり返す。8回表に Hawks が1点取って追い付いたが、10回裏に清宮（幸）がサヨナラ打。これでやっと対戦成績4勝15敗。まだ意地を見せてもらわないと。

清宮（幸）と書いたが、Fighters にはもう一人清宮がいる。ご存知だろうか？清宮虎多朗という投手がいる。但しこちらは「せいみや」。だから球場アナウンスでは多分清宮幸太郎は「きよみや」と呼んでると思う。あ、名前が「こたろう」と「こうたろう」なのも面白い。Baystars の東は「あずまかつき」とアナウンスされるが、こちらは東妻純平と区別するため。東妻は「あずま」と読むのでね。原辰徳が「原（辰）」と表記されていた時期があったが、これはもう一人原がいたため。Carp に同時期に原がいたのは何の関係も無い。ちょっと関係無いが Swallows は「ひろさわ」姓が好きなようで、広沢克己と同じ時期に広沢好輝という選手がいて、今は廣澤優という投手がいる。一番有名なのは克己だろうな。面白いのが広沢好輝の母親は「かつみ」という名前だそうだ。それと広沢克己と広沢好輝は後に Tigers でもチームメートに成った。運命とは面白いものだ。ちょっと関係無いっちゃ無いが、高校の時に香川君がいて、入学式の日にクラス分けを見に掲示を見てたら「かがわくん」と呼ばれたので行くと、呼ばれていたのは香川君の方だった。で彼と小生が高2の時に同じクラスに成った。何もそんなことをしなくても、と思ったがな。有名な苗字の人の苦労がちょっと分かった。

野球が終わった後ちょっと計算したが、前に計算したのと合わない。何回やっても合わない。前にやったのが間違ってるのでは？と思って数値を代入して計算したが、前のが合ってるっぽい。計算力が落ちてるな。まあ「コンピューターが無いと数学が出来ない輩」と指導教員に呼ばれている奴だから仕方ない。もう一回やってみよう。幸い計算に使う紙は幾らでもある。で手に取った紙が25年以上前に今の職場と同時に応募した某国立大学からの非採用通知。こんな紙は早く捨てた方がいいので、計算が終わったら捨てよう。案外こんな紙で計算すると合ったりしてな。さあどうなるでしょう？

などと書いてしばし。計算合った。不思議不思議。

横濱漢祭1戦目は無事サヨナラ勝ちで3位タイに浮上

呑み呑み色々やって、また訳の分からない時間まで起きていた、っぽい。例によって最後の方の記憶が曖昧。何時に寝たかいな？テレビを消さないでダウンした記憶が微かにあったが、目が覚めてみると静か。またしてもケーブルテレビのチューナー経由で見ていたようだ。どれくらいアイドルタイムがあると電源が切れるんだろうか？前に「35歳の高校生」という米倉涼子主演のドラマがたまたま見ていたケーブルテレビのチャンネルで一挙放送というので1話から全部ぶっ続けで放送していたことがあったが、1話を見ると続きが気に成る、というわけでずっと見てたが、途中で電源がオフに成り焦った。一瞬でオフに成るわけではなく、「Please wait」とチューナーの小窓に表示が出て、その間待たないといけない。幸い筋が分からなくなるほどの長時間ではなかったのでよかったが。

昼過ぎに起きたので、結構寝不足ではあったがまあいいです。カップ麺をすすろうかと思ったが、栄養がな、というわけで Uber Eats で適当に頼むことにしたが、何やら油そばの店が近所でオープンしたらしく、20%引きだったのでそこの一番ベーシックなのを頼んだ。カップ麺とあまり変わらないな、と食べながら思ったが、美味しかったのでいいです。それから暫く高校野球を流して、ウダウダと作業。すると横浜高校の試合が始まったので、眠いが起きていることにした。横浜高校は渡辺元智前監督が昨日亡くなったということで、絶対に勝たないと。織田翔希が圧巻のピッチング。甲子園最速タイとなる156km/hを7度も記録したとか。1－0のリードの場面でレフト前にヒットを打たれ同点か？という場面でレフトの江坂がホームへドンピシャの送球。キャッチャーが捕った所にランナーが突っ込んでくるという形に成りタッチアウト。ピンチを凌いだ。その後横浜が着々と加点し、最終的には6－0と一方的な試合に成った。織田は9回も156km/hを記録し、10奪三振完封。よしよし。横浜高校の校歌には富岡とか屛風浦とか懐かしい地名が出てきて嬉しい。熊本の有明高校は延長タイブレークの末サヨナラ負け。残念だった。

で時計を見るともう4時50分くらい。今日の Baystars vs. Giants は「横濱漢祭」という年に一度（1カード3試合だが）のお祭りで、試合終了後角田信朗のライブがあるので、試合開始が5時45分。もう1時間無いな、ということで寝ないことにした。Giants 戦は苦手にしているが、この前は勝ち越した。今回も、と思うが、1回表に投手の尾形自らがエラーをし、1点先制されてしまう。むぅ。Giants の先発は Baystars 戦の成績が14勝4敗という山崎伊織。苦戦するな、と思ったが、今日の山崎は制球が悪い。1回裏に牧、筒香に四球で走者を2人貰い、宮崎が2点タイムリーヒットであっさり逆転。2回裏にも度会が叩き付ける当たりで内野の頭を越えるヒットでもう1点。いいですね。渡辺元智さん、卒業生頑張ってますよ。と思ったが、角田氏も言う通り Baystras らしい試合に成ってしまった。チャンスを潰しまくる。で5回表に無死満塁の大ピンチ。いつもならこのままずるずると大量失点と成ってしまうが、三振、犠牲フライ、外野フライで1失点に抑えた。尾形は自己最長の7回を2失点と上出来。が、やはりロクでもないことが。8回表に二番手ルイーズが同点に追い付かれる。尾形の勝ち星が消えた。その後内野安打を打たれ、またいつものパターンか、と思ったがルイーズが二者連続三振に斬ってとり、同点で済ませた。8回裏、9回表は両チーム無得点で9回裏。今日の Giants の投手陣は変だった。田中瑛斗が1アウトから牧にデッドボール、筒香がストレートのフォアボール、エンカーナシオンもフォアボールで1死満塁。で打順は宮崎。宮崎はこういう場面で併殺打を打つことが多い。足が遅いのは仕方ない。打球が速いしね。でファーストゴロを打った時はまたか、と思ったが、幸い本塁のアウトだけで済んだ。で打者は8回裏に代打で出て守備についていた宮下。まあ駄目でしょう、で延長に入って失点して負け、といういつものパターンだろう、と思ってしまったが、宮下、申し訳ない。二遊間を抜けるサヨナラヒット！素晴らしい。その後角田信朗のライブが始まった。タイトルは「轟爆爆破爆裂漢炎舞」と、爆の字が多いぞ。で見ていたが、途中で放送を打ち切りよった。何だよ、折角球団が盛り上げてるのに、放送局がそう出るかよ。今日は4回裏の「Hisense ハマスタバトル」も「Hisense 韋駄天疾風継走」とか色々やって盛り上げてるのに。TBS は Baystars 暗黒時代の親会社だ。放送してくれるのは有難いが、ちょっとな。明日はどうなるでしょう？

他球場はどうなってる？と思ってNHKのニュースのスポーツコーナーを見ていると、Tigers vs. Swallows は9回裏1－2という状況で佐藤、大山の二者連続ホームランで Tigers がサヨナラ勝ち。素晴らしい。佐藤は森下に並んだそうだ。最近森下打ってないな。で Tigers と Giants は3ゲーム差に、Baystars は Swallows に同率で並んだ。よしよし。明日もこの調子でいきましょう。

その後ちょっと書き散らかした紙をどうにかしようと TeX 化開始。dvi ファイルを見ると、もう TeX 化の済んでるものがあったが、何か変なことが書いてある。寝不足の頭で考えるとロクでもない。簡単なことに結構時間を使ってしまった。それから明日ペットボトルのゴミを沢山出そうとラベル剥がしを頑張ってして。「相席食堂」が終わったらゴミ出ししてこよう。それからすぐ寝てもいいが、「ロンドンハーツ」と「テレビ千鳥」を見たいし、そしたらすぐ寝よう。ちょっと大阪に行きたい件があるので、明日早目に起きたら行こう。今見たら、土曜日は午前中に起きないといけなり用事があるので、その後でもいいや。

昨日探した有理点探しは当然見付かっていない。Canonical height は900くらいと予想されるので。パソコンもう一台買って、専念させようかな？TeX 化したり調べ物したり息抜きにゲームしたりと結構マルチタスクでやらせてるから、影響は出てるだろうな。Unix はマルチタスク前提に作られてるそうだが、Windows の基盤となる MS-DOS はそうじゃないようなことを聞いたことがある。一つことに専念させたいところ。まあ暫くこのままだな。

Canonial height が570超の有理点が画面に表示された瞬間を見て感動（約98時間掛かった）

相変わらず生活リズムがしっちゃかめっちゃかである。千葉の大雨に関するニュースを見てると、どんどん時間が過ぎていく。雨の中で車を運転するのは怖いことだというのを思い知らされた。気を付けないと。アンダーパスは職場の近くにある。そこを走る時は気を付けないと。ちょっと遠回りでもかがやき通りへ迂回するとか、高速道路を使って帰った方が安全だな。もっとも視界が滅茶苦茶悪くなるような降りなら、運転するのをやめた方がいい。この前結構降ってる中を走ったが、相当視界が悪く怖かった。前の車のテールランプは見えるくらいだったので、まだましな方か。最悪職場に泊まることにした方がいいだろう。エポックは飛び込みで泊めてもらえるんだろうか？まあ遅くなると建物の外へ出られなくなるから、その前には行かないと。行っても駄目なら個研室でウダウダするか、院生の溜まり部屋のソファーで寝かせてもらうかだな。

で相当変な時間に寝たが、連日の寝不足のためか結構長時間寝た。で今晩は呑むことにしている。不摂生の日々は続く。来週は職場に2回行く用事があり、他にもちょっと平安京の中に行く用事があるので、来週は少しはマシな生活に成るでしょう。

でカップ麺を食べて腹ごしらえをしたり、テレビを見たりと、相変わらずダラダラと過ごして、で途中有理点探しの様子は、とまさに見た瞬間に有理点が画面にドンと表示された。Canonical height が570超の点が出た瞬間だ、迫力がある。13日の夕方6時ちょいに仕掛けたが、今日の夜8時丁度に結果が出た。約98時間（約4日と2時間）だな。で次のは怖い。Canocal height の予想される値は約900。さあ何日掛かるでしょう？その後に900を大きく上回るものが幾つか控えている。覚悟してやらないと。何度も書いてるが、何かしらの工夫はした方がいいが、全部終わったら考えることとしますわ。下手したら1か月くらい計算待ちをしてるだけに成りそうだが。まあこれも何度も書いてるが、他にもやることはあるので。

さっき「報道ステーション」で言っていたが、トミー・ジョン氏が死んだというニュース。正直知らなかったのだが、「トミー・ジョン手術」というのはトミー・ジョンは投手で、初めて今でいう「トミー・ジョン手術」を受けた人ということでこの名前が付いたそうだ。手術後164勝したらしい。ふーん。確か村田兆治が受けた手術はトミー・ジョン手術だったな。復帰後沢山勝ち星を稼いで、通算で200勝を超えたということで、皆怖がらずにトミー・ジョン手術を日本でも受けるようになったのだと思うがそうだろうか？復帰後日曜日に登板するので「サンデー兆治」と呼ばれていたが、当時は中6日のローテーションではなかったということだろうな。名前を残すのでも記憶に残るのもいいことです。小生は何も残せそうにないが、まあその程度の人間だったということでね。一応人様から引用してもらえるくらいの論文は数本書いたのでいいでしょう。定年退職まであと数年。欲張らずに平和に過ごしますわ。

Swallows に3タテを食らい、A クラスの座を一週間ぶりに明け渡す

昨晩はふなごやに着いてすぐ二人組の予約客が入ってきてビックリした。予約なのに殆ど呑み食いしてなかった。多分酒を一杯ずつと料理を一品ずつ。2軒目なのだろうか？でその客が帰った後、店長が何やら必死に料理をしていた。何だと思ったら、日曜日（今日ね）から木曜日まで休みにしてキャンプに行くそうで、日持ちのしない牛乳を使ってベシャメルソースを作ったそうだ。その後賄いで冷蔵庫に残っていた食材を使った料理を出して、でちょっと残りが多かったらしく小生にもちょっと。E-mail のスパムは嫌だが、食べる方のスパムは美味しい。山科の夜の街で教わった食べ物の一つ。その後いつもの通りワインを2本ばかり。楽しかった。

今日は中々起きられなかった。2本じゃなくて3本だったか？微かに記憶がある。出掛ける前に洗濯機を回していたが、急いで出さないと。幸い乾燥機付きなのでもう乾いているが。で開けて見ると空っぽ。どうやら帰ってきてすぐ出したらしい。酔うと面倒なことをよくやるのが小生で、今部屋で使ってる棚も酔っぱらった時に組み立てたらしく、起きたら出来上がっていた。食器を洗ったこともあるらしく、起きたら台所が片付いていたことがあった。酔っても記憶が無くならなければいいんだがな。まあ全部覚えてたら色々失態したのを覚えていて、精神的によろしくないという一面はある。勿論大事なことを忘れていて青くなることの方が多い気はするので、酒は程々に。

で Uber Eats にいつもの麻婆ライスと餃子と唐揚げ3個を頼んだ。が、よろしくない。スプーンを頼んだのに入ってない。まあスプーンはあるのでいいです。プラスチックの節約をしたと思えば。が、もう一つよろしくないこと。餃子のタレが入ってない。何か紙片が入っていて、見ると「これからも美味しい料理をお届け出来るよう務めてまいります。」（「務めて」は「努めて」の間違い？）と書いてあったが、こんなものを準備して入れる時間があったらタレが入ってるかどうか確認して欲しいが。店の名前は書かないことにしよう。この程度のことで腹を立てて営業妨害するのはよろしくない。ミスは誰でもするのでね。

などとしている内に野球の時間。昨日はサヨナラ負けを食らっていた。中川虎大は春先は中継ぎで好投して勝ちがポンポン転がり込んできたが、最近負けが付くことが増えている。一旦抹消されたが、復帰後も風向きが悪い感じ。昨日の負けで4位転落かと思っていたが、Swalows が数試合雨で流してるので、同率で並んで3位だったようだ。最終の順位は勝率、勝ち数、直接対決の成績、…、と決めていくので、Swallows 戦は負け越しているので、実質4位。3タテは無いだろうし、今日は勝つっしょ、と思ったが、風向きが悪い。3回裏に長岡に2ランホームランを打たれてしまった。6回表に牧、筒香、エンカーナシオンの3連打で1点返したが、その後3人があっさり凡退し、同点、勝ち越しはならず。結局点数はそのままで終了。正真正銘の4位に成ってしまった。むぅ。明後日からは横浜スタジアムで Giants 戦。Swallows は京セラドームで Tigers と3連戦。Baystars の3位再浮上と Giants に下がってもらうには自力で Giants に勝ち越し、Tigers に勝ち越してもらわないと。

今日は Tigers も Giants も勝ったようだが、Dragons は Giants 相手に大失態。7回終了時点では1－0と締まった投手戦だったようで、柳は7回1失点の好投。が、何と8回表に10失点。Dragons が勝たなくてもバンテリンドームの観客数は去年より増えていたが、今日は流石に呆れたらしく、途中で球場を後にする人が結構いたそうだ。まあそうだろう。何が起こるか分からないから最後まで応援する、というのは強がりで、惨状を目にしては耐えられないだろう。Carp は Tigers に1－8とやはり惨敗で、この2チームが火曜日からマツダスタジアムで対戦するようだが、客は入るんでしょうか？マツダスタジアムは数年前に異常発生した「Carp 女子」が姿を消し、大分閑古鳥が鳴いてるらしいし、Dragons ファンも広島まで行かない気がする。ゲーム差1の熾烈な5位争い、と言うのも空しいだろう。どうなりますかね。

木曜日に仕掛けた有理点探しは流石に終わっていない。書いたように canonical height の予想される値は573超。気長にやります。色々やることはあるので、コンピューター君には頑張ってもらおう。