86日ぶりの横浜スタジアム

今日は昼くらいに起きて昼飯を食べた。が、眠かったので、もう一度横に成って、起きたのは6時過ぎ。うーん、何してんだか。時間割関係でいくつかメールが来ていたんので、それに対応しながら野球観戦。

今日は86日ぶりの横浜スタジアム。勝たねば、と思って見ていると、4回表終了時に1－6と5点差を付けられる。あかんな、今日は。単独最下位独走か、という雰囲気。しかし今日は執念が違った。4回裏に牧の2ランホームラン、5回裏に佐野のソロホームラン、7回裏に宮崎タイムリーヒットで1点差。更に7回裏、ソトが逆転2ランホームラン！9回表は1アウト満塁と攻められるも、最後は三嶋が坂倉をダブルプレーに打ち取りゲームセット。7－6。これで最下位は最下位だが、単独最下位ではなくなった。よかった。今日のヒーローインタビューは勝ち投手のエスコバーと、逆転ホームランのソト。エスコバーの「男は黙って投げるだけ」を久々に聞いた。ソトは、牧のホームランの前に3ベースヒットを打っているのだが、そのことを突っ込まれていた。ソトは足が速い。これからも打ってください。

Tigers が負けてしまい、Dragons は単独4位。Giants vs. Swallows は Giants が勝ってしまったので、2位 Tigers に 0.5 ゲーム差を付けて、正真正銘の首位に立ってしまった。Swallows は Tigers に1ゲーム差を付けられて3位。うむ。明日は Swallows と Tigers に頑張って欲しい。

大谷が42号ホームランを打った。2位には4本差だそうだ。ホームラン王取れるでしょうか？

ユニクロのジーパンのCMで電車のホームを歩いているが、京浜急行のようだ。CMの冒頭に1500系が映っている。どこの駅だろうか？ちょっとわからないな。CMで首都圏の電車が映る時は京王と決まっていたんだが。京急にはもう何年も乗っていない。今度帰省する時は京急で帰ろう。「京急東神奈川」駅で乗り換えよう。横浜駅の乗り換えは混むからね。

岩澤類数公式の証明が終わった

昨日の晩は本当に昨日のうちに寝てしまおうと思ったのだが、論文の内容をノートに整理してからにしようということを思い立ち、結局1時近くまで起きていた。それでもいつもより大分早い。

で今朝は11時前に起きたが、まだ眠かったので、12時半くらいまで2度寝。で Uber Eats に昼食を頼んで、1時からゼミ。今日は岩澤類数公式の証明。が、初っ端からお腹が痛く、10分くらい聞きそびれて、ついていけなくなってしまった。まあ雰囲気は知っていたし、雰囲気はわかったからいいです。以前藤崎源二郎先生がどこかで話しておられたが、岩澤先生の業績以前の「類数公式」とうたったものは「Rh 公式」、即ち単数規準と類数が切り離せないものだったのだが、岩澤類数公式は p 部分とは言え、単数規準が出てこない類数公式だと。言われてみると凄いことだ。岩澤先生はどうやってこんなものを思い付いたのだろう？今となっては確かめようがない。中島匠一氏が岩澤先生にお話を伺った記事が「数学」に出ている。今度見てみよう。Washington の本には完備群環と形式的冪級数環を同一視する Serre による証明が与えられているが、Serre はこんなものをどうやって思い付いたのだろう？偉人の考えたことはわからん。小生偉人ではないので、小さなことだけやろう。

筒香が頑張っている。代打で4打数3ホームランという活躍をしていたが、今日はスタメンで出て、同点の犠牲フライとサヨナラ3ランホームラン。打率こそ低いが、存在感を示している。メッツを首に成った時は「すわ読売 Giants が取るのでは？」とか「Baystars に帰ってきても守るところないぞ」とか色々話題になったが、今の活躍を見れば心配しただけ損だったな、という感じ。もっと頑張ってもらおう。Baystars も頑張るので。昨日の負けで単独最下位に逆戻りだが、4位タイで並んでいる Dragons と Carp までは1ゲーム差。明日の相手は Carp で、Dragons は Tigers と。Baystars と Tigers が勝てば、3チームが37勝50敗で並ぶ。明日はそうなるよう願おう。もう1戦は Giants vs. Swallows。結果次第では Swallows が首位に立つ。そうなると面白いね。Swallows にも Tigers にも頑張ってもらおう。

Tigers 3位転落

結局その後論文をチェックして、寝なかった。今日は早寝して、明日はゼミのため早起きなので、生活リズムは自然に矯正される。だからいいや、と思って。で寝ないで論文を更に読んだ。証明を省略されているところを補うのに結構手間取った。－C>0 という気持ち悪い状況だったので、C で割って不等号が逆向きに成るという気持ち悪いことが何度も起き、間違いを何度もした。

2時から野球。4回まで今永がパーフェクトピッチング。が、5回表の攻撃で今永がヒットで3塁に激走してアウトと、嫌な予感。案の定疲れたか、5回裏に1点取られた。が、6回2安打1失点と、ナイスピッチングだった。打線はどうかというと、何度もチャンスを作るのだが、ホームに届かない。7回裏にシャッケルフォードが3ランホームランを打たれ、ぶち壊し。その後さらに1点取られた。このまま5－0で負けか、と思ったら、9回表に桑原が2ランホームラン。ちょっと溜飲が下がった。これで展開次第では Swallows が首位に立つ。さて Giants は、と思って見たら、勝っていた。これでナイターの展開次第では Giants が首位、Swallows が2位、Tigers が一気に3位転落、という展開になった。Tigers 負けるわけにはいかんぞ、と思って見ていたら、サンズがエラーして、2アウト1塁。そこから鈴木誠也、坂倉の2者連続ホームランで3点先制された。うむ。その後膠着状態も、7回に坂倉の2点タイムリーヒット。5－0。試合はそのまま終了し、Tigers は3位転落。うむ。首位陥落の危機を13回だったかそれくらい耐えたんだが、ついに落ちた。が、まだ1日で取り返せる。頑張れ Tigers。Giants にだけは優勝させちゃならねー。

高校野球の決勝は智弁対決。スコアボードには「智弁学園」と「和智弁」と書かれていた。結局智弁和歌山が勝ったようだ。智弁和歌山と言えば、昔うちにいた原先生の母校。喜んでいるだろうか？小生のゼミにも智弁和歌山のOBがいた。彼はどうしているだろうか？彼には色々苦しめられた。そんなことを思い出した。いずれも遠い昔の話だ。えぇと、あ、高校野球の話ね。今年は雨で随分日程が延びたが、Tigers の試合と高校野球のダブルヘッダーというのだけは避けられた。よかった。来年は客を入れてやれるといいですな。

どうでもいい話。橋本環奈がやっているオンラインコミックスのCMだが、「朝から夜まで全巻達成感」と言っているが、少し前に同じ橋本環奈が、朝から晩までスマホに向かっていて、「今日何もしなかった」と後悔して、短期バイトを探すCMがあった。何なんだか。こういうどうでもいいことが気に成るのが小生の悪い癖。本当にどうでいい話でした。

眠い1日

昨日の晩は早寝するつもりだったのだが、つい「座王」を見てしまい、寝たのは1時半。そのまま12時間以上寝て、野球を見た。今日（昨日だが）の野球は6試合中4試合が引き分け。セ・リーグは Dragons vs. Giants、Swallows vs. Baystarsが引き分けで、Carp vs. Tigers は Carp の勝ち。明日（今日だが）の結果次第では Tigers は一気に3位に転落する可能性があるとか。うむ、踏ん張らないと。Swallows がトップに立つのは構わないが、Giants だけはトップにさせちゃならねえ。

高校野球は京都と滋賀の代表が負けてしまった。どちらも応援していたんだが。で決勝は智弁学園（奈良）vs. 智弁和歌山（和歌山）の「智弁対決」に成ったようだ。どっちも頑張ってください。見ないけど。

今日（昨日だが）は眠い1日。野球が終わった後もう一寝入り。晩飯を食べた後もう一寝入りして、こんな時間に成っている。やはり徹夜は辛いな。今晩は早く寝よう。

昨日書いた論文の謎はどうやら解決した。わかってしまえば簡単なことだった。いや、本当に合ってるかどうかはまだ確信できていない。これを書き終わったらもう一度確認する。寝るのはそれから。

宮崎、ソト、牧とソロホームラン3連発

昨日は野球見てる最中に眠気に耐えられなくなり、横に成った。起きたのは深夜。今日は午前中に用事があったので、そこから寝るとまた半端に成りそうなので、起きてることにした。で論文読みをし始めた。どうも1箇所わからないので。

でそのまま11時くらい。区内某所で野暮用があり出掛けた。用事は1時間くらいで終了。その後なか卯で鰻丼豪快盛りを食べようと思ったのだが、もう鰻のシーズンは終わりらしい。仕方ないのでカレーを食べてきた。

その後論文読みの続き。どうしても1か所わからない。何かトートロジーに成っているようで、納得く証明が付けられない。連分数かディオファンタス近似を用いないと証明できないような気がするのだが…。時間割関係の野暮用もあるので、この辺で一旦切り上げるか。

晩飯は吉野家の鰻。どうしても鰻が食べたかったので。5時半から野球が始まっているので、見ながらもそもそと食べる。7回表2アウトまで0点に抑えられていたんだが、そこからソロホームランを3発。らしい点の取り方で3－0。8回表にも佐野の内野ゴロの間に1点。8回裏は康晃がピンチを作るもしのぐ。9回裏は三嶋。3人でぴしゃり。これで再開後10試合を5勝5敗と、まずまず。今日は Giants が負けていたので、Swallows が勝てば2位浮上だったのだが、Baystars としては最下位転落の危機だったので、勝たないわけにはいかなかった。Swallows ファンの皆さん、ごめんね。今日は B クラスのチームが全部勝った。Tigers も Giants との差を広げるチャンスだったのだが。まだまだ混戦は続きそうだ。

大谷が41号ホームラン。また、規定打席に達したそうだ。凄い。ピッチャーで規定打席って常識では考えられない。大谷は常識を超えていくね。まだまだ活躍してください。

流石に眠くなってきた。今日は早寝して、12時間くらい寝るか。

牧秀悟サイクルヒット（ルーキーとしては史上初！）

今日は昼前に目が覚めた。で折角だから職場へ。書類を提出するためと本を買うため。どちらも無事果たしてきた。その後雑用メールをこなして、論文読み。

で6時過ぎにお腹が空いたので、生協へ。昨日書いた通り、10時過ぎまで職場にいると、草津市内で食事というわけにもいかなくなるので。が、生協コンビニは5時まで。弁当を買おうという計画は頓挫した。じゃあ学食で、と思ったら、夕方は営業していないらしい。例年の夏休みは夕方も営業しているんだが、コロナのせいか。仕方ないのでセブンイレブンに車を走らせた。歩け？いやー、片道1km以上ある。弁当あっためてもらっても、職場に戻ってくる頃には冷めてしまう。それに暑いし。論文も読みたいしね。ということで急いで帰ってきて、弁当を掻っ込む。野球を web 観戦しながら論文読み。初等的な議論で手間取る。高校生の頃の勉強不足が祟る。野球も気に成る。野球がメインで論文がサブでは、というツッコミは却下。10時過ぎまで職場にいた。

で野球だが、今日は Tigres と。4試合で3敗と苦手の伊藤将司から3回までで5点と、あっさり攻略。13安打で10－2と圧勝。特段見るところは無いか、というとそんなことはない。ルーキー牧がサイクルヒット！ルーキーのサイクルヒットは史上初！4月1日にもあわやサイクルヒットというところを見せていた。その時はホームランが出ればサイクルヒットでサヨナラで、チーム初勝利、というところだったが、惜しくも逃していた。今日は3塁打を残していたので難しいか、と思ったら、何と打ってしまった！もうびっくり。で帰宅後 CS で「プロ野球ニュース」を見たんだが、最後の3塁打は余裕を持って3塁ベースに着いていた。滑り込みはもちろん不要で、全力で駆け抜ける必要の無いくらい楽勝でセーフ。ランニングホームランに成ったんじゃ？というくらい。まあ無理する必要は無いのでいいでしょう。よかった。たまにはこんな日もないと。

その後パソコン相手に花札をやったら、1－55とわけのわからない負け方をした。いきなり猪鹿蝶、猪鹿蝶、四光とこられては。記録を見ると、65文取って勝った時があるようだが、記憶に無い。55文でこんな一方的に負けた感じがするんだったら、65文で勝ったのはさぞ気持ちよかったろうに。覚えてないな。まあいいや。もう一度目指そう。

えーと、あ、牧の話だった。この前サイクルヒットを達成したのは Tigers の梅野だったようだが、思い出した。何となく最後の3塁打がインチキくさかったんだ。えーと、確か、ほぼ2塁打で終わりだった当たりを、外野手がホームに送球してしまい、その間に進塁。記録は2塁打と送球の間、とならず、3塁打が記録されたのだった。相手は Baystars じゃなかったかな？そんな気がする。よく覚えてるもんな。誰かおせーて。えーと、あ、牧。まあいいや。おめでとう。

夏休みは生協の書店は3時まで

昼前に目が覚めた。図書館へ頼んだ文献複写を受け取りにすぐに出発、とは成らなかった。ブルーインパルスが東京上空を飛ぶのをテレビで中継するというので、見てしまった。住処を離れたのは3時過ぎと、随分ゆっくりした。

で職場に着いたのは4時くらい。生協に本を見に行こうと思ったら、夏休みは3時までとのこと。普段は4時半なので間に合うんだが。予定が狂った。まあいい。図書館でコピーを受け取って、個研室へ。読んでみた。何かおかしい気がしたんだが、帰りに気付いた。おかしくない。おかしいのは小生の方だ。これを書き終わったら見よう。

職場には10時近くまでいた。上に書いた通りおかしくないものをおかしいと迷っていたので。でいつもならココ壱か吉野家で飯なのだが、滋賀にも「まん防」が出ていて、緊急事態宣言に移行するとの情報なので、10時ではやってないかも、と思ったので、夕刻に生協コンビニで弁当を買って食べた。しばらく晩飯にも不便しそうだ。まあしゃあない。9月7日に保健センターに行く予定になっていて、それまで職場に行かない積りでいたんだが、9月6日までに提出しないといけない書類があることがわかって、仕方ないのでそう遠くない未来（例えば明日）に1度職場に行かないといけない。1日くらいいいか、と思わないでもないが、学生にレポート締め切り厳守と言ったものとしてはそういうわけにもいかない。面倒だが行く。

帰り道小生の車の前を走っていたナンバー9999の車だが、短気な人が運転していたと見えて、信号が変わる前にクリープで前進したり、70km/hを超える猛スピードで走ったりと下品だった。そんなに急いでどうすんねん、と思った。実際その車が行った後小生の所で信号が赤になったが、次の信号で追い付いたし、また離されたが逢坂山の当たりでまた追い付いた。信号1個くらいどうでもいいのだ。ゆっくり走ろう滋賀県。これは「ゆっくり走ろう神奈川県」という標語のパクリ。「ゆっくり走ろう、オー、ローレル」っていうCMもあったな。まあゆっくり行きましょう。