アンテナに追加させていただきました。 情報、ありがとうございます。

向きが反対だと気づいたのは、ここまで描いた後であった…

プログラムより抽象的なものを自動検証する研究やってます。 はい、プログラミングのできない情報系の出来上がり。

そのうち皇帝は考えるのをやめた…