0527
https://github.com/necocen/four-fours
four-fours公開しました。とりあえずこれで一旦おしまい。
\[
29=\sqrt{6!+\frac{6!+6}{6}}
\]
\[
67=\sqrt{9+\frac{9!}{9\times 9}}
\]
このあたりが趣深いと思います。あと
\[
896=\sqrt{\sqrt{\sqrt{7}}}\times {\left(\sqrt{\sqrt{\sqrt{7}}}+\sqrt{\sqrt{\sqrt{7}}}\right)}^7
\]
なんかも。
お昼から仕事。新バージョンに関するディスカッション。三時間くらい議論したら疲れた。まあでも、これある程度成功しなかったら正式発表とかしないらしいし、そうなると僕はこの八ヶ月くらいなにやってたんだという話になるし、ハーァという感じではあります。
今夜は会社のhubotのスクリプトをちょっと拡張してみようと思う。それはサクッと終わらせて数学に復帰したい。
ユーフォ八話がヤバかったです。当初想像していたような正論とアンフェアな多数決の話はなんか前回であっさり一段落した感じだったのだけど、今回は映像的にヤバかった。直球の美少女が「私、特別になりたいの。」って言うの、ツァーリボンバもかくやという感じだ。ほんとうに、なにかが始まってしまう気がしたし、どうにかなってしまうかと思った。