レッスン5：NISQ vs FTQC と量子誤り訂正

このレッスンで学ぶこと

NISQ（現在の量子コンピュータ）と FTQC（将来の量子コンピュータ）の違いを理解できる
量子誤り訂正の必要性と、古典との違いを説明できる
Shor code 1995、Steane code 1996、Surface code の位置づけを整理できる
Google の 2023 年表面符号エラー抑制の意義を語れる
FTQC 実現までの技術ロードマップと 2030 年前後の景色を俯瞰できる

前のレッスンでは、量子ハードウェア 5 方式を扱いました。このレッスンでは、現在（NISQ）と将来（FTQC）の量子コンピュータの位置関係、そしてその間を埋める量子誤り訂正を扱います。中核メッセージ 2「NISQ から FTQC への移行が業界の景色を変える——2030 年前後の折り返し」の中身です。

NISQ 時代——現在の量子コンピュータの位置

NISQ は「Noisy Intermediate-Scale Quantum」の略で、John Preskill（Caltech）が 2018 年に論文「Quantum Computing in the NISQ era and beyond」で提唱した用語です。以下の 3 特徴を持ちます。

Noisy（ノイズが多い）：qubit がエラーを起こしやすく、深い回路を実行できない
Intermediate-Scale（中規模）：数十〜数千 qubit で、実用問題の一部しか扱えない
量子誤り訂正なし：エラーが発生してもそのまま蓄積する

2026 年 7 月時点で市場に出ているすべての量子コンピュータ（IBM、Google、IonQ、Quantinuum、QuEra、PsiQuantum、D-Wave など）は NISQ 装置です。実用計算の多くは、この NISQ 装置では困難で、限定的な問題領域（量子化学の一部、QAOA による最適化探索、量子機械学習の一部）で古典との比較実験が行われています。

FTQC 時代——将来の目標

FTQC は「Fault-Tolerant Quantum Computing」の略で、量子誤り訂正が有効に機能し、任意の深い回路を高精度に実行できる量子コンピュータを指します。Shor アルゴリズムで 2048 ビット RSA を実用的な時間で破るには、FTQC が必要になります。

FTQC の主な特徴

量子誤り訂正が有効：物理 qubit のエラーを論理 qubit のレベルで訂正
大規模化：数百万〜数億の物理 qubit を必要とする（論理 qubit 1 個あたり数千の物理 qubit）
深い回路の実行：Shor、Grover、量子化学シミュレーションを実用スケールで実行可能

FTQC の実現時期は、業界プレイヤーによって 2030 年〜2040 年と幅があります。2020 年代後半の技術ブレークスルーで前倒しになる可能性も、逆に遅延する可能性もあります。

なぜ量子誤り訂正が難しいのか

古典コンピュータでもエラー訂正は必要ですが、その仕組みは「同じデータを複数箇所に保存し、多数決を取る」ような単純な冗長化です。量子コンピュータではこの単純な方法が使えません。

3 つの根本的困難

no-cloning 定理：qubit の状態を単純に複製できないため、単純な冗長化が不可能
測定の破壊性：qubit を測定すると重ね合わせが壊れるため、エラーを確認しつつ計算を続けられない
エラーの種類：qubit は反転（bit flip）だけでなく位相反転（phase flip）も起こす

これらの困難を解決するために、量子誤り訂正符号が発明されました。

Shor code——1995 年、量子誤り訂正の最初の突破口

Peter Shor が 1995 年に発表した Shor code は、1 つの論理 qubit を 9 つの物理 qubit で冗長化する誤り訂正符号です。「no-cloning があるのに誤り訂正できる」ことを示した歴史的な突破口で、以降の量子誤り訂正研究の起点になりました。

Shor code の直感

9 qubit を使って、bit flip エラーと phase flip エラーの両方を検出・訂正できる
エラーを直接測定するのではなく、エラーを「もう 1 つの qubit」に符号化して測定する
元の情報を破壊せずにエラーの有無だけを知る仕組み

Steane code——1996 年、より効率的な誤り訂正

Andrew Steane が 1996 年に発表した Steane code は、7 qubit で 1 論理 qubit を冗長化する、Shor code より効率的な符号です。「CSS 符号」と呼ばれる、古典誤り訂正符号を量子に拡張した重要な構造の代表例で、以降の誤り訂正符号の設計に大きく影響しました。

Surface code——実用化への現実的な道

Kitaev らが 1997 年に提唱した Surface code（表面符号）は、2 次元格子上に qubit を配置する誤り訂正符号で、以下の理由から現在最も現実的な FTQC の候補とされます。

高い誤り閾値：物理 qubit のエラー率が約 1% 以下なら誤り訂正が有効に働く
局所的な操作で済む：近傍 qubit 間の操作だけで済むため、実装が容易
既存ハードウェアと親和性：超伝導方式など 2 次元格子構造と相性が良い

論理 qubit 1 個に必要な物理 qubit 数

Surface code で 1 論理 qubit を実現するには、物理 qubit のエラー率と目的の論理エラー率によって数十〜数千の物理 qubit が必要です。Shor アルゴリズムで RSA-2048 を破るには、数百万〜数億の物理 qubit が必要という試算があります。

Google 表面符号エラー抑制——2023 年 2 月の Nature

Google Quantum AI は 2023 年 2 月に、Surface code を使って「物理 qubit 数を増やせば論理エラー率が指数的に減る」ことを実験的に実証したと Nature に発表しました。これは「量子誤り訂正が現実的に機能する」ことを初めて実験で示した重要な成果で、FTQC 実現への技術的な信頼性を高めました。

ただし、実用的な FTQC には、この実験結果からさらに 3 桁以上のスケールアップと、より低いエラー率が必要です。「実用化までの距離が縮まった」ことは事実ですが、「実用化が目前」というわけではありません。

閾値定理——量子誤り訂正の理論的裏付け

量子誤り訂正が有効に機能するには、物理 qubit のエラー率が「閾値」と呼ばれる特定の値を下回る必要があります。閾値定理（Threshold Theorem）は、この条件が満たされれば「論理 qubit のエラー率を任意に小さくできる」ことを保証する理論です。1996-1998 年に複数の研究者が独立に証明しました。

Surface code の閾値は約 1% で、超伝導方式は現在この閾値付近まで来ています。閾値を大きく下回るハードウェアが実現すれば、FTQC への道が現実的になります。

2030 年前後の景色——技術ロードマップ

FTQC 実現までの技術ロードマップは、業界プレイヤーによって幅があります。代表的な予測を整理します。

IBM ロードマップ：2029 年に 200 論理 qubit の FTQC を目標
Google Quantum AI：2030 年前後に FTQC の実用化を目標
IonQ：段階的な誤り訂正と論理 qubit の拡張
Quantinuum：既に少数の論理 qubit の実装に成功、拡張中
理研・国内：内閣府「量子未来社会ビジョン」で 2030 年に実用機を目指す

「2030 年前後の折り返し」という表現には、①一部の実用ユースケースで量子優位が実証される、②FTQC の技術ロードマップが具体化する、③企業導入の準備段階から実装段階へ移行する——といった含意があります。

⚠️ 注意 FTQC の実現時期は、あくまで「ロードマップ」であり、技術ブレークスルーの遅延や逆に前倒しの可能性が常にあります。企業導入では、「いつ実現するか」を予測するより「実現した時点で自社が準備できているか」を問う視点が実務的です。

次のレッスンの予告

次のレッスンでは、量子アルゴリズムの応用領域を扱います。組合せ最適化（QAOA、VQE、金融ポートフォリオ、物流ルート、スケジューリング）、量子化学（創薬、触媒設計、材料設計）、量子機械学習（QSVM、QNN）——の 3 応用領域と、自社 PoC の判断軸を整理します。

確認クイズ

理解の定着のために、6 問のクイズを解いてみてください。