昨晩はそのまま NHK を流し続けたら「虎に翼」の総集編が始まり、つい見てしまった。面白かった。人気があったそうだが、分かるな。終わったらもう2時半を過ぎてて、その後下らん計算の続きをやって、気付けば場合分けしたのが無駄なのでは？ということになり、考え始めてしまった。相撲のダイジェストもやってるし、どんどん寝たくなくなる。もうええわ、と下らんことを続けてるうちに「おはよう朝日です」が終わって、「羽鳥慎一モーニングショー」が終わって、いよいよもうええわに成ってまう。今日の用事は夕刻に近所の某所に出向くだけなので、軽く仮眠をとった程度。食料は買い込んであったので、Uber Eats でなくお湯を注ぐだけ。どっちが体に悪いんでしょうか？
4時前にシャワーを浴びて、髭を剃って、4時40分くらいに出発。何の用事かって？さあ。まあ1週間落ち着かない日々が続くということですよ。嫌なこったな。
5時半くらいに帰ってきて、相撲を途中から。今日は横綱、大関全員勝った。安青錦は連敗が3で止まって、ひとまずほっとしているだろう。負け越さないようにね。
7時から「Qさま！！」の3時間スペシャルがあるので見た。一生に一度は見ておきたい世界の絶景、という括りで。小生基本旅はしない方なので、見ても仕方ないのだが、面白かった。小学校の時の修学旅行で日光へ行って華厳の滝を見た時は凄いと思ったが、世界にはそれと比較にならないくらい凄い滝があるのだな。ウユニ塩湖も凄かった。今日は初出場の太田裕二という、「一人爆笑問題」が大活躍。僅かなところで優勝は逃したが、凄かった。また出たいと言ってた。まあ呼んでもらえるでしょうな。
さて、上に書いた通り落ち着かないので、酒を呑もう、と悪いことを考えた。でいつもの通り違法販売機に向かうと、少し距離のある所から見てもおかしい。何だと思って近付くと、何と販売機が無くなっていた。新500円玉、新千円札非対応だったから、取り換えるのだろうか？それとも本当に撤去か？まあ取り換えるとしたら多分違法販売はしなくなるだろうから、深夜に呑みたいと思っても買えなくなってしまう。呑むな、ということだな。どうしても呑みたければ、徒歩数分の所にあるセブンイレブンでもファミリーマートでもドラッグユタカ（いずれも24時間営業）に行けばいいだけのことだが。一箇所で沢山買うと恥ずかしいから、分散して買うことに成るかも。まあいいです。今日は呑まないでおく。
その後、謎の三角関数の等式がメモってある紙を見付けて、一般の n ではどうやったらいいかわからないから、n＝2,3,4,5 で成立するか試してみた。三角関数は平方剰余の相互法則がらみで1の冪根をいじったり、円分体の部分体としての二次体の実現ということでやはり1の冪根をいじったりして、特殊値を幾つか覚えてる。sin(π/8) とか sin(π/10) とか sin(π/12) とか、大体こんな感じ、というのは頭にあるので、実際に半角の公式だったり加法定理だったりで記憶が正しいことを確認して、で実際に当該の式を計算してみると確かに成る。どうやって示すのかな？三角関数は非自明な関係式が幾らでも作れる。そもそも sin と cos を2乗して足すと1に成るのが元凶。tan を sin/cos と書き直すだけでも大量の関係式が作れる。で今年も酷い目に会ってる人達がいた。最後の最後でご苦労様でしたね。
呑むのをやめたことだし、早目に寝るか。上述の如く超寝不足なんでね。ホルムズ海峡の有事で燃料を節約しないといけないから、ちゃんと電気を消して、テレビも消して、パソコンもシャットダウンしてから寝よう。起きたらすぐ作業が再開出来るよう、パソコンをオフにしないで寝ることが多かったが。節約しましょう。車の運転も程々に。いや、職場は車で行くよ。無意味なドライブはよしておく、くらいの意味。早くアメリカには矛を収めてもらわないと。東日本大震災の直後のように計画停電とかやられたらたまらんからね。今ニュースでやってるが、引っ越し業者が大変らしい。年度末、年度始めの時期だから、トラックを沢山動かさないといけないそうで、もう見積を書いてしまった依頼主から値上げ分をもらうというわけにいかず、きついらしい。平和が一番だ。どうにかしておくれ。
