# 量子計算
## 定義
量子計算(量子コンピューティング)とは、量子力学的な現象(重ね合わせなど)を利用して計算を行う計算モデルである。一般に流布する「重ね合わせによってあらゆる解を並列に試すことで問題を即座に解決する」という理解は誤りであり、[[Scott Aaronson]] が提唱する「奇妙さ保存の法則」仮説によれば、量子アルゴリズムが古典アルゴリズムに対して超多項式的(圧倒的)な高速化をもたらすのは、解こうとする問題そのものに何らかの構造的な「奇妙さ」が宿っている場合に限られる。この「奇妙さ」の正体は今なお解明されていない。素因数分解はこの「奇妙さ」を備える代表例で、量子フーリエ変換を利用するショアのアルゴリズムにより古典コンピュータでは手に負えない規模でも効率的に解ける。(Source: [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 12 Looking Over The Fence (垣根をこえて)]] §12.1)
## 暗号技術への影響
RSA をはじめとする公開鍵暗号アルゴリズムは、巨大な数の素因数分解の困難さに安全性の根拠を置く。量子ビット数と信頼性の向上が今後も続けば、これらのアルゴリズムは10〜20年以内に解読されるリスクがあるとされる。NIST は耐量子計算機暗号(PQC)の候補選定を数年前から進めており、標準化されてから行き渡るまで10年以上かかりうることや、暗号のやり取りを保存しておき将来解読する「Harvest Now, Decrypt Later 攻撃」のリスクを踏まえ、新しいアルゴリズムへスムーズに切り替えられる「暗号の俊敏性」の確保が推奨される。ただし、ある問題に「量子コンピュータによる効率的な解法が見つかっていない」ことと「そのような解法が存在しない」ことを証明するのは全く別の難しさを持つ。(Source: [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 12 Looking Over The Fence (垣根をこえて)]] §12.1)
## 誇大広告への留保
機械学習や金融市場の分野で量子コンピュータがあらゆる問題を解決するかのような「根拠なき熱狂」が見受けられるが、Aaronson の「奇妙さ保存の法則」に照らせば、量子コンピュータによる効率的な解法を持つ問題の範囲は依然として限られている。(Source: [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 12 Looking Over The Fence (垣根をこえて)]] §12.1)
## 横断的知見
- 本概念ページは本章(『ネットワークシステムについて語るときに我々の語ること』第12章)を最初のソースとして立てたばかりであり、複数ソースを突き合わせた横断的知見はまだ蓄積されていない。次にこの概念へ触れるソースが入った時点で、量子計算に対する評価軸(何が「奇妙さ」を持つ問題か、誇大広告の程度など)がソース間でどう一致・乖離するかをここに記録する。
## 未解決の問い
- 量子アルゴリズムが超多項式的な高速化をもたらす問題に共通する「奇妙さ」の一般的な特徴づけは何か(Aaronson自身も未解明と認める)。
- 耐量子計算機暗号(PQC)への移行における「暗号の俊敏性」は、実際のシステム(TLS・VPN・証明書基盤など)でどのように設計・検証されているか。
- スケーラブルな量子コンピュータと汎用人工知能(AGI)は、どちらも技術的実現可能性が未証明のブレイクスルーを要する点で並べて語られるが、両者の実現時期に相関はあるか。
## 関連
- [[Scott Aaronson]] — 「奇妙さ保存の法則」の提唱者
- [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 12 Looking Over The Fence (垣根をこえて)]] — 本概念の初出ソース
## 出典
- [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 12 Looking Over The Fence (垣根をこえて)]](§12.1)