ノー・プログラミング定理

1997年にマイケル・ニールセンとアイザック・チュアンによって提唱された量子情報科学における基本定理。古典的なコンピュータでは、メモリに保存されたデータ（プログラム）を読み込んで任意の演算を実行できるが、量子系においては、未知のユニタリ演算を有限次元の量子状態として保存し、それを読み込んで完璧に再現する汎用的な量子プロセッサを構築することは不可能であることを示している。この制約は、量子演算の保存や再生における近似的手法や確率的なアプローチの研究を促す背景となった。