けいりう堂日記

_ 今日は今日でまた仕事ではいろいろと心の動きがあったので結局疲れている。それは吐き捨てたくなるようなチート行為であったり目を覆いたくなるような怯懦であったり、人にも自分にもそんなところが目に付いてしまうともうすべて面倒になっていく。所詮俺の行為は崇高さには程遠いもので、できることならば誰にも影響を与えないようにひっそりと過ごしていくべきなのではないのか。嘆かわしいことだ。そんな中で、数式を扱う行為は比較的ごまかしがないので耽溺していると癒される。だが、ここでまた嘆かわしいことに気付いた。三角関数の加法定理を思い出せなかったのだ。ウェブで調べて、なんとか記憶がよみがえったのだが、だいぶショックだった。何より、それをどうやって導出したのかが思いつかなかったのだ。これも仕方なくウェブで調べたのだが、正弦定理や余弦定理を使うものはなんだか自己撞着のような気になって受け入れがたい。結局単位円の中に２つの直角三角形を積み重ねて地味にピタゴラスの定理を使って解いていくのが最も基本的な感じだが、一番簡潔なのは、オイラーの公式（三角関数と指数関数の関係を表わす）を使う方法のようだ。

_ 夕食食べながら「みうらじゅんのサントラ君」を聞いてる。このために、今日は好い日だったと言えるだろう。ちょっと涼しいので、tritonnのインストールを試みる。MeCab導入まで終了。