昨晩はまた呑んだが、寝る前に余計なことが出来して、時間を使ってしまった。何かというと、TeX ファイルの一部が壊れていた。早稲田にいる頃に Emacs を使うのに慣れて、でマウスを使わないでもコピペとかカットアンドペーストとか検索とかファイルの保存、読み込みが出来るので、慣れると下手なエディターを使うより楽。で似たようなキーバインドの xyzzy というのを使っているが、キーボードでカットアンドペーストが出来るというのは実は怖い。誤操作をするとファイルの一部をゴッソリ消してしまう可能性がある。で今回もそうだったようで、プリアンブルの部分から数百行まとめてカットしてしまったようだ。が、幸いバックアップファイルが幾つも残っている（放っておくと拡張子以下に番号の付いたのがどんどん溜まっていく）ので、それからコピペして復旧させたが、何かエラーが出る。} が一個足りない、というメッセージだが、そうか？という感じ。でウダウダと暫くやって分からず、仕方ないから地道に \end{document} をどんどん上に上げていって（キーボードだけで出来るので楽）、どこでエラーが出るかをやってみた。すると、確かに } が一個無かった。{\allowdisplaybreaks の対の }% の } が無くて、%だけ打ってた。こんなことを見付けるために相当時間を使った。もう昼どころか1時を大きく回っていた。途中食事休憩はしたが、疲れ果てた。
で寝床へ向かう。何か変な夢を見た。何故夢ってえのはあんな変なストーリーに成るかな。よく知ってる人物も出てくるが、有名な俳優が知り合いだったり、架空の人物が出てきたり、筋は本当に訳が分からない。悪夢だな。睡眠をコントロール出来たらノーベル賞だな、と書いた気がするが、夢のことを解明出来たらやはりノーベル賞だろう。
で起きたらもう野球が始まっている時間だった。「3回を終わって8－2と Tigers が6点リードです」というとんでもない音声が聞こえてきた。この前はよかったビドだが、今日は1回表に打者11人攻撃で7点取られたとか。ロクでもない。2回で降板したが、5四球1死球はいただけない。昨日満塁ホームランでガルシアを調子に乗せてしまったか、今日は3ランホームランを打たれたらしい。救いは2番手で3回から登板した若松尚輝が4回2/3を1失点と好投したこと。ビドは2軍落ちで、次回は若松を先発させよう。1回を除けば5－3と勝っているので、1回が全てだったな。面白かったのは、エンカーナシオンが外野フライで凡退してパワーが足りないと思ったか、ベンチで腕立て伏せ（今時はパンプアップというらしい）をしたら次の打席で特大のホームランを打ったこと。レイノルズとエンカーナシオンがベンチの盛り上げ役に成っているようで、チームは暗くない。明日から Carp と3連戦。最下位に転落した Carp だ。叩いてやろう。Swallows がまた負けたので、ゲーム差無しのままだったのは救いだ。Swallows の失速は凄くて、自力優勝が無くなったらしい。酷過ぎるな。
今日は8月6日。ハムの日らしい（理由は自明）だが、もっと重要な日。広島に原爆が落とされたのが8月6日。で今日の Carp はマツダスタジアムで「ピースナイター」と称して、全員が86番のユニフォーム、選手名の所は「Hiroshima」と書かれたものを着ていたが、7回以降に7失点と投壊で、Giants に逆転されてしまったようだ。まあ今日は Baystars が Tigers に負けてあげた（負け惜しみ）ので、Tigers と Giants のゲーム差が1のままでよかった。明日からは Giants は Swallows 相手だが、悩ましい。Swallows が負ければ Baystars の3位浮上に繋がるが、Giants には勝って欲しくない。まあいいです。Baystars は自力で3連勝すればいいのだ。Tigers は自力で Dragons に勝ってもらいましょう。迷わず Baystars を応援すればいいのです。無心でいきましょう。
有理点探しだが、昼の3時半くらいに結果が出ていた。大体36時間。まあこれくらいなら。で次のを早速仕掛けたが、今度のは canonical height が280ちょっとと、前のやつ（325くらい）より小さいので、まあ1日半くらいで見付かるかな。200ちょっとと160ちょっとのやつがあるので、次はそっちだ。800だの900だのというとんでもないやつは後回しにしよう。それが済んだらもっとどうにか出来ないか考える。取り敢えずコンピューター君には頑張ってもらいましょう。しかし電気代の明細を見るのが怖いな。先月の半ばに試験監督をやったのともう1回月末に職場に行ったのと週末に呑みに行く以外はほぼ冷房を運転しっ放しだし、コンピューターも動かしたまま。幾らに成るでしょう？まあ5桁は確定だな。職場のコンピューターも援用しようか？いや、結果が出てるかどうか分からないのに職場に行くのは嫌だな。秋学期が始まった時に有理点探しが終わってなかったらそうしよう。取り敢えず住処のパソコンを走らせ続けよう。帰省はしなくてもいいや。帰っても親父殿の見舞いに行くくらいしか用事は無いし、食事をしに外出するのは面倒だ。住処で Uber Eats に頼って夏休みを過ごそう。まあ Uber Eats も金食い虫に成るが仕方ない。毎日インスタントものでは栄養的によろしくないし、暑い中食事に出るのは気が進まない。それくらいはいいことにしましょう。
