量子コンピュータ

量子コンピュータ （りょうしコンピュータ、英: quantum computer）(量子計算機) は、重ね合わせや量子もつれと言った量子力学的な現象を用いて従来のコンピュータでは現実的な時間や規模で解けなかった問題を解くことが期待されるコンピュータ。「量子ゲート」を用いて量子計算を行う原理のものについて研究がさかんであるが、他の方式についても研究・開発は行われている。

いわゆる電子式など従来の一般的なコンピュータ（以下「古典コンピュータ」）の素子は、情報について、「0か1」などなんらかの2値をあらわすいずれかの状態しか持ち得ない「ビット」で扱う。量子コンピュータは「量子ビット」 (英: qubit; quantum bit、キュービット) により、重ね合わせ状態によって情報を扱う。

n量子ビットがあれば$2^{n}$の状態を同時に計算し、$2^{n}$個の重ね合わされた結果を得る事が出来る。しかし、重ね合わされた結果を観測してもランダムに選ばれた結果が1つ得られるだけで、古典コンピュータに対する高速性は得られない。高速性を得るには欲しい答えを高確率で求める工夫を施した量子コンピュータ専用のアルゴリズムが必須である。もし、数千qubitのハードウェアが実現した場合、この量子ビットを複数利用して、量子コンピュータは古典コンピュータでは実現し得ない規模の並列コンピューティングが実現すると言われる。

量子コンピュータの能力については、計算理論上の議論と、実際に実現されつつある現実の機械についての議論がある。#計算能力の節を参照。現実の機械の能力については#実際の項を参照。

歴史

1980年代

量子コンピュータの歴史は、1980年に Paul Benioff が量子系においてエネルギーを消費せず計算が行えることを示したことに端を発し、1982年、ファインマンも量子計算が古典計算に対し指数関数的に有効ではないかと推測している。これらに続き、1985年、ドイッチュは、「量子計算模型」と言える量子チューリングマシンを定義し、1989年に量子回路を考案した。

1990年代

1992年に、ドイッチュとジョサは、量子コンピュータが古典コンピュータよりも速く解ける問題でドイッチュ・ジョサのアルゴリズムを考案した。 1993年に、ウメーシュ・ヴァジラーニと生徒のEthan Bernsteinは、万能量子チューリングマシンと量子フーリエ変換のアルゴリズムを考案した。

1994年にピーター・ショアは、実用的なアルゴリズム『ショアのアルゴリズム』を考案し、量子コンピュータの研究に火をつけた。これは、ヴァジラーニらの量子フーリエ変換や、同年のSimonの研究を基礎に置いている。量子コンピュータ特有のアルゴリズムであるショアのアルゴリズムが、古典コンピュータでは現実的な時間で解くことができない素因数分解を、極めて短い時間で実行出来ることから、素因数分解の困難性を利用したRSA暗号の安全性は実用的な量子コンピュータが実現されれば崩れることを示した。

1995年に、アンドリュー・スティーンやピーター・ショアにより、量子誤り訂正のアルゴリズムが考案された。 1996年に、ロブ・グローバーにより、その後、様々なアルゴリズムに応用されるグローバーのアルゴリズムが考案された。同年、セルジュ・アロシュは、実験的観測によって量子デコヒーレンスを証明し、 量子デコヒーレンスが量子コンピュータ実現への障害となることが実証された。 1997年に、Edward FarhiとSam Gutmannにより、量子ウォーク（Continuous-time quantum walk、略称: CTQW）が考案された。1998年に、量子コンピュータ用のプログラミング言語である、QCL (Quantum Computation Language) の実装が公開された。

また西森秀稔による、量子焼きなまし法の提案もこの時代であった。

2000年代

ハードウェア開発に大きな進展があり、2008年にイオントラップの専門家デービッド・ワインランドは、個々のイオンをレーザー冷却して捕捉することが出来ることを示し、個々の量子もつれ状態にあるイオンをマニピュレーションする、イオン・トラップ型量子コンピュータの研究が進展した。

ショアのアルゴリズムは、2001年に核磁気共鳴により、2007年に量子光学により、2009年に光集積回路により15の素因数分解 (=3*5) が実装された。

2010年代

2011年に突如として、カナダの企業D-Wave Systemsが量子コンピュータ「D-Wave」の建造に成功したと発表した。D-Waveはこの記事の多くの部分で説明している量子ゲートによるコンピュータではなく、量子焼きなまし法による最適化計算に特化した専用計算機である。発表当初のものは128量子ビットであった。D-Waveが本当に量子コンピューティングを実現したものか否か、当初は疑う向きも多かったものの、確かに量子コンピューティングによるものとする調査論文が英科学誌ネイチャーに発表され、グーグルを筆頭とするベンチャー企業がD-Waveと協業を開始するなど、2018年1月現在、確実視されて来ている。

2012年、セルジュ・アロシュとデービッド・ワインランドがノーベル物理学賞を受賞した。受賞理由は「個別の量子系に対する計測および制御を可能にする画期的な実験的手法に関する業績」である。

エドワード・スノーデンの開示文書によると、NSAにおいて暗号解読のための実用化が研究されているとされる。

2014年9月米グーグル社はUCSBのJohn Martinisと連携し量子コンピュータの独自開発を開始すると発表した。

2016年5月、IBMは5量子ビットの量子コンピュータをオンライン公開した。デイヴィビッド・コーリー ウォータールー大学教授がテストした結果、ほぼ同じ結果を得ることができた。 2017年5月、IBMは同社の汎用量子コンピュータシステムであるIBM Q向け16量子ビット・プロセッサを開発したとアナウンスした

2019年1月8日、IBMはCESにおいて世界初の商用量子コンピューター（名称：IBM Q System One）を開発したと発表した。

2019年10月23日、グーグルは世界最高速のスーパーコンピューターが1万年かかる計算問題を量子コンピューターは3分20秒で解くことに成功して量子超越性を世界で初めて実証したと発表し、CEOのサンダー・ピチャイは地球から最初に飛び立った宇宙ロケットに匹敵する成果と述べた。

ソフトウェア

アルゴリズム

量子コンピュータ特有のアルゴリズムがいくつか知られており、伝統的に有名なものを示す。他の物は、Quantum Algorithm Zooなどを参照。

ショアのアルゴリズム

ショアのアルゴリズム（英: Shor's factorizationとも）とは、素因数分解問題を高速に（多項式時間で）解くことができるアルゴリズムのことである。古典コンピュータでは非現実的な時間（準指数時間）で解くアルゴリズムしか知られていない。1994年にピーター・ショアによって発見された。ショアは本件で、ネヴァンリンナ賞とゲーデル賞を受賞した。

2001年12月にIBMアルマデン研究所にて7qubitの量子コンピュータで15 (= 3×5) の素因数分解に成功した（Nature, 12月20日発行号）。

少し改造することで離散対数問題（DLP, ElGamal暗号や楕円曲線暗号の安全性の根拠）も多項式時間で解くことができる。このアルゴリズムの基本的なアイデアを拡張したものが、可換隠れ部分群問題についての量子アルゴリズムである。現在は、これをさらに非可換隠れ部分群問題に拡張する研究が進展している。

ショアのアルゴリズムは、量子コンピュータが離散フーリエ変換を高速に実行できることによる。また、アルゴリズム全体は確率的 (BQP) であり、正しい答えが得られるまで、何度も試行する。

N を素因数分解するにあたり、a は N に対して素な数とし、a の mod N に関する位数、min{x > 0|a^x = 1 (mod N)} を求める。つまり、a^x の周期 r を求める。位数が高速に求められれば、因数分解は高速に行える。

例えば、N = 15, a = 7 とする。

7⁰ = 1 (mod 15)

7¹ = 7 (mod 15)

7² = 4 (mod 15)

7³ = 13 (mod 15)

7⁴ = 1 (mod 15)

7⁵ = 7 (mod 15)

7⁶ = 4 (mod 15)

7⁷ = 13 (mod 15)

7⁸ = 1 (mod 15)

7⁹ = 7 (mod 15)

⋮

1,7,4,13,1,7,4,13,1,7,…という周期 4 の数列が生成される。

よって、周期 r = min{x > 0|7^x = 1 (mod 15)} = 4

手順の概略は以下の2つ。

1. 全ての x に対して、均等な確率となるように初期化する。そして、それを a^x mod N のみ確率を持ち、それらは均等になるように変換する。この計算は量子コンピュータ的であるものの、基本的な考えは古典コンピュータと変わらない。そのために、2進数の足し算・引き算や、ビットによる条件分岐などを用意する。
2. a^x mod N は周期 r を持つ。この周期が求める位数である。従って、1で得られた結果を離散フーリエ変換する。すると、周波数 1/r のところの確率が大きくなるので、観測すると、高い確率で r が得られる。失敗した場合は、成功するまで繰り返す。

グローバーのアルゴリズム

詳細は「グローバーのアルゴリズム」を参照

n 個のデータの中から、ある特定のデータを √n ステップで取得することができるアルゴリズム。正確には、1 から N のある一つの値で、オラクル関数 f(z) が 1 になり、それ以外は f(z) = 0 となる、オラクル関数 f において、f(z) = 1 となる z を求める問題。オラクル関数とは計算量が 0 の関数である。古典コンピュータではおよそ n/2 ステップが必要である。1996年にロブ・グローバーが発表した。きわめて広範な種類の確率的アルゴリズムや量子アルゴリズムと組み合わせて、計算時間をその平方根まで落とすことができる。ショアのアルゴリズムほどその効果は劇的ではないが、広い応用をもつことが特徴である。検索条件や検索対象について改良されている。

このアルゴリズムはデータ数に見合うだけ十分なqubit数があることを前提としているが、古典コンピュータにおいてデータに見合うだけの十分な並列度がある場合、f(z) = 1 を探すのは O(1) であり、関数の最小値を探す問題は、O(log log n) である。

ドイッチュ・ジョサのアルゴリズム

詳細は「ドイッチュ・ジョサのアルゴリズム」を参照

量子ウォーク

詳細は「量子ウォーク」を参照

ランダムウォークを量子コンピュータ上で実行する。いくつかのアルゴリズムがこれを利用して作られている。

離散フーリエ変換

振幅に対して離散フーリエ変換を行うが、振幅は直接は観測できないことに注意が必要。ショアのアルゴリズムで使われている。QCLでのソースコードは以下の通り。変数 q を離散フーリエ変換している。V は conditional phase、H はアダマール変換である。

for i = 1 to #q {
 for j = 1 to i - 1 {
  V(pi / 2^(i - j), q[#q - i] & q[#q - j]);
 }
 H(q[#q - i]);
}
flip(q);

プログラミング言語

量子コンピュータ用のプログラミング言語とその処理系の実装方法が多数提案されており、QCLなどがある。詳細は、量子プログラミング言語 を参照。

シミュレーター

量子コンピュータのアルゴリズムをシミュレーションにより実行するためのシミュレーターが多数作られている。一覧については、List of QC simulatorsを参照。

ハードウェア

ハードウェアは、数学的に等価な量子ゲートが物理的に核磁気共鳴、量子光学、量子ドット、超伝導素子、レーザー冷却などによって構成出来るため、様々な実験的ハードウェアの実現法が研究されている。

核磁気共鳴・電子スピン共鳴

詳細は「w:Nuclear magnetic resonance quantum computer」を参照

近年、核磁気共鳴（NMR）や電子スピン共鳴を用いた量子コンピュータの研究開発が行われている。

2001年、7量子ビット量子コンピュータによる素因数分解が実装された。核磁気共鳴 (NMR) により、1998年に2量子ビット、1999年に3量子ビット、2000年に5量子ビット、2001年に7量子ビット、2005年に8量子ビットqubit、2006年に12量子ビットが実現した。1量子ビット増えるごとに並列度は2倍になる。

国内では大阪大学や沖縄科学技術大学院大学が主な研究拠点であり、核スピン・電子スピンを用いた量子情報処理の実験が行われている。

窒素空孔欠陥スピン・シリコン核スピン

詳細は「w:Nitrogen-vacancy center」、「w:Silicon-vacancy center in diamond」、および「w:Kane quantum computer」を参照

国内では横浜国立大、京大が主な研究拠点であり、窒素空孔欠陥を用いた量子メディア変換・量子情報処理の実験が行われている。また慶応義塾大学 では、シリコン中の核スピンを用いた量子情報処理実験が行われている。

量子ドット

詳細は「w:Kane quantum computer」および「w:Loss-DiVincenzo quantum computer」を参照

国内では理化学研究所、東京大学が主な研究拠点であり、量子コンピュータの実現に向けた取り組みがなされている。

量子光学

詳細は「w:Cavity quantum electrodynamics」および「w:Optical lattice」を参照

特に光子を用いているものは光子コンピュータ、光量子コンピュータとも呼ばれる。 2001年、非線形光学を使わずに、量子コンピュータを作成する方法が考案された。線形光量子コンピュータ (英: linear optical quantum computer、LOQC) と呼ばれ、その後の光量子コンピュータの主流となる。

2007年、光子を使い、4qubit量子コンピュータによる素因数分解が実装された。さらに、2009年、光集積回路（シリコンフォトニクス）上で、4qubit量子コンピュータによる素因数分解が実装された。

2017年9月、東京大学 工学系研究科の古澤明教授と武田俊太郎助教のグループは、大規模光量子コンピュータ実現法を発明と告知。

超伝導素子

詳細は「超伝導量子コンピュータ」、「電荷量子ビット」、「磁束量子ビット」、「トランズモン型量子ビット」、および「w:Phase qubit」を参照

超伝導素子を用いた量子コンピュータの量子ビットは、ジョセフソン・ジャンクションを用いた超伝導回路によって構成されている。超伝導回路中の電荷(クーパー対)の自由度を用いた量子ビットを、電荷量子ビット、またはクーパー対箱と呼ぶ。1999年、日本電気において中村、Pashkin、蔡らにより実現された。当時の量子ビットのコヒーレンス時間は約1ナノ秒であった。 超伝導量子ビットは回路量子電磁力学の研究とともに発展し、2004年にはコプラナ導波路により実装された超伝導共振器と電荷量子ビットとの強結合が観測されている。共振器や導波路を組み合わせた回路量子電磁力学は、超伝導量子ビット間の相互作用や、量子非破壊測定を行うとても良いツールとなっている。

SQUIDを含み、磁束量子の重ね合わせ状態を用いた量子ビットを磁束量子ビットと呼ぶ。2003年、デルフト工科大においてChiorescu、中村、Harmans、Mooijらにより実現された。これらはDWAVE社が開発した量子焼きなまし法による最適化手法に採用されている。

2007年に電荷量子ビットにおける電荷揺らぎ雑音を回避する量子ビットが提案され、トランズモン型量子ビットと呼ばれる。比較的シンプルな構成で長コヒーレンス時間が実現され、米国を中心に盛んに研究が進められている。 2011年、量子計算や量子誤り訂正に必須となる単一試行の量子非破壊測定が実現し、トランズモン型超伝導量子ビットの量子跳躍が観測されている。これらの技術の背景には、標準量子限界に近い雑音指数を達成する低雑音増幅器(ジョセフソンパラメトリック増幅器)の実現がある。 2013年、上記の基礎技術とFPGAによる高速フィードバック処理により量子テレポーテーションの実験が行われ、空間的に離れた量子ビット間の状態転送が実現した。 2014年には160マイクロ秒のコヒーレンス時間が実現し、1999年の発見から15年の間に約10万倍という飛躍的な改善がなされている。 同年、Google社のJohn Martinisらのグループは、誤り耐性符号の一つである表面符号の誤りしきい値を下回る、高い忠実度の基本量子ゲートを実現した。これにより誤り耐性量子計算が現実化し、超伝導量子ビットを用いた量子計算機の開発が一層加速することになる。2015年、9量子ビットによるビット反転エラー訂正を実行し、論理量子ビットのエラー確率を物理量子ビットに比べ約1/8まで小さくすることに成功した。同年には、新しい機能性材料の開発を飛躍的に加速する、フェルミ粒子のディジタル量子シミュレーションが、小さな系にて実装されている。大規模化に向けた取り組みが始まり、2016年には三次元集積技術による実装が議論されている。

国内では東京大学と理化学研究所が量子コンピュータや量子情報処理の研究を、NTT物性科学基礎研究所、情報通信研究機構が量子物理の研究を行っており、主な研究拠点である。

海外ではGoogle、IBM、デルフト工科大学（インテル・マイクロソフトが支援）、マサチューセッツ工科大学、チューリッヒ工科大学が主な研究拠点である。

イオントラップ

詳細は「イオン・トラップ型量子コンピュータ」を参照

イオントラップを用いる量子コンピュータでは、レーザー冷却によってイオンの捕捉とマニピュレーションを行なう。 国内では阪大にて量子シミュレータ・量子コンピュータに向けた研究がなされている。

その他

詳細は「量子電磁力学」および「ボース＝アインシュタイン凝縮」を参照

量子回路

量子コンピュータによる量子アルゴリズムを記述する方法の一つである。N量子ビットを用いるアルゴリズムの場合、N本の線を書き、その量子ビットに対する量子操作(初期値設定、量子演算、測定)を時系列で左から右に記述した図である。

一般的には、左端に「初期値設定」、右端で明示的あるいは暗黙的に量子ビットの情報を読み出す「測定」が行なわれる。「測定」の結果得られる値は0または1で、「測定」した瞬間に量子重ね合わせ状態は破壊され、以降は読みだされた単純な0または1の状態になる。

詳細は「量子回路」を参照

量子ゲート

詳細は「w:Quantum gate」を参照

古典コンピュータでの計算は、ブール論理にもとづいた論理ゲートによる論理演算をベースとして行われる。これに対し、量子コンピュータの量子回路では、量子演算の演算子に対応する演算を行う機能は量子ゲートと呼ばれ、ユニタリー行列で記述できる。任意の1量子ビットに対するユニタリー行列は以下の形式で表現される。可逆計算であることも特徴である。この式を見ると分かる通り、量子ゲートは本質的にアナログ信号処理であり、アナログ処理に伴う誤差が問題となる点が論理演算とは異なる。この事が量子コンピュータ実現上の最大の問題である。

$e^{i\psi }{\begin{pmatrix}e^{i(-\alpha -\beta )}\cos \theta &-e^{i(-\alpha +\beta )}\sin \theta \\e^{i(\alpha -\beta )}\sin \theta &e^{i(\alpha +\beta )}\cos \theta \end{pmatrix}}$

1量子ビットに対するユニタリー変換とCNOTゲートの組合せによって、n量子ビットの任意のユニタリ変換を構成出来ることが知られている。

NOT

NOTはパウリ行列の1つでもある。

$X=NOT={\begin{pmatrix}0&1\\1&0\end{pmatrix}}$

$X|x\rangle =|{\tilde {x}}\rangle$

スワップ

$S_{10}={\begin{pmatrix}1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{pmatrix}}$

$S_{10}|x\rangle |y\rangle =|y\rangle |x\rangle$

制御NOT

CNOTと呼ばれる。XORに相当する。

$C_{10}={\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{pmatrix}}$

$C_{10}|x\rangle |y\rangle =|x\rangle |y\oplus x\rangle$

パウリ行列

詳細は「パウリ行列」を参照

$X=NOT={\begin{pmatrix}0&1\\1&0\end{pmatrix}}$

$Y={\begin{pmatrix}0&-i\\i&0\end{pmatrix}}$

$Z={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}$

${\sqrt {X}}={\sqrt {NOT}}=H{\sqrt {Z}}H={\frac {1}{2}}{\begin{pmatrix}1+i&1-i\\1-i&1+i\end{pmatrix}}$

${\sqrt {Z}}={\begin{pmatrix}1&0\\0&i\end{pmatrix}}$

アダマール変換

詳細は「アダマール変換」を参照

$H={\frac {1}{\sqrt {2}}}(X+Z)={\frac {1}{\sqrt {2}}}{\begin{pmatrix}1&1\\1&-1\end{pmatrix}}={\frac {1}{\sqrt {2}}}H_{2}$

$H_{2}$はアダマール行列である。

Conditional Phase

CPhaseと呼ばれる。

$V(\phi ):|x\rangle \to {\begin{cases}e^{i\phi }|x\rangle &{\mbox{if }}x=111\cdots \\|x\rangle &{\mbox{otherwise}}\end{cases}}$

1量子ビットの場合は、以下の通り。

$V(\phi )={\begin{pmatrix}1&0\\0&e^{i\phi }\end{pmatrix}}$

回転

$U(\theta )={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}$

トフォリゲート

詳細は「トフォリゲート」を参照

$T|x\rangle |y\rangle |z\rangle =|x\rangle |y\rangle |z\oplus (x\land y)\rangle$

フレドキンゲート

詳細は「フレドキンゲート」を参照

計算能力

理論

詳細は「w:Quantum complexity theory」、「計算複雑性理論」、および「複雑性クラス」を参照

ヴァジラーニらは、量子チューリングマシンと古典チューリングマシンの計算可能性が等価であることを示した。したがって、計算可能性の点では既存のあらゆるコンピュータと量子チューリングマシンは変わらない。つまり、量子チューリングマシンで「計算可能」な問題は古典チューリングマシンでも「計算可能」であるし、古典チューリングマシンで「計算可能」でない問題は量子チューリングマシンでも「計算可能」でない。（なお、ここで「計算可能」というのは、計算理論の専門用語であって、「原理的に解くことができない」というような表現から一般の人がイメージするような素朴な印象はおそらくたいていは正確ではない）

計算可能性の理論に関しては以上のようであるのだが、では、計算複雑性の理論としてはどうだろうか、というのが関心のある所であろう。

量子コンピュータは容易に古典コンピュータをエミュレートすることが可能であるため、古典コンピュータで速く解ける問題（汎用問題）は、量子コンピュータでも同程度以上に速く解くことができる。よって汎用問題について、量子コンピュータは古典コンピュータ「以上」に強力な計算速度を持つ。ただし、同程度は可能だとしても、「より大きい」かどうかはよくわかっていない。

量子コンピュータに関係する複雑性クラスにBQPがある。BQPとNPの関係は明確ではないが、BQPのほうが大きいだろうと考えられ、2010年代ころより、NPを含むPHにBQPが含まれない、ということを示唆する結果がいくつか示されてきている。

実際

量子ゲートマシンは理論的には古典コンピューターをシミュレート出来るとされるが、現実には古典ゲートによる小規模演算器もシミュレート出来ない。さらに、量子ゲート処理に必要な時間が論理回路より圧倒的に遅いこともあり、古典コンピュータの置き換えは不可能である。そのため、量子ゲートマシンは専用アルゴリズム開発と共に、古典コンピュータに対してある種の問題を高速に解く付加装置として利用するのが現実的である。

Googleは量子ゲートマシンの高速性が2017年末までに実証されると予想した。古典コンピューターよりも実際の量子ゲートマシンの方が高速に解ける問題が存在することを、量子超越性（Quantum supremacy）と呼び、このような問題の探索が続けられている。2019年10月23日、Googleは、ランダムに作った量子回路の出力結果を推定すると言う問題で、量子超越性を実証したと発表した。

量子ゲートマシン上で素因数分解を行うショアのアルゴリズムは、2001年にIBMが世界で初めて15(=3×5)の分解に成功した。2012年にブリストル大学が21(=3×7)の素因数分解を行い記録を更新したが、22以上の数の素因数分解の報告はない(2019年9月時点)。

2017年現在始まっているIBM Qなどではごく限られた数の量子ビットしか扱えない。重ね合わせ状態を保ちデータを記憶する量子メモリが実現されていない事、量子複製不可能定理により、計算結果を使いまわすことができない事、複数の量子コンピューターを接続し計算規模を大きくする技術が実現していない事、量子ゲートに起因する誤差が蓄積する事などから、計算大規模化が困難である。従って、現状では、与えられた問題を解くことに使われる状態ではなく、既に提案されている小規模な量子アルゴリズムの実証から始め、量子コンピュータで解ける有用な問題の模索が続いている。

量子コンピュータとしては、量子ゲート型以外に、D-Waveなどの量子アニーリングやその他いくつかのタイプが提案されている、量子イジングマシンはQUBO(制約のない二値二次式の最適化)(英語版)に特化した専用計算機と言える。

関連項目

• 量子ビット
• 量子状態
• 量子もつれ
• 量子テレポーテーション
• フォールトトレラント量子計算
• アインシュタイン＝ポドルスキー＝ローゼンのパラドックス
• 量子暗号
• 量子アニーリング

関連書籍

以下のリストは量子計算機やその数理について書かれた書籍を発行年代順に並べた。もちろん完全なものではない。

• 西野哲朗:「量子コンピュータ入門」、東京電機大学出版局、ISBN 978-4501526504（1997年3月10日）。
• 大矢雅則:「量子コンピュータの数理」、丸善、ISBN 978-4621046074 (1999年5月31日)。
• 上坂吉則:「量子コンピュータの基礎数理」、コロナ社、ISBN 978-4339023763（2000年5月26日）。
• C.P.ウィリアムズ、S.H.クリアウォータ（共著）、西野哲朗、荒井隆、渡邊昇（共訳）：「量子コンピューティング：量子コンピュータの実現へ向けて」、シュプリンガー・フェアラーク東京、ISBN 978-4431708698（2000年6月14日）。
• 西野哲朗：「量子コンピュータと量子暗号」、岩波講座 物理の世界 物理と情報（第4巻）、岩波書店、ISBN 978-4000111591（2002年3月15日）。
• 広田修:「量子情報科学の基礎：量子コンピュータへのアプローチ」、森北出版、ISBN 978-4627827417 (2002年4月15日)。
• A.Yu.Kitaev、A.H.Shen、M.N.Vyalyi： "Classical and Quantum Computation"、American Mathematical Society、ISBN 978-0821832295（2002年7月1日）。
• ゲナディ P.ベルマン、ロンニエ マイニエリ:「入門量子コンピュータ」、パーソナルメディア、ISBN 978-4893621924 (2002年9月)。
• 西野哲朗：「量子コンピュータの理論：量子コンピューティング入門」、培風館、ISBN 978-4563015510 (2002年12月12日)。
• G.ミルバーン、林一 (訳)：「ファインマン・プロセッサ：夢の量子コンピュータ」、岩波書店、ISBN 978-4000059497（2003年1月29日）。
• Jozef Gruska（著）、伊藤正美、今井克暢、岩本宙造、外山政文、森田憲一（共訳）:「量子コンピューティング」、森北出版、ISBN 978-4627827912（2003年11月19日）。
• Michael A.Nielsen、Issac L.Chuang(共著)、木村達也（訳）：「量子コンピュータと量子通信（I）」、オーム社、ISBN 4-274-20007-8（2004年12月20日）。※全3巻
• 石井 茂:「量子コンピュータへの誘(いざな)い：きまぐれな量子でなぜ計算できるのか」、日経BP社、ISBN 978-4822282110（2004年12月23日）。
• Michael A.Nielsen、Issac L.Chuang(共著)、木村達也（訳）：「量子コンピュータと量子通信（II）」、オーム社、ISBN 4-274-20008-6（2005年1月10日）。※全3巻
• Michael A.Nielsen、Issac L.Chuang(共著)、木村達也（訳）：「量子コンピュータと量子通信（III）」、オーム社、ISBN 4-274-20009-4（2005年1月10日）。※全3巻
• 竹内繁樹:「量子コンピュータ：超並列計算のからくり」講談社 (ブルーバックス)、ISBN 978-4062574693（2005年2月20日）。
• 古澤明:「量子光学と量子情報科学」、数理工学社、ISBN 4-901683-23-3（2005年4月10日）。
• D.Bouwmeester、A.Ekert、A.Zeilinger(編):「量子情報の物理：量子暗号、量子テレポーテーション、量子計算」、共立出版、ISBN 978-4-320-03431-0 (2007年5月25日)。
• 西野哲朗:「（図解雑学）量子コンピュータ」、ナツメ社、ISBN 978-4816341311 (2007年7月18日)。
• N. David Mermin："Quantum Computer Science: An Introduction"、Cambridge University Press、ISBN 978-0521876582 (2007年8月30日）。
• 宮野健次郎、古澤明:「量子コンピュータ入門」、日本評論社、ISBN 978-4535784796 (2008年3月25日)。
• Noson S. Yanofsky、Mirco A. Mannucci："Quantum Computing for Computer Scientists"、Cambridge University Press、ISBN 978-0521879965 (2008年8月11日）。
• G.ベネンティ、G.ガザーティ、G.ストゥリーニ、広岡一 (訳):「量子計算と量子情報の原理」、シュプリンガージャパン、ISBN 978-4431100096 (2009年5月)。
• N.D.マーミン、木村元(訳):「マーミン 量子コンピュータ科学の基礎」、丸善、ISBN 978-4621081464（2009年7月30日）。
• ジョージ・ジョンソン:「量子コンピュータとは何か」、早川書房（ハヤカワ文庫NF―数理を愉しむシリーズ）、ISBN 978-4150503611 (2009年12月9日)。
• 赤間世紀:「量子コンピュータがわかる本」、工学社、ISBN 978-4777515141 (2010年4月1日)。
• Michael A. Nielsen、Isaac L. Chuang： "Quantum Computation and Quantum Information: 10th Anniversary Edition"、Cambridge University Press、ISBN 978-1107002173（2010年12月9日）。
• Colin P. Williams: "Explorations in Quantum Computing"（2nd Ed.）, Springer、ISBN 978-1846288869 (2010年12月27日)。
• Willi-Hans Steeb、Yorick Hardy: "Problems and Solutions in Quantum Computing and Quantum Information"(3rd Ed.), World Scientific Pub、ISBN 978-9814366328 (2011年9月16日)。
• Jiannis K. Pachos: "Introduction to Topological Quantum Computation"、Cambridge Univ. Press,ISBN 978-1107005044（2012年4月12日）。
• G.ベネンティ、G.ガザーティ、G.ストゥリーニ、広岡一 (訳)：「量子計算と量子情報の原理」、丸善出版、ISBN 978-4621062272（2012年6月5日）。※シュプリンガージャパンから出た本の再刊行。
• 石坂智、小川朋宏、河内亮周、木村元、林正人:「量子情報科学入門」、共立出版、ISBN 978-4320122994 (2012年6月10日)。
• ジョン・グリビン、松浦俊輔 (訳):「シュレーディンガーの猫、量子コンピュータになる。」、青土社、ISBN 978-4791767717 (2014年3月20日)。
• 情報処理学会（編）: 情報処理2014年7月号別刷「《特集》量子コンピュータ」、情報処理学会、ISBN 978-4907626013（2014年6月15日）。
• Eleanor G. Rieffel、Wolfgang H. Polak: "Quantum Computing: A Gentle Introduction"、MIT Press、ISBN 978-0262526678（2014年8月29日）。
• 中山茂:「量子アルゴリズム」、技報堂出版、ISBN 978-4765533430 (2014年10月1日)。
• Richard J. Lipton、Kenneth W. Regan: "Quantum Algorithms via Linear Algebra: A Primer"、MIT Press、ISBN 978-0262028394（2014年12月5日）。
• 竹内薫:「量子コンピューターが本当にすごい」、PHP研究所、ISBN 978-4569824987（2015年5月16日）。
• 西野哲朗、岡本 龍明、三原孝志:「量子計算」（ナチュラルコンピューティング・シリーズ第6巻）、近代科学社、ISBN 978-4764904866 (2015年10月31日)。
• 西野友年:「今度こそわかる量子コンピューター」、講談社、ISBN 978-4061566057（2015年10月23日）。
• Keisuke Fujii: "Quantum Computation with Topological Codes: From Qubit to Topological Fault-Tolerance", Springer、ISBN 978-9812879950（2016年1月13日）。
• 宮野健次郎、古澤明:「量子コンピュータ入門」(第2版)、日本評論社、ISBN 978-4535788053（2016年3月3日）。
• 中山茂:「クラウド量子計算入門：IBMの量子シミュレーションと量子コンピュータ」、カットシステム、ISBN 978-4877834081(2016年9月1日)。
• Tudor D. Stanescu: "Introduction to Topological Quantum Matter & Quantum Computation"、CRC Press、ISBN 978-1482245936 (2016年12月7日)。
• 西森秀稔、大関真之:「量子コンピュータが人工知能を加速する」、日経BP社、ISBN 978-4822251895（2016年12月9日）。
• 小柴健史、藤井啓祐、森前智行:「観測に基づく量子計算」、コロナ社、ISBN 978-4339028706(2017年3月10日)。
• 富田章久:「量子情報工学」、森北出版、ISBN 978-4627853812 （2017年3月3日）。
• Mingsheng Ying、川辺治之（訳）:「量子プログラミングの基礎」、共立出版、ISBN 978-4320124059（2017年3月31日）。
• 森前智行:「量子計算理論：量子コンピュータの原理」、森北出版、ISBN 978-4627854017（2017年11月13日）。
• 中山茂:「クラウド量子計算：量子アセンブラ入門」、NextPublishing Authors Press、オンデマンド印刷本 (2018年1月15日)。
• 中山茂：「Python クラウド量子計算 QISKITバイブル」、オンデマンド自主出版（2018年5月3日）。
• 西森秀稔、大関 真之：「量子アニーリングの基礎」、共立出版、ISBN 978-4320035386（2018年5月19日）。
• 中山茂：「Python量子プログラミング入門」、オンデマンド自主出版（2018年6月25日）。
• 長橋賢吾：「図解入門 よくわかる 最新 量子コンピュータの基本と仕組み」、秀和システム、ISBN 978-4798054551（2018年9月26日）。
• 中山茂：「Python量子プログラミング入門2」、オンデマンド自主出版（2018年10月28日）。
• 「量子コンピュータ／イジング型コンピュータ研究開発最前線」、株式会社情報機構、ISBN 978-4-86502-165-3 (2019年2月）。
• 古澤明：「光の量子コンピューター」、集英社インターナショナル (インターナショナル新書)、ISBN 978-4797680355（2019年2月7日）。
• 中山茂：「Qiskit 量子プログラミング入門」、オンデマンド自主出版（2019年2月8日）。
• 湊雄一郎：「いちばんやさしい量子コンピューターの教本」、インプレス、ISBN-13: 978-4295006077（2019年5月20日）。
• Emily Grumbling and Mark Horowitz(Eds):"Quantum Computing: Progress and Prospects (2019)",　The National Academies Press, Washington, DC, ISBN 978-0-309-47969-1 (Sep, 4th, 2019).
• Jack D. Hidary:"Quantum Computing: An Applied Approach"、Springer、ISBN 978-3030239213 (2019年9月20日)。
• 佐川弘幸、吉田宣章：「量子情報理論 第3版」、丸善出版、ISBN 978-4621304167（2019年10月30日）。
• 藤井啓祐：「驚異の量子コンピュータ: 宇宙最強マシンへの挑戦」、岩波書店 (岩波科学ライブラリー)、ISBN 978-4000296892（2019年11月20日）。
• Emily Grumbling ・Mark Horowitz 編:「米国科学・工学・医学アカデミーによる量子コンピュータの進歩と展望」、共立出版、ISBN 978-4-320-12455-4 (2020年1月14日).
• Chris Bernhardt、湊 雄一郎 (監訳), 中田 真秀 (監訳) ：「みんなの量子コンピュータ」、翔泳社、ISBN 978-4798163574（2020年1月24日）。
• 武田俊太郎：「量子コンピュータが本当にわかる! ― 第一線開発者がやさしく明かすしくみと可能性」、技術評論社、ISBN 978-4297111359（2020年2月19日）。
• 遠藤理平：「14日で作る量子コンピュータ：シュレディンガー方程式で量子ビット・量子ゲート・量子もつれを数値シミュレーション Python版」、カットシステム、ISBN 978-4877834715（2020年5月1日）。
• Eric R. Johnston, Nic Harrigan, Mercedes Gimeno-Segovia：「動かして学ぶ量子コンピュータプログラミング」、オライリージャパン、ISBN 978-4873119199 （2020年8月27日）。
• Maria Schuld、Francesco Petruccione、大関 真之 (監訳)：「量子コンピュータによる機械学習」、共立出版、ISBN 978-4320124622（2020年8月28日）。

外部リンク

• 量子情報関東Student Chapter
• 量子情報関西Student Chapter
• ERATO 中村巨視的量子機械プロジェクト (2016～2021年度)
• 量子状態の高度な制御に基づく革新的量子技術基盤の創出(2016年度～)
• 量子サイバネティクス (2009年度～2013年度)
• 最先端研究開発支援プログラム 量子情報処理プロジェクト(2009年度～2013年度)
• 量子情報処理システムの実現を目指した新技術の創出 (2003年度～2009年度)
• 電子・光子等の機能制御(1998年度～2003年度)
• 全シリコン量子コンピュータの実現(2001年度～2005年度)
• Quantum Computing Information Site
• みんなの量子コンピューター～情報・数理・電子工学と拓く新しい量子アプリ～（戦略プロポーザル「みんなの量子コンピュータ」, 科学技術振興機構の研究開発戦略センター, 2018年12月1日. ）
• ACM Transactions on Quantum Computing (TQC)
• IEEE Quantum
• 一般社団法人情報処理学会の「量子ソフトウェア研究会」
• IEEE Quantum Week (QCE20)
• PennyLane , PennyLane Documentation
• 「量子計算機で産学連合　東大・みずほ・日立など協議会　ソフト開発に活路」（日本経済新聞記事2020年7月30日）。