>>364
動画の仕掛けで1と0を色々出力しながら自動定理検証で見ているみたいな?