2026 年 4 月 22 日、IonQ は『耐故障型量子コンピュータ（FTQC）の完全な工学仕様書』を公開した。論理量子ビット 80,000・物理量子ビット 200 万という 2030 年ターゲットは SkyWater 買収時に既知——今回の news は数字ではなく、そこへ到達する『工学ルート』が end-to-end で示されたことにある。コンパイラ · 論理 · マイクロアーキテクチャの 3 層、HMRS 原則、5 つの『工場』、単一コードフレームワーク——この記事は、Walking Cat が何を解決し、なぜ『業界の待っていた一枚』なのかを、技術と投資の両面から解きほぐす。
2026 年 4 月 22 日、IonQ は『耐故障型量子コンピュータ（FTQC）の完全な工学仕様書』を公開した。ブログ名は「Walking Cat Architecture」。論文タイトルは「Fault-Tolerant Quantum Computing with Trapped Ions」。
ポイントは、数字ではなく、設計書そのものであること。
論理量子ビット 80,000 · 物理量子ビット 200 万という 2030 年ターゲットは、2025 年の SkyWater 買収時に既に公表済みだ。なので「論理 80k」という見出しに反応する必要はない。今回の news は、その数字に到達するための『工学レシピ』が初めて end-to-end で示されたこと——これに尽きる。
量子版フォン・ノイマン。1945 年 EDVAC 草稿と同じ性質の、完全な工学仕様書が公開された。
1945 年、フォン・ノイマンが書いた EDVAC 草稿は、「こういう機械が作れるかもしれない」という理論論文ではなく、「この仕様で作れ」という完全な工学仕様書だった。以降 80 年、世界のあらゆる古典コンピュータはその骨格の上に建っている。
量子コンピュータには、そのレベルの『完成設計図』が長らく無かった。業界には次の 2 種類しかなかった：
Walking Cat は、コンパイラ · 論理アーキテクチャ · マイクロアーキテクチャ · エラー訂正コード · デコーダー · 全部品の構造まで、end-to-end で具体的に記述している。これが業界が待っていた「一枚」だ。
Walking Cat = 「歩く」× 「猫」。設計の物理的ふるまいを、そのまま名前にしている。
Cat（猫）：ここでの『猫』は、1935 年のシュレディンガーの思考実験に由来するキャット状態（Cat State）のこと。量子計算では、論理量子ビットを『直接読む』と量子状態が壊れてしまう——そこで、キャット状態を『プローブ』として送り込み、論理量子ビットと相互作用させ、『エラーが起きたかどうか』だけを報告させる。計算本体は壊さない。1996 年に Peter Shor が提案した古典的手法だが、実装アーキテクチャではほぼ使われてこなかった概念を、IonQ が中央に据え直した。
Walking（歩く）：IonQ の量子コンピュータは、QCCD（Quantum Charge-Coupled Device）と呼ばれるチップ上で、イオンを物理的にシャトル移動させることで動作する。専用ゾーン（ゲートゾーン · 光学ゾーン · メモリゾーン）がグリッド状に並んでおり、イオンが自分の仕事場に『歩いていく』。この設計だと：
——これは、超伝導方式の最大の弱点（隣接接続しかできない）を原理的に回避している。
Walking Cat は、量子コンピュータを 3 つの独立した層に分解する。古典計算機が『アプリ / OS / ハードウェア』で分離されているのと同じ考え方だ。
このレイヤリングが重要なのは、『ある層の改善が他層を壊さない』から。エラー訂正コードを改善しても、コンパイラは書き直さなくていい。ハードウェアの歩留まりが上がっても、論理アーキテクチャは据え置ける。古典 CPU が 80 年進化し続けられたのは、まさにこの構造のおかげだ。
論文は設計の指導原則として HMRS（発音：ハンマーズ）を掲げる。non-negotiable——妥協しない、という意志の表明だ。
特に最後の Simplicity が決定的だ。従来の FTQC 提案の多くは、メモリにはサーフェスコード、マジックファクトリにはトポロジカルコード、通信には LDPC——と複数のコードを混在させてきた。性能は上がるが、インターフェースとデコーダーが地獄になり、実装フェーズで破綻する。
Walking Cat は、3 つの同系統コード（Generalized Bicycle · Bivariate Bicycle · Cyclic Hypergraph Product）だけで全部品を構成する。単一デコーダーで済む。『理論的に最速』は捨て、『現実に作れる』を取った。
複雑さを足すのは誰でもできる。
削り切った設計こそ、工場で量産できる。
論理層は、5 種類の『工場（factory / block）』で構成される。それぞれが独立に動き、『リソース状態』というインターフェースだけで繋がる。まさにモジュール性の化身。
特筆すべきは Qubit Factory の存在。これは超伝導・フォトニクス方式には無い、原子系量子コンピュータに固有の要件を正面から扱う部品。イオンが実験中に失われた場合、新しいイオンをトラップに補充して、計算を壊さずに継続する。Walking Cat は、この『消耗品補充』を最初から設計に組み込んでいる。
Walking Cat が机上の空論ではない最大の根拠は、必要な 2 つの物理能力が既に IonQ の商用機で達成済みである点だ。
これは研究室デモではなく、2026 年 4 月現在の IonQ の商用機の話である。論文は明言する——『この設計は、将来のハードを仮定していない。いまあるハードの上に建てられる』。
将来のハードを待たない。いまあるハードの上に、論理 80,000 を建てる。
Walking Cat は『そのうち凄いことができる』式の設計書ではない。論文内で、2 つの具体的な量子アルゴリズムを、実際にコンパイルまで実行して提示している。
| Algorithm | Target Problem | Classical | Walking Cat |
|---|---|---|---|
| Heisenberg Hamiltonian Simulation | 7 次正則グラフ · スピングラス系材料 | 原理的に不可（NISQ でも不可） | 物理 ~10,000 量子ビット · 約 1 ヶ月で化学的精度 |
| Shor's Algorithm | 20-bit 整数の周期発見 | 古典多項式時間 | 論理 102 量子ビット · コンパイル完了 |
ハイゼンベルク模型は、スピングラスなどの無秩序磁性材料を記述する量子多体系のハミルトニアンで、古典計算機では原理的に手が届かないサイズ帯になる問題だ。Walking Cat はこれを 物理 10,000 量子ビット規模のインスタンスに載せ、約 1 ヶ月で化学的精度（quantum simulation の意味ある精度）に到達すると見積もる。しかも現行ハードの保守的性能に基づく試算——改善分は上乗せされる。
Shor のアルゴリズムは、20-bit 整数を論理 102 量子ビット規模にコンパイル完了。小さい数字に見えるが、これは『コンパイラスタックが現実の量子アルゴリズムを end-to-end で翻訳できる』証明であって、スケールアップしたときに RSA · ECDSA を破壊できる母体が完成していることを意味する。
Walking Cat 公開以前と以後で、量子コンピュータ業界の『既知 / 未知』の境界が大きく書き換わった。
最初に書いたとおり、論理量子ビット 80,000 · 物理量子ビット 200 万という 2030 年ターゲットは、2025 年 5 月の SkyWater 買収時に発表済みだ。SkyWater の MEMS ファブを内製化することで、QCCD チップの物理スケールを桁で引き上げる——その文脈で出てきた数字だった。
では今回の news の新情報は？
つまり：
投資家目線では、目標と実行ルートが揃って初めて『買えるストーリー』になる。今回はその後半が出た、ということだ。
量子コンピュータの 6 方式（超伝導 · イオン · フォトン · 中性原子 · シリコンスピン · トポロジカル）は、それぞれ独自のロードマップを持つが、FTQC に至るまでの『完全設計図』を公開したのは IonQ が初だ。
IonQ は、方式の優位性 × 設計の透明性で、投資可能性の軸で抜け出した。これは上場企業であるがゆえの強みでもある——非上場の Quantinuum には『開示インセンティブ』が働きにくい。
RSA-2048 を Shor アルゴリズムで破るには、論理量子ビット 4,000〜6,000 が必要と見積もられている（Gidney-Ekerå 2019 等）。
Walking Cat の 2030 年ターゲットは論理 80,000——RSA-2048 破壊に必要な論理量子ビット数の 15〜20 倍の余裕がある規模だ。これが達成されれば：
もちろん『設計書が出た』と『実機が動く』の間には 4 年ある。だが、『到達する道筋が示された』こと自体が、Q-Day カウントダウンの不確実性を桁で下げる——これは NIST PQC（Kyber · Dilithium）移行の緊急度にも直結する話だ。
IonQ は今回の記事を第 1 部として、以下の連載を予告している：
各部は連載として 2026 年後半に公開予定。本稿はその『俯瞰図』に相当する。
フォン・ノイマンは『作れ』と書いた。IonQ は『こう作る』と書いた。
量子計算の 80 年が、今日から始まる。