>>360
自動定理検証？が量子コンピュータなんですか？
答えは人間に入力するのはそうだと思います。