寝なあかん、という状態に成ると色々やらないといけないことを思い出したり、書き散らかした紙に書いてあることをちゃんと考えようかと始めてしまう。やったのはなにかと言うと、ある不定方程式（実二次体上の不定方程式を 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 の番組表を今見たが、もうすぐ始まる。セレッソ大阪の応援番組と韓国ドラマは見るつもりが無いので、その間に録画しておいたダイジェストを見よう。
あ、明日は資源ゴミの日だ。分別しないと。アルミ缶の消費（⇔ 酒を呑む）もしないと、と書いてるが、既に呑みながら書いてる。超寝不足なのに呑むか？という感じだが、いいです。来週から普通に職場に行かないといけなくなるので、今週はダラダラと過ごして、英気を養ってから気合を入れ直します。ゼミの予定はまだ一つしか決めてない。学生から返事が無かったり部屋が埋まってたり。どの先生方もゼミを沢山やってるようで、もっとゼミ室を貰わないと。どこかのゼミ室を別の目的に使うために潰すような話があるようだが、代わりの部屋を寄越せ、と交渉中のようだ。代わりでなく純増に成るようしてもらわないと。大きい部屋じゃなくて、マンツーマンでゼミを出来るのに適した小さい部屋を幾つか余分に欲しいという先生方は多かろう。そう成ると嬉しいが。まあそれはともかく、今から呑み呑み分別する。また寝るのが遅くなりそうだ。
