昨晩は起きていられなかった。ちょっと YouTube を見たが、ショート動画でもう限界。時計を見たが12時前。ということで20日のうちに寝た。
でそのまま12時間では済まないくらい寝て、起きたらもう昼を結構過ぎていた。買っておいた横浜家系ラーメンのカップ麺を食べて、でまた見付かった紙を TeX 化しようとしたが、いつもの通り謎な所がゾロゾロ出てきて、結構苦戦した。具体例を出すのに SageMath の関数一発で出せるのは有難い。でちゃんと合うまで数時間。いや、論文を直して投稿するのはどうした？
でもうあっと言う間に野球の時間。一日短いな。いや、もっと規則正しく生活して、寝る時間の長短を極端にしないようにすれば、毎日ちゃんと出来るんだろうが。で今日の野球は途中まで割と下らなかった。バウアーが序盤に2ランホームランを食らい、それでも6回2失点だったが、7回にもう一本2ランホームランを打たれてしまう。やはりよくないな。その後もう1点取られて0－5。が、その後いいシーンが。広島先発の高（たか）に抑えられていたが、宮崎がファールファールで粘って、20球も投げさせた。その20球目を2ランホームラン。2－5に成ったが、そこまで。Giants が勝った（マー君が199勝目）ので、ゲーム差は1.5に。Carp との差は縮まってしまった。明日から Giants と3連戦。東京に出張するので見られないな。いや、東京ドームに行けばいいのか？と思わないでもないが、まあチケット無いだろうな。それに、明後日は朝から用事で、夜は酒の席。野球は諦めよう。
Marines の山口航輝が昨日の最終打席と今日の3打席連続ホームラン（うち2本は同じイニングで打った）で4打席連続ホームランのパ・リーグタイ記録。残念ながら村上のプロ野球記録の5打席連続は成らなかったが、凄いことだ。今シーズンは出遅れてまだ15試合の出場だが、7本塁打とは凄い。16本打ったシーズンがある。もっと打たないと。今年の Marines の低迷の原因を作った一つが山口の出遅れだろう。もっと取り返さないとね。いつの間にか5位に Lions 落ちてるが、Marines と Lions の差は7.5ゲーム。逆転5位は難しいだろうが、粘ってください。来年は Baystars vs. Marines の東京湾岸ダービー日本シリーズをしましょう。
もう眠いな。寝不足と不摂生を繰り返すと、一日では元に戻らない。秋学期が始まるまではこんな日が続くだろう。前に書いたがクレジットカードを解約する前にポイントを使おうと色々買ったが、数日前にまだカード会社から利用明細が届くので、もしかしてポイントをまだ使えるのでは？と思ったら使えた。ということでビールの24本入りを一箱。これが届くとまた自堕落な日々だ。東京から帰ってきてもまだ使えたら、また伊藤園の「おーいお茶」を買うか。外に買いに出なくても飲み物を飲めるのはありがたい。パソコンの回収をしてもらおうと箱に詰めたが、結局まだ手続きしてない。それも東京から戻ってきたら。
