2026.06.06

https://gyazo.com/90d7c5750f4305d86236100b4dca4a1d

思った

今日何してたんだ？

思った

バージョンを上げたら証明が通らなくなったのはよくわからない．直し方もよくわからない．

全てを自動化したい．．．

4年前の自分がWebサービスを作っていたのも、現在の自分が論理学を研究しているのも、根本的には自分がシステムや工場になりたいという欲望の発露に過ぎない