しかし、MayminのQuantumlambdacalculiはNP完全の問題を効率的に解くことができ、それゆえに厳密に標準量子計算モデル(モデルやquantumcircuitモデルなど)よりも強力であるように見えた.
quantumcircuit