QMA4



<○×>
ゼビウス』のバキュラは、ザッパーを256発当てると破壊できる。


正解:×






あれですか。プログラム解析しろということですか。


とか最初は思ったがよくよく考えてみるとそもそも「不可能なことを実行したらどうなるか」と聞いている以上プログラム読めても答えが出るはずもなく要するに覚えておくべきなのは「QMA4においては仮定が偽だと偽」という知識。