変な時間に寝て変な時間に起きてる。SageMath が結果を返してくれるのを待っている間は特にやることは無い。が、ボーっと待ってるだけではよくないので、ちょっと Thue 方程式に帰着させるという古典的な方法を試してみよう、と思って始めたが、訳の分からない方程式が出てきてウンザリ。ちょっと置き換えをすると簡単な形に成ることがあるので、昔書いて reject されそれっきりに成ってる論文を見たが、何かうまくいき過ぎてていまいち分からない。うーん、と煮詰まったところでダウンした。
野球を放送している。侍ジャパン vs. 中日 Dragons の試合。やはり侍は強いという感じ。が、前回の WBC の時は、侍に唯一土を付けたのは前哨戦での Dragons だった。ゲン担ぎで今日は負けた方がいいのでは？という気がするが、どうだろうか？
さて土曜日恒例呑みに行く。今日の話題の中心は花粉症に成りそうだ。小生杉ではあまり症状が出ない。確かに今は大したことない。桧のシーズンに成る前に耳鼻科に行っておかないと。床屋に行きたいので、症状の軽い内に手を打っておかないと。来週のどこかで行っておこう。店長は大分辛いらしい。Facebook に書いてた。鼻炎の症状がある時に呑むとかえって酷くなるが、まあ呑むだろうな。ということでボチボチ行きます。呑んでる間に一つでもコンピューターが一つでも待望の結果を吐き出してくれるといいが。
