また変な時間まで起きていた。が、いいことが一つあった。一つ新しい事実を証明出来た。一般の場合だと難しいので、素数の場合で考えたら存外上手くいった。数表を眺めてそうなるだろうと思って始めたが、やはり実験は大事よね。何でも理論だけで眺めて分かる程いい地頭はしてないし、ラマヌジャンのように神は付いていないし、オイラーのように何でも手計算で計算出来るほどの能力は無い。実験しないと。
で夕刻まで寝ようと思っていたが、3時過ぎに目が覚めてしまった。もうすぐ相撲が始まるし、いいやということで起きた。コンピュータ相手に寝る前にやっていたことの続きをしながら相撲。今日は Tigers の前監督の岡田彰布氏がゲスト。相撲は結構見ているらしく、力士と個人的な付き合いもあるようだ。で今日も熱戦が多かったが、安青錦は先場所の優勝決定戦で勝った熱海富士に返り討ちを食らってしまった。これで4敗。もう場所後の横綱昇進は無くなったな。何とか残り全部勝って、来場所に希望を繋げましょう。
何か馬鹿に喉というか口の中というかが渇くな、と感じているが、空気が乾燥してるからか、と思った直後に、あ、鼻炎の薬のせいだ、と閃いた。大学の時に何か声がおかしいと指摘されたことがあったが、その日は薬を飲んでいた。そうだったか。というわけで渇きを癒すために呑みに行きます。いや、酒呑むとかえって渇くよ、という御指摘はあろうが、まあ呑むのはルーチンなので。というわけで行ってきます。