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もあったな。まあゆっくり行きましょう。

女子高校野球の決勝戦が甲子園で行われた

昨晩は Maple2021 のインストールに手間取り、またわけのわからない時間まで起きていた。そのため今日もわけのわからない時間まで寝ていた。図書館に頼んだ文献のコピーが届いているというメールがあったので、明日は職場に取りに行く。そのため少しはましな時間に寝て、少しはまともな時間に起きよう。

起きた後メールを見ると、また面倒なことになっている。一人スタッフが抜けるというのがこんなに面倒だとは思わなかった。学科長に成るともっと大変な仕事が次から次と降ってくるのだろうから、大変な仕事であることがよーくわかる。数年以内に順番が回ってきそうで、考えるだに憂鬱。何とか逃げられないものだろうか？

女子高校野球の決勝戦が甲子園球場で行われた。が、テレビ中継は無い。視聴率が取れないという見込みのもとだと思われる。まあ見ないわな。実にエポックメーキングな出来事なのだが。多分大阪桐蔭が負けたことの方が大きなニュースに成るだろうね。滋賀の近江高校はよくやった。滋賀に職場のあるものとしては嬉しい。京都と滋賀、どっちが勝つのがお前は嬉しい？うーん、滋賀かな。山科の高校が出てたらまた違ったかもしれないが。おっと話がそれた。神戸弘陵高校女子野球部、日本一おめでとう。

横浜市長選の結果は政府に大打撃か？

脳みそが溶けるくらい寝た。野球は途中から。1点負けていたが、人が見始めるのを待っていたかのようにソトが逆転2ラン。牧にもタイムリーが出て3－1。その後桑原にもタイムリーが飛び出して、4－1。今永がナイスピッチングをしていたので、楽勝でしょう、と思った瞬間に2ランとソロを連続で浴び同点にされる。幸い逆転は許さず、そのまま引き分け。苦手 Giants に2勝1分と、まあいいでしょうという3連戦だった。康晃がスライダーを投げるようになった。結構コントロール良くコーナーに決まるようなので、使えそうだ。この3連戦の大きな収穫の一つ。

その後寝ている間にやっていた番組を録画しておいたものを見て、食事、「ポツンと一軒家」など。途中に横浜市長選の速報。横浜市大元教授の山中竹春氏が当選の速報。いまいち状況がわからなかったので、引き続きサンデーステーションを見た。菅総理のお膝元の横浜市で、元閣僚の小此木八郎氏が落選。これはいいですね。更に IR 推進派の林前市長も落選。いよいよいいですね。IR は白紙か。よかったよかった。

で山中氏は早稲田の数学を卒業している、という怪情報が入ってきた。色々調べて見ると、政治経済学部卒業の後数学科に入っているようだ。理工学研究科数学専攻も修了しているらしい。数学に明るい人が市長に成ると嬉しい。横浜市大の数学科を復活してくれないだろうか？まあ無理ですね。データサイエンス学部などというのがあるから。山中氏の専門は医療統計学、データサイエンスだそうだ。とするとデータサイエンス学部の旗振り役だったのかな。まあいずれにせよ、横浜をよくして欲しい。とにかくIRが白紙になるのはめでたい。あとは Baystars が強くなればいい。

寝ずに床屋へ行った

昨日野球が終わった時点での腹積もり：今日は早く寝て、明日はきちんと起きて、野球（2時開始）が終わったら床屋へ。実際：わけのわからない時間まで起きていて、「そうだ、野球の前に床屋へ行こう」と思い立ち、そのまま寝ずにいて、適当な時間に床屋へ行って、1時過ぎに帰宅。野球は2時から。それまで録画したままに成っている番組をつぶした。

というわけで、2か月以上ぶりに床屋へ行ってきた。昼はなか卯で「鰻丼豪快盛り」。2時から野球。オースティンが昨日の守備で傷んだらしく、今日は欠場。4番はソト。で2回表にそのソトの一発でまず先制。先発のロメロがいつもと違って、安定している。5回まで無失点。が、6回に追い付かれた。まあ5回1/3を1失点なら、次は期待できる。ロメロの後は砂田。中田翔が代打に出てきたが、四球。1アウト満塁。ピッチャーは平田と交代。代打は3割打者のウィーラー。ピッチャー返しの当たりがセンターへ抜けたか、と思ったら、柴田が押さえて、ダブルプレー。1点に抑える。その直後の7回表。1アウト2，3塁から柴田。ここで原が奇策を打ってきた。2ストライクを取ったところでピッチャー交代。戸郷から左の大江へ。が、策士策に溺れる。大江の初球は甘く入り、柴田がセンターへ犠牲フライで勝ち越し。その後代打牧が3ランホームラン。更にもう一度チャンスを作り直し、佐野が技ありのタイムリーヒット。一気に5点。勝負あったかな。8回表に柴田にホームランが飛び出し、いよいよダメ押し。8回裏に岡本にどでかいホームランを打たれたが、ホームランはどんだけ飛ばしても1点。別に大過無し。7－2と圧勝。これで Giants に連勝。Tigers が負けただけに、Giants を破った Baystars に Tigers ファンは土下座しなさい。これで Carp が負けてくれれば最下位脱出。Carp vs. Swallows は只今7回表を終わって3－5で Swallows のリード。雨で中断中。このまま終わってしまえ。

野球が終わってから夕食の後、「ジョブチューン」という趣味の悪いテレビ番組を見ていた。ファミリーマートのスイーツを一流の菓子職人が診断を下すという番組。自信満々持ってきたお菓子が「自分で食べたことあります？」とか「これは失敗作ですね」と言われてしまう。そうかと思うと満場一致で「合格」のも。地獄に突き落とされた後すぐ極楽へ連れていかれた入りと、担当者もたまったもんじゃないわな。まあ見てる方には面白くていいんだけど。小生割とああいう趣味の悪い番組は好き。面白かった。早速ファミリーマートへ行って、メロンパンを買ってこよう。明日の朝飯ということでね。

京山今シーズン初勝利

昼頃に起きた。昼食後眠かったので1時間くらい寝よう、と思ったら目が覚めたら何と5時。うーん。5時45分から野球なので、床屋へ行く時間が無い。ということで今日は取りやめ。明日は2時からなので、野球が終わったら床屋へ行こう。

で今日の野球は vs. Giants を東京ドームで。昨日までは東京ドームでホームだったのだが、今日からは通常通りヴィジター。やっぱり東京ドームではこっちの方が落ち着く。2回裏に先制される。センター前ヒットと、桑原のまずい守備で。Tigers と Giants は1.5ゲーム差なのだが、今日 Tigers が負けて Giants が勝つと勝率の差で Giants が上に行ってしまうらしい。これはまずい。で Tigers の途中経過を見ると、0－5 で負けている。…。Baystars が逆転できるか？何しろ Giants 相手にはからっきしときている。これはまずい、と思ったのだが、今日は違った。5回に森のタイムリー3ベース、オースティンのタイムリー、宮崎の犠牲フライで3点と、一気に逆転。その後も8回にオースティンのホームラン、9回表に佐野の2点タイムリーで6点。ピッチャーも先発京山が5回1失点、その後もシャッケルフォード、砂田、康晃、平田と1イニングずつ小刻みにつないで無失点。6－1で勝利。これで Tigers の首位陥落は免れた。で Carp の途中経過を見たら0－4で負けているので、これで最下位脱出でしょう、と思ったら、6回に5点まとめて取って、5－4で勝ってしまった。うむ残念。4位 Dragons は Tigers 相手に6－0と、今日はBクラスの3チームの勝利。順位は変化無し。明日は Baystars に勝ってもらって、Carp と Dragons には負けてもらおう。

千葉真一、笑福亭仁鶴が亡くなった。どちらも子供の頃から馴染みなので、80過ぎて亡くなられるとこちらも歳を取ったなと感じる。ご冥福を祈る。

中田翔が Fighters から Giants へ無償トレード。何か釈然としない。無期限出場停止のはずが、これではすぐ試合に出られてしまう。これでは単に Giants が戦力アップしただけに成ってしまう。こうなったら手段は一つしかない。中田が活躍しないよう、呪いをかける。呪詛調伏じゃ！むにゃむにゃ

大谷翔平40号ホームラン

今日も不規則正しい生活。起きても眠くて仕方ない。野球の最中にも何度か寝床へ向かった。そのため Baystars の得点シーンを全く見ていない。まあ勝ったからいいけど。佐藤輝明がまたホームランを打って、つい田淵幸一の上を行った。それで5－4まで追い込まれたが、最後は三嶋が抑え切り、何とか再開後初勝利。よかった。生憎 Carp が勝ってしまったの最下位脱出はならなかったが、0.5ゲーム差。4位 Dragons まで1.5ゲーム差。食らい付いていきましょう。

大谷翔平がついに40号ホームラン。ピッチャーとしても8イニングを投げ8勝目。凄過ぎる。本当にMVP取っちゃうんじゃないだろうか？楽しみだ。

今晩も不規則正しくしようかと思ったんだが、明日は床屋へ行こうかと思い立った。ということで今晩は少し早目に寝る。床屋へ行くのは2か月以上ぶり。いい加減鬱陶しくなってきたので、そろそろ行き時かと。我ながら名案だ。よし、寝るぞ！

雨上がり決死隊が解散

今日も変な時間に寝て変な時間に起きた。「不規則正しい生活」という感じだ。こういう生活をしているとどうも調子が良くない。やはり規則正しい生活が大事、というのが身にしみてわかる。

6時から野球。2回表に1点先制されるも、4回裏に佐野のタイムリーで追い付き、7回裏にオースティンのソロホームランで勝ち越し。そこまではよかったんだが、8回表にエスコバーが3点取られ、逆転を許す。9回表には佐藤輝明にタイムリーを打たれ、the end。これで3連敗。中々勝てまへんな。Swallows vs. Giants の途中経過をスマホで見ていたんだが、こちらも Giants が勝ち越してしまい、勝ってしまった。ロクでもない。首位と2位が2ゲーム差、2位と3位が1.5ゲーム差と、混戦模様は続く。パ・リーグは首位 Buffaloes が勝ち2位 Eagles が負けて、これで2.5ゲーム差。Buffaloes 頑張れ。

雨上がり決死隊の解散の一報が入ってきた。びっくり。32年間コンビを組んでいたそうだが、宮迫の闇営業から色々あったようだ。まあ細かいことは書きませんけどね。残念としか言えない。「アメトーーク」は続くそうだ。面白い番組なので、終わらなくてよかった。因みに蛍原は小生と同じ昭和43年1月8日に生まれている。他にもプロゴルファーの小達（夏目雅子の弟）、プロレスラーのブル中野、Carp、Fighters で活躍した足立亘投手などが同じ日の生まれ。まあどうでもいいか。

Hawks が42イニング連続無失点のチーム記録、Carp は3試合連続の3－0負けと0行進でも大分違う。Baystars が負け続けているのに Carp も負け続けと、付き合いがよろしい。4位はちょっと遠くなったが、5位には明日にでも浮上できる。頑張れ、Baystars。

生活リズムを乱すのは簡単

昨日はゼミのため生活リズムを正した、と書いたが、1日で逆戻り。遅くまで起きていて、遅く起きて、元の木阿弥。生活リズムを乱すのは容易い。昨日書いた通り来週はゼミが無いので、生活リズムを直すきっかけが無い。取り寄せ手続きをした論文が届けば職場に取りに行くので、それに期待しよう。

6時から野球。今日から東京ドームで Tigers と。佐藤輝明に2打点で2点リードされるも、追い付いた。そこまではよかったが、佐藤輝明に2本目のホームランを打たれ勝ち越される。その後康晃が3点失い、一方的な展開に。その後反撃できずに2－6で負け。残念。Swallows vs. Giants をオンラインで見ていたが、丸にホームランが出て同点に成ったところで見るのをやめた。どうなったかさっき見てみたら、何と13－3で Swallows が一方的な勝ち試合。びっくり。1イニングに9点取ったようだ。Giants にちょっと期待させて、奈落の底へ突き落すあたりは Swallows も人が悪い。Swallows も2位が掛かっているので、明日、明後日も必死でいくだろうから、Giants も大変だぞ。Tigers とのゲーム差ばかり気にしている感じだが、3位  Swallows とは0.5差。奪首どころか3位転落もあり得る展開。いいですね。頑張れ  Swallows。

さて段落を改める。佐藤輝明が2本ホームランを打って22号。これで球団のルーキーとしては田淵幸一に並んだ。凄いね。清原の31本も抜きそうな雰囲気だ。新人王は決まりか？栗林がリリーフで好成績を収めているが、Tigers にいるというのが佐藤には有利か？人気球団にいる方が票が集まるからね。パ・リーグの新人王争いはどうなるかわからん。Buffaloes の宮城が既に10勝、Eagles の早川が7勝、Fighters の伊藤は何勝か忘れたが、かなり勝っている。オリンピックでも活躍したしね。どうなるでしょうか？楽しみ。

京都にも緊急事態宣言発令

今日は1時からゼミで、目が覚めたら12時50分。間に合った。今日は有限生成Λ加群の構造定理。PID上の加群の話と似ているが、色々違う。Pseudo-isomorphic なんてものを考えた人は誰なんだろうか？凄い。で2時間ほどやった。岩澤類数公式は来週か、と思ったら、来週は学生が都合があるらしくゼミは無し。再来週は予習の進み具合による、と言っていた。まあ何にしても大定理を証明できるわけで、ここまでやった甲斐があるというもの。13章が済んだらどうしましょうかね。

ゼミ終了後1時間半ほど昼寝。その後夕食を Uber Eats に頼んで食べる。それから時間割関係の雑用。分身の術を使わないといけない人を作ってしまい、急いで修正。ご老体で今年2コマやっていた先生が、来年度は1コマにしたい、とおっしゃるので、それの善後策など。あちらを立てればこちらが立たずで、モグラたたきはまだまだ続く。

9時54分から「報道ステーション」。今日は当然緊急事態宣言のエリア拡大のニュースがトップかと思ったら、大雨のニュースだった。まあこっちの方が大事だな。九州は相変わらず凄い降りのようで、災害が心配される。人の心配をしている暇はないという説もある。山科でも派手に地滑りがあったようだし、地下鉄も冠水のため一時運転を見合わせていた。明日以降の天気が心配される。明日のために後で買い出しに出掛けることにする。

京都も緊急事態宣言のエリアに入るようだ。期間は9月12日までとか。うーん、仕方ないね。呑みに出るのはまた先に成るが、まあいいです。小生アル中ではないんでね。ただ人と接する時間がものすごく減るのはいやだな。帰省は出来ないし。兄者とはこの前電話で話をしたが、親父殿は耳が遠くて電話には出ないし、お袋はすっかり弱ってしまい、電話機の前にたどり着くのが困難。暮れは帰省できるといいが。ゼミも対面でやりたい。オンラインだとどんだけだらけていても学生にばれないもんだから、つい身が入らない。いけませんな。来年度はどうなるでしょうかね。来年度のことより秋学期の心配が先か。オンライン講義は嫌だ。対面でやりたい。ガロア理論なんて対面でも難しいのに、オンラインでなんて。考えるだけでぞっとする。対面でやれるよう祈ろう。

総理大臣は「自治体」のことを「じじたい」と言っているように聞こえる気がするんだが、気のせいか？

坂口智隆（Swallows）1500試合出場

徹夜して早く寝て午前中起きる、というのが昨日の計画だったが、失敗。起きたら昼を回っていた。まあ明日のゼミは1時からなので、今日のタイミングで起きれば大丈夫。ということでよしとしましょう。

で起きたから有効に使えばいいんだが、ついテレビを見てしまった。お笑い番組がやっていたので見てしまった。その後笑点、野球と、完全なるテレビ漬け。まあ夏休みだしいいか。

6時から久々のプロ野球。今日は新潟で Swallows と。宮崎のソロホームランで幸先よく先制した。で今永がナイスピッチング。5回無失点。が、6回に2点取られ、7回も1失点。結局今永は6回1/3を3失点。まあいいんじゃないでしょうか。8回に三上が1失点。8回裏は2アウト2，3塁のチャンスを作るも、伊藤光が三振で無得点。9回はマクガフに抑えられ結局1－4で負け。今日は Dragons と Carp が負けたので、勝てば一気に4位まで上がるチャンスだったのだが。明後日からは東京ドームで Tigers 相手。Tigers の首位は最早風前の灯火なので、Tigers も応援しているが、相手が Baystars となれば話は別。全力で Baystars を応援する。幸い Giants の相手は Swallows なので、全力で Swallows を応援できる。頑張れ、Swallows。Dragons と Carp が直接対決。ということは次の3連戦での4位浮上は無しか。つぶしあいをしてもらって、最下位脱出と行きましょう。

今日のトピックスは Swallows の坂口の1500試合出場。近鉄 Buffaloes の選手で現役をやっている唯一の選手。まだまだ頑張って欲しい。

Mordell の “Diophantine Equations” を入手

生活リズムはいつも乱れているんだが、ここのところ乱れ方が激しいので、1日無理して直そう、と思い立ち、徹夜している。これで今晩早く寝れば、明日はちゃんとした時間に起きられて、月曜日のゼミの時間には大丈夫に成っていそうだ。ということで長い一日。

長い一日は大抵フリーセル三昧に成ってしまうんだが、今日は論文を読んだり、電子ジャーナル漁りをしたり。論文読んでいてわからないところがあったので、SageMath で実験をしたりなど。で結局それが出ているという論文を探そうとしたが、立命には無い。取り寄せだな、と思って手続きをしようとしたら、手続きのページにアクセス出来ない。何じゃ？と思って何度もトライするも、一向にうまくいかない。で図書館のお知らせのページを見たら、「My Library のメンテナンス。8月14日8時から17時半まで」との情報。あ、My Library っていうのは、文献複写の手続きをしたり、借りている本の一覧を表示してくれるページ。つかん。ということで夕刻に改めてやることにせざるを得ないので、諦める。

その後電子ジャーナルを漁ったり MathSciNet を見たりと、関連しそうな論文探し。面白そうな論文を見付けたと思ってダウンロードして、保存という段に成ると、上書きしますか？というメッセージ。うーん、ダウンロードだけして読んでないね。いけないね。昔はコピーして読まない論文の山が出来ていったが、今はハードディスクが膨れていくだけなので、罪悪感が無い。ハードディスクも今どきのは大容量だから、ほぼ無尽蔵にダウンロード出来てしまう。まあいつか読みます。

でその過程で大発見があった。Mordell の名著 “Diophantine Equations” が手に入る！紙で買えるのか、と思ったらさすがにそこまではいかず、電子書籍でだったが。それでも欲しいことには違いないので、購入手続きをする。で取り寄せて、頭っから読んでみた。もちろん全頁真剣に読んだら何日掛かるかわからないので、斜め読みだが。小生が学生の頃から手に入らない本に成っていて、足立先生の蔵書にあったものを1冊丸々コピーしたんだが、コピーすると読まないんだよね。4x⁴－37y²＝－1 の形で与えられる曲線を Weierstrass 標準形に直す話を読んだくらい。これはセミナーでこの不定方程式の整数解が (±21,±145) のみであることを証明したい、と話したら、次の日の午前中に足立先生から電話をいただいて、「4x⁴－37y²＝－1 は楕円曲線だから、Weierstrass 標準形に直して、階数を見たらどうだ？」とご示唆してくださったので、Mordell の本のコピーを見ながら必死に計算した、というわけ。因みに求まった標準形は y²＝x³－37²x で、これは階数が1であった。37は合同数、というわけね。残念でした。まあただ寺井さんが素晴らしい解法を教えてくださり、その後それの著しい簡易化も寺井さんが与えてくださり、共著論文にしたのだった。えーと、あ、Mordell の本の話ね。頭から眺めて見ると、実にいろいろなことが書いてある。Lang の “Diophantine Geometry” との確執は割と有名な話だが、Mordell の本の方が小生は好きだな。余裕が出来たら真剣に読みたいところが沢山ある。今は余裕が無いので、そんなに真剣には読めないが。早く時間割を片付けたい。今日は時間割関係の作業を一切しなかった。また明日やります。

今日は近畿も大雨。また御陵駅が冠水したらしく、地下鉄は蹴上－小野間不通。JR も止まった。スマホが何度か鳴った。避難情報。小生の住んでるのは2階だし、山からも少し離れているから、避難するより住処に居座った方が安全と判断して、慌てることなく座って論文を読んだり Mordell の本を読んだりしていた。ただ食料が尽きたので、後で買いに行かないといけない。橋を渡らないといけないので、気を付けないと。

17時半を過ぎたので、My Library にアクセスして、論文の取り寄せ手続きをした。その後野球、と思ったら、中止。新潟でやるから中止になるだろうと思ってはいたが、やはりそうか。他の試合は千葉で1試合、ドームで4試合、というわけで雨の影響は無しで、無事試合は行われた、もしくは行われている。Giants が勝ってしまったので、Tigers には勝ってもらわないといけない。さもないと首位交代だそうだから。Giants が首位に立つのは何とも不愉快なので、Tigers を応援している。只今8回表で、Tigers が6点リード。まあ大丈夫。よかった。油断せず勝ち切って欲しい。Giants が勝ったのはよくないが、Dragons が負けた、と思えばいいこと。今日は Carp も負けてるし。4位、5位のチームが両方負けてくれるのは最下位としてはありがたい。最下位脱出も近いぞ。

今草津市に土砂災害注意情報が出た。うむ。

酎ハイと思って呑んでいたやつが酎ハイじゃなかった

昨日の晩は酒が呑みたくなった。久々。どれくらい呑んでいないだろうと思ってこのブログを調べたら、7月31日に呑んで以来呑んでいなかった。翌日から「まん防」だからと思って、外で呑んできたのだった。それ以後はワクチン接種などもあり、呑もうと思わなかったのだった。で近所の販売機でレモン酎ハイ数本購入。呑みながら量はどれくらいか、アルコール度数はどれくらいか、と思って缶を見てみると、何とレモン酎ハイでないことがわかった。ウォッカのレモンソーダ割だった。そうか、どうりでスッキリしているはずだ。まあ旨いのでいいんだが。呑みながら「ゴチバトル」を見たり、「タモリ倶楽部」を見たりなど。後者は久々の「空耳アワー」がやっていた。面白い。消すのがもったいないので、DVD に残すことにした。

呑みながら「山崩し」もした。「山崩し」って何？うん、部屋の中にいくつも紙ごみの山があって、それを一つ崩したのだ。そしたら、探してた論文が見付かった。正確に言う。その論文は前から探していて、見付からないので図書館で再度コピーしたんだが、それも行方不明になってしまい、困っていたのだが、その最初に見付からなかった方を見付けた、というわけ。再度コピーした方は行方不明のまま。まあ同じ内容なので問題無いが。何故ダウンロードしない？ “You do not currently have access to this article” という感じのメッセージが出てダウンロードさせてくれないのだ。まあ紙で手に入るので問題は無い。

さて、日本全国天気が悪い。あちこちで線状降水帯が発生しての大雨。大丈夫なんでしょうか？おおごとに成らないことを願う。

ひたすら寝た1日

今日はひたすら寝ていた。いくら寝ても眠気が収まらず、起きちゃー寝の繰り返し。時々こういう日がある。まあ今一斉休業中なんでいいでしょう。そんな中仕事している方もいらして、メールが来ていた。ありがたいね。時間割完成へ一歩進んだ。まあまだ踏み出していない、と言う説もあるが。

今日の関西地方は荒天。高校野球は第1試合が雨でノーゲームに成り、その後の3試合は中止。明日も天気悪いようだし、この先1週間くらい雨降りが続くという予報もある。どうするんでしょう？

明日からプロ野球が再開。と思ったら5試合で、Baystars vs. Swallows だけ試合が無い。まだ横浜スタジアムは使えないようで、土、日と新潟、火、水、木は東京ドームでホーム、来週の金、土、日は東京ドームでヴィジターと、不規則。横浜スタジアムで試合があるのは31日らしい。神宮も使えないので、途中 Swallows vs. Baystars の Swallows ホームの試合が東京ドームで行われるようだ。早く正常状態に戻って欲しい。横浜スタジアムに戻るまでに状態を上向きにしておきましょう。

横浜高校はサヨナラ勝ち

寝不足で調子が悪いから爆睡、また調子が良くなるので、無茶をして調子を崩し爆睡、また調子が良くなるので、…、という無間地獄を繰り返している。昨日は調子が良かったので、明るくなるまで起きていてしまった。で今日は寝不足気味。今日は早く寝る番。無間地獄はいつまで続くやら。

今日は時間割関係の雑用を少々。去年のものをそっくり使えれば問題は無いのだが、担当者が前年と変わったり、前年と変わらなくても、今年の経験から要望が増える（例：オンライン講義の準備のため、連続コマは避けていただけると助かる、など）ので、それに沿って直すなど、色々大変。教授会のあるコマは避けないといけないのだが、教授会参加義務の増えた先生は、今まで教授会のコマを担当していたのに出来なくなる、というのが一番大きな問題。これにより縛りが相当増える。まだ始めたばっかりなのに、音を上げている。先は長いぞ、頑張れ＞ 小生。

高校野球は見ない、と昨日書いて、その通り見ていないのだが、結果は気に成る。特に今日は横浜高校の試合があるので、余計。9回裏開始の時点で0－2で負けていたのだが、何と2アウトからサヨナラ3ランホームラン。1年生が（1年生のサヨナラホームランは史上初とか）、しかも打ったバッターの公式戦1号。横浜高校はガッツポーズものだが、負けたチームはかわいそうだ。これだから高校野球は見ていられない。トーナメント戦以外の方法は無いもんだろうか？まあ無いわな。高校球児は悔いの無い試合をする以外ないだろう。頑張ってください。

高校野球が始まったようだ

爆睡したら体調は元に戻った。やはり単なる寝不足で、ワクチンとは関係無かったようだ。よかった。まだ腕はちょっと痛い。これは副反応だろう。

で今日は大したことはしなかった。幾つか有理数を循環 p 進展開しただけ。予想外に難渋した。答えが間違っているかどうかは PARI/GP で確認できるのでよかった。学生には PARI/GP のことは教えていないので、レポートを書くのは大変だっただろう。1/120 の 5 進展開なんか中々難しい。

今日から高校野球が始まったようだ。高校野球はあんまり見ない。何かこう悲壮感が漂っているんで、見たいという気が湧かない。それにプレーの質が低いので、見てていらいらするのもある。しばらく ABC（テレ朝系）はうるさいな。

昨日の晩やっていたプロレスを見たら、鷹木に挑戦するはずだった飯伏が誤嚥性肺炎のため欠場とのこと。誤嚥性肺炎って小生の爺様の死因。年寄りが成るものだと思っていたが、40前の飯伏が成るとは。気を付けないといけないね。え？誤嚥性肺炎って何って？食べたものを胃の方でなく肺の方へ間違って入れてしまい、肺炎になることを言う。何故「誤嚥」と言うかというと、飲み込むことを「嚥下」って言うからね。「嚥下」が読めない？なるほど。「えんげ」と読む。書けない？まあいいでしょう。小生も書けない。まあいずれにせよ、誤嚥（ごえん）は若くてもするものなので、お互い気を付けましょう。

フリーセル999勝9敗

昨日は早寝したが、今朝は早かったので、寝不足が十分解消したとは言えず。ということで何か調子が悪い。ワクチンとは関係ないと思うんだが。咳は出ないが、風邪の症状のようにも思える。やはりワクチンだろうか？とりあえず風邪薬を飲んだ。その後M2君とゼミ。今日は Z_p 拡大のこと。そう、いよいよ13章に突入！楽しいね。終了後はパソコンに向かって諸々作業。

作業の合間にフリーセルをやった。フリーセルの合間が作業では、というツッコミは却下。でついに来た。999勝9敗。いや、前にも言った通りインチキなんだけどね。勝率は驚異の99.1%。いや、インチキなんだけどね。とりあえずあと1回勝って1000勝する。

今日は振替休日だったそうだ。8月の祝日にはとんと疎い。山の日、とか言う奴か。世間は3連休だったようだ。3連休最終日は、台風から変わった温帯低気圧のせいで日本中荒天だったようだ。オリンピックが終わるのを待ってくれたかのような感じ。オリンピックは海でやる競技が1日繰り上がった以外は台風の影響を受けなかった。日本の夏でこれはついているな。1年遅れてやって、コロナのせいで無観客に成り、この上台風だったらもう呪われてると言わざるを得ない感じだったが、まあよかった。プロ野球は金曜日から再開だそうだ。やっと横浜スタジアムで Baystars が試合が出来るようになる。オースティンがオリンピックで好調だったようだから、そのままの状態でリーグ戦でも打って欲しいものだ。

今日も早寝しよう。「激レアさんを連れてきた。」が無いようだから、「なるみ・岡村の過ぎるTV」が終わったら寝るとしよう。おっと、プロレスを録画するのを忘れてはいけないな。

オリンピック閉幕

昨日は早寝するつもりだったのだが、つい作業を始めて、徹夜してしまった。でマラソンを途中まで見ていたんだが、大迫が遅れ気味なので、まあいいかということで横に成った。そのまま3時間ほど睡眠。で女子バスケットボールの決勝が始まるので起きた。日本 vs. アメリカ。まあ勝てないだろう、と思って見ていたが、案の定で、歯が立たない感じだった。まあ初メダルだし、贅沢は言うまい。銀メダルおめでとう。

その後もう一度横に成り、数時間寝た。で閉会式を見ていたんだが、途中で台風情報に画面が切り替わった。うむ、大事な情報だ、仕方ない。近畿も風が強くなるようだから、用心しないと。その後再び閉会式が始まった。あれだけ騒いで、何だかんだと最終日まで来た。まあよかったんじゃないでしょうかね。パラリンピック？うーん、あんまり見ないな。何故？さあ。

さて、調子が良くない。ワクチン接種のためではないと思う。単なる寝不足だと思う。ということで今日こそは早寝する。明日はM2君とゼミをやる約束になっているので。昨今の滋賀の感染状況を鑑みると、オンラインでやった方がいいだろう、ということになった。まあ大学が一斉休業中だということもあるが。とにかく明日は体調を万全にしておきたい。寝るぞ！

ワクチン接種2回目の後、日本野球が金メダルを取るのを見た

今日はワクチン接種の2回目。5時からなので、4時過ぎに住処を立つ。4時半ごろに職場に着いたが、ちょっと時間が中途半端だし、どうしよう。選択は「個研室に一度寄る」になった。本を一冊持ってくることにして、その本を鞄へ。さらに一斉休暇中は職場に行かなくていいように、ボールペンを1本持って帰ってくる。

でエポックへ歩いていこうと思ったんだが、暑い。ということで車をエポックの近くに停めようとしたら、普通に停められる場所は一杯。うむ、と思ったら、1台分うまいこと空いている。そこに停めよう、と思ったら、「ワクチン接種 医師専用」の看板。まあ今から車で来て停める医者はおるまい、ということで図々しく停めた。で接種。この前と違って1回目と2回目の人が両方いるので、両方の手続き用のテーブルがあった。まあ中に入ってしまえば一緒だったんだが。この前と同じく15分待機。飴を配ってくれた。BKC の近くにある「パインアメ」の会社からのご提供らしい。舐めようとしたら、「外へ出てからお舐めください」とのこと。で15分待機して、車へ向かったら、小生の隣の車も医者じゃない人が停めていたことがわかった。

で5時半に職場を後にする。野球のプレーボールは7時からだが、特番が6時5分からあり、それが見たかったので。6時4分住処着なので、間に合った。で特番を見て、定刻の7時にプレーボール。3回裏に村上（Swallows）のソロホームランで先制。その後両チームチャンスは作るのだが、ホームベースが遠い。Baystars ならやられるパターンなのだが、侍は違った。抑え切って、8回に追加点。山田（Swallows）がヒットで出塁。坂本（Giants）が送りバント。吉田（Buffloes）のヒットでランナー1，3塁、と思ったら、センターがホームへ悪送球。3塁ランナーの山田がホームに突っ込んで、待望の2点目。これでもらったでしょう、という感じ。9回はセ・リーグの無失点男、栗林（Carp）が抑えて、見事に金メダル。いやー、よかった。正式競技に成ってからの金メダルは初。ソフトボールとのアベック金。お見事だね。次のオリンピックはまた野球もソフトボールもはずれてしまうのが残念。まあ野球の国際大会はいくつかあるんで、それに期待しましょう。

さて、ワクチンの話。2回目は副反応が強く出る、と言われていて、現に知り合いの呑み屋は奥さんが副反応が重く、店を休んだくらい。その奥さんも1回目は何とも無かったとのことで、小生もそうなるのか、と思って身構えているが、今の所注射されたところがちょっと痛いくらいで、何ともない。これから熱が出たりするのだろうか？そう成らないことを願おう。今日は少しくらい早く寝るかな。

朝の4時55分から6チャンネル（テレ朝系）でオリンピックが放送しっぱなし（深夜2時まで続く）

今日も明るくなるまで起きていた。4時55分から50km競歩がある、とのことだった。まあ適当に切り上げて寝よう、と思っていたんだが、テレビの解説を聞きながら作業をしていると解説が面白くて、つい結論が見たくなってしまった。5時30分スタートで、ゴールまでのタイムは大体3時間45分程度。そりゃ無理だ。最後までは起きていられない、と思ったが、やっぱり気に成ったんで、起きていてしまった。50kmもの間、両足のどちらかは地面に着いていなくてはいけない、気温は30度。過酷だ。で案の定60人弱でスタートしたのだが、11人が途中棄権。過酷だ。これを東京でやっていたらどうなったか。札幌だからゴール時間の9時半前は30度で済んだが、東京ではスタートの時点でもう30度ではなかったろうか？やはり札幌でやって正解だったな。明日の女子マラソンは7時開始だったのを6時開始に繰り上げるそうだ。まあ賢明な判断でしょうな。

その後オリンピックを流しながら、学生向きの演習問題を考えたり、科研費の申請調書を書いたりなど。前者はあまり面白い問題に成らなかった。もうちょっと考えてみよう。後者はほぼ去年のコピペ。採択されなかった調書のコピペで科研費が給付されるわけはないのだ、このコロナのご時世、なまじっか給付対象になってしまったら、金の使い道に困ることになるだろうから、はずれた方がいい、という感じ。なので気楽に作業。去年書いた論文が Tokyo J. Math. に掲載決定に成っているから、それだけ書き足した。あと1ページ空白のページが出来てしまうので、TeX の行送りの命令などを駆使して半ページ捻出した。内容を精選するのが本当だろうが、あまり乗り気な作業ではないのでいい。ということでほぼ完了。後は予算を計算しないといけないが、面倒なのでまた明日以降。1日2日で上げなきゃいけないことでないので。

その後飛び込みや卓球、空手の型などを流していた。空手はあと2秒粘ればメダルだったのだが、土壇場で点を取られ、予選敗退。無念。解説者が「このまま残り時間、守り切りましょう」と言った時にふと嫌な予感がしたんだが、その通りだった。こういう時は気持ちを切らせた方の負け。相手は必死に攻めてくる。精一杯向かわな。などと言っても、それはテレビの前での戯言。素人の遠吠え。プロにしかわからないことがあるんでしょう。ということでこの話題はこの辺で。

8時半前に男子4×400mリレーの予選が始まった。目指すはメダル、だったのだが、残念な結果に。日本タイ記録を出しての予選落ちでは仕方ない。もう寝るつもりでいたんだが、陸上男子400mリレーの決勝戦が10時50分くらいからあるようだ。こちらは史上最速の4人を揃えた。目指すは金メダル！まあ怪気炎を上げるのは勝手だ。期待しよう。

ということで9時40分で一旦閉めます。続きは男子400mリレーが終わったら書く。

ということで11時15分。残念ながらメダルならず。というか完走できなかった。まあ一か八かでいかないと勝てないので止む無し。次回を楽しみにしましょう。

プリンターが使えるようになった

最近どうも遅くまで起きていてしまう。何も無いのがいけないのだな。明日は用事が無い。と言うことで今晩も夜更かし（朝早し？）か。

と言うことで昼過ぎまで寝ていた。しばしオリンピックや再放送の「相棒」などを見て時間を無駄にする。4時過ぎに職場に向けて出発。図書館に届いている論文のコピーを受け取るべく。それと個研室のプリンターで印刷できるようにしないといけないので。論文の受け取りはすぐ終了。350円也。一応領収書をもらっておいた。予算を執行するかどうかは気分次第。その後プリンターと格闘。どうやらドライバーがいけないらしい、と言うことで、ドライバーを削除して再インストールしようと。今時の Windows はこんなものは自動でやってくれる、と思ったら、付属の DVD からインストールせよと。ウォー、そんなものどこにあるかわからんぞーっ！と思ってオンラインマニュアルを眺めていたら、ダウンロードすればよい、とわかってほっとした。で2、3度失敗したが、最終的にはどうやら出来た模様。と言うことで早速印刷。まずは1番大事なワクチンの問診票を印刷。その後ある論文の一部を印刷。やはりプリンターが使えると良い。問診票を記入して、論文読み。x⁴－2y²＝1 を満たす正の整数 x,y が無いことって Fermat 予想の指数4の場合に帰着できるんだが、そんなことしなくても証明出来ることがわかった。他にも y²＝8x⁴－8x²＋1 を満たす正の整数 x,y は x＝y＝1 しかないことの新しい証明も知った。もちろん自己満足なだけだが、1日1つ何か新しいことを知るのは楽しいですね。10時過ぎまで職場にいた。

明日はテレビ朝日が22時間オリンピック中継をやる、というメチャクチャなことを言ってる。明日は男子4×100リレーの決勝があるから、見ないと。この前のオリンピックでは銀メダルだった。今度は是非金を。無理かな？

今日のオリンピックの結果を見ていたら面白いものを見付けた。「数学者が金メダル。計算通り？」との記事。オーストリアのキーゼンホーファー選手が自転車のロードレースに参加。彼女は数学で修士、応用数学で博士をとって、今は大学の研究員とのこと。大抵のチームはチームで参加して、エースが優勝出来る様にするのだが、彼女は単身参加で、序盤からリードを握り、圧勝。2位のオランダはゴールした瞬間金メダルだと思ったらしく、派手にガッツポーズをしていたが、みっともない。キーゼンホーファー選手にとっては、金メダルは計算違いだったらしい。15位を目指していたとか。数学者って不健康の権化みたいな人が多いのかと思ったらそうでもないのね。小生の隣の部屋の先生も自転車で通っているようだ。「公共交通機関にのらないから、この方がいいんですよ」との仰せ。車の免許は持っていないそうだ。70過ぎてマラソンに参加する人もいるし、足立先生みたいに80近くなってもゴルフに勤しむ人もいる。不健康なのは小生くらいだろうか？まあ今は暑いんで、外出は極力しないことにしている。少し涼しくなったくらいにはもう秋学期が始まり、あっという間に冬。そうすると「寒いので極力外出しないことにしている」と言い訳するに違いない。まあ小生は今まで通りということで。健康な人も今まで通りやってください。話が逸れた。キーゼンーホーファー選手、金メダルおめでとう。

野球は韓国に勝ち決勝へ

今日は野球を見ること以外は何もしてない。まあそれくらい野球に賭けていたということだが。

で7時試合開始。3回に坂本（Giants）の犠牲フライで先制。5回に吉田正尚（Buffaloes）のタイムリーと、いい感じで2点リード。好投を続けていた山本由伸（Buffaloes）が1点取られて降板。変わった岩崎（Tigers）が同点に追い付かれる。が、その後出て来た伊藤大海（Fighters）が2イニングぴしゃりで、流れは日本へ。8回2死満塁。バッターは山田（Swallows）。レフトへすごい当たり。思わず「満塁ホームラン！」と叫びそうになった。結果はフェンスの最上部に当たる3点タイムリー2ベースヒット。一気に5−2。最後は栗林（Carp）が締めて、決勝進出。いやー、興奮した。決勝は土曜日夜7時から。また見るぞ！

で土曜日だが、何度も書いている通り、職場にワクチン接種の2回目を受けに行くことになっている。その後は職場で遅くまで雑用ないし研究をするつもりでいたんだが、そう言うことなら仕方ない。すぐ帰ってこよう。滋賀にも蔓延防止等重点措置が発令されるようなので、来週からしばし職場に行くのはやめよう、と思って調べてみると、来週は職場が一斉休暇らしく、行っても食堂は閉まってる、生協は閉まってると言う具合なので、行かなくていいだろう。住処でゆっくり雑用と研究に励もう。M2君にはゼミをどうするか、後で連絡をしよう。

今日は久々に iPad からブログを書いている。ここの所ロクに充電すらしなかったのだが、たまには使わないと、と思い、ゴミの山から救出してきた。後で久々に花札をする。iPad に入っている花札はめちゃめちゃ強くて、6月まで20文くらいリードしていてもひっくり返される。イカサマなんじゃと疑っているが、たまに勝たせてくれるので、違うのでしょう。さ、やるか。

などと書いて1ゲーム。46−2と圧勝。雨四光と三光が何度も出た。こんなのは珍しい。もう1回やったらきっとボロ負けになるので、今日はこれくらいにしといたろ。

寝倒した1日

今日はひたすら寝た。昼過ぎに宅配便に起こされた。で食事後また寝た。で3時くらいに図書館から。頼んでおいた論文のコピーが届いたと。今から行っても時間的に中途半端だし、どうしよう、明日は野球があるしな、今日行くか、明日行くか、と考えているうちにまた寝てしまった。目が覚めたらもう図書館が閉まってる時間。ならしゃあない。明日か土曜日だな。土曜日はワクチン接種2回目なので、職場に行く。注射は5時からで、図書館は5時まで。ということで注射に間に合えば図書館には行けるな。土曜日にしようか。

晩飯を Uber Eats に頼んで、食べながらレスリングを観戦。グレコローマンスタイルを見たのは初めてかもしれない。上半身しか攻めちゃいけないんだと。腰のあたりを持って、豪快にひっくり返すのが実に見事だった。今日もメダルラッシュ。ボクシングの入江聖奈が金。さっきインタビューを受けていたが、大学を出たらボクシングはやめるとか。もったいない気がするが、まあ本人が決めることなので。体操の橋本大輝も金で、2冠達成。お見事。サッカーは残念ながら準決勝で負けた。金曜日に勝って銅メダルを目指しましょう。銅メダルとなるとメキシコ五輪以来（小生が生まれた年！）。頑張ってください。

疲れが抜けないので、今日も早寝しよう。昨日？一応日の変わる前には寝たんだがな。寝る前に昼届いた荷物を開けよう。何って？内緒。

野球の vs. アメリカ戦は延長タイブレークの末サヨナラ勝ち

昨日の晩に院生のレポートの採点を終えた。まあ17人だし、院生相手に真面目に整数論のレポートを採点しても詮無いことなので、甘々に付ける。で今日は大急ぎのことが無いので、録画したまま見ていない番組をいくつも見た。もちろん全く仕事をしていないわけではない。幾つか重大なメールのやり取りなどをした。ジタバタしても仕方のないメールだったので、出したままテレビを見ていた。メールが来ればスマホが鳴り、返事が大急ぎのものだったら急いで書けばいいことなので、まあリラックスして1日過ごせました、はい。

7時からオリンピックの野球。vs. アメリカ。

米 ０００
日 ００２

といいスタート。が、

米 ０００３
日 ００２

…。が、

米 ０００３
日 ００２１

おっ！が、

米 ０００３３
日 ００２１

3ランホームランを打たれてしまった。3点差はちょっと重いか。が、

米 ０００３３
日 ００２１２

そのまま9回裏へ。柳田の2塁ゴロの間に追い付く。

米 ０００３３００００
日 ００２１２０００１

延長戦へ。延長はタイブレークと言い、ノーアウト1塁2塁からスタート。この状況を栗林が0点に抑える。そして10回裏。もちろんノーアウト1塁2塁からスタート。バッターは村上。これは、と思ったら代打栗原。送りバントさせるには贅沢な人選。何しろ Hawks では4番を打っている。で初球送りバント。1アウト2，3塁。アメリカは外野手を一人内野に回して、残った二人の外野手も前進守備と、必死。が、工夫も意味がなく、甲斐は初球を打ち、打球はライトの頭上を越えていった。2球でサヨナラ勝ち！

米 ０００３３０００００
日 ００２１２０００１１×

3点差が付いたところからよくひっくり返した。これでベスト4。最低限メダルを目指しましょう。もちろん金なら言うことなしだが。次は明後日ナイターで韓国戦だそうだ。とりあえず明日はゆっくり休んでください。

というわけで疲れた。今日は早寝しよう。1日何もニュース見なかったな。まあどうせコロナとオリンピックの話だけだろう。後でスマホでチェックするか。

東海道線の京都－大津が今のルートになってから100年

呑んできた翌日好例、いくら寝ても眠く、また腹の具合が悪いという一日。寝床とトイレを数往復。7時過ぎにようやく普通に成った。で Uber Eats に夕飯を頼んで、食べながらオリンピック観戦。陸上の男子100mや、女子100mハードルなど。飽きてきたのでチャンネルを回したら、男子バレーがやっていた。vs. イランで、勝った方が決勝トーナメントに進むとか。フルセットにもつれ込む混戦も、最後は日本が勝利。決勝トーナメントに出るのは29年振り（だったかな？）とか。ただの開催国枠での出場国ではない所を見せたね。興奮した。

さっきFacebookを見ていたら、面白い記事を紹介している人がいた。今日は東海道線の京都－大津間が今のルートに成って丁度100年とか。昔のルートは今の奈良線のルートを「稲荷」まで下がって、勧修寺付近にある旧・山科駅から大谷（現・京阪大谷駅の辺り）、そしてトンネルを抜けて、旧・大津駅（現・膳所駅）まで向かうルートだったとか。今のルートより6.6kmも長かったらしい。で100年前の今日、トンネルを抜けて現・山科駅まで出て、再びトンネルを抜けて現・大津駅へ抜けるルートに成ったそうだ。因みに旧ルートはJR奈良線、近鉄京都線、そして名神高速にリサイクルされたとか。どれも大事なルートやね。こういうよく知った地名ばかり出て来る記事は非常に面白い。こういうニュースを引用してくれるとは、さすが関川さん（誰？）。

土曜の深夜にアニメがやっている。1回目をちゃんと見て、ちゃんとした話のものは見ているが、1回目からしてわけのわからないのは見ていない。でどんどん話がわけわからなくなってくるので、いよいよ見なくなる。で昨日から新しいアニメが始まったのだが、何やらわけらかない。面白そうなので見てやろうか、と思っている。幸いと言うと何だが、来週から呑み屋が閉まってしまうので、住処にいる時間が長くなる。暇つぶしには丁度いい。見よう。

オリンピックのゴルフで、松山英樹が惜しくも銅メダルを逃したとか。途中単独2位につけていたが、そこからスコアを落とし、最後は7人での銅メダルを掛けたプレーオフに負けたそうだ。残念。足立先生が twitter で何と書いているか、後で見てみよう。足立先生の twitter は毎日見ている。面白い。で先日意外だったのが、「わけわかめ」という言葉を使われていたこと。そうか、こういうくだけた言葉も使うお方だったか、と新鮮な発見だった。上に書いたアニメだが、3本放送しているうち1本はまさに「わけわかめ」。ただ3本中の2本目なので見ざるを得ないのだが。おっと話がそれた。足立先生の twitter は実に面白いので、皆さんも是非読んでください。