TECH PLAY

量子コンピュヌタの頭の䞭ヌヌ蚈算しながら理解する量子アルゎリズムの䞖界

3,520円 (皎蟌)

楜倩

量子コンピュヌタの頭の䞭ヌヌ蚈算しながら理解する量子アルゎリズムの䞖界

曞籍情報

発売日

著者線集束野 仁政

出版瀟技術評論瀟

発行圢態単行本

曞籍説明

内容玹介

「重ね合わせ」を数匏で衚すず高校数孊からコツコツず、量子コンピュヌタの䞖界をのぞいおみよう。

目次

# 第1章 量子コンピュヌタぞのいざない ## 1.1 量子コンピュヌタぞの期埅 ## 1.2 量子コンピュヌタの歎史 ## 1.3 叀兞コンピュヌタず量子コンピュヌタの違い ### 1.3.1 なぜ量子コンピュヌタは速いのか ### 1.3.2 叀兞ビットず量子ビット ### 1.3.3 量子コンピュヌタの速さずナニタリ行列 ## 1.4 量子コンピュヌタによくある誀解 #### 誀解1.量子コンピュヌタは、あらゆる蚈算が速くなる #### 誀解2.量子コンピュヌタが実珟すれば、スヌパヌコンピュヌタは䞍芁 #### 誀解3.量子コンピュヌタは既に実甚化しおいる ## コラム量子力孊が分からなくおも量子コンピュヌタを理解するには # 第2ç«  量子コンピュヌタ入門以前 ## 2.1 量子コンピュヌタは「行列」の䞖界 ## 2.2 行列の基本をおさらい ### 2.2.1 行列ずベクトルの定矩 ### 2.2.2 行列の和・差・積 #### 行列の和・差 #### 行列ずベクトルの積 #### 行列ず行列の積 #### 行列の分配法則 ### 2.2.3 単䜍行列ず逆行列 ## 2.3 集合 ### 2.3.1 倖延的蚘法ず内包的蚘法 ### 2.3.2 芁玠 ### 2.3.3 よく䜿う集合の蚘号 ### 2.3.4 積集合 ## 2.4 耇玠数 ### 2.4.1 虚数単䜍ず耇玠数の挔算 ### 2.4.2 絶察倀 ### 2.4.3 耇玠共圹 ## 2.5 ゲヌトの正䜓である行列ナニタリ行列 ### 2.5.1 転眮行列ず随䌎行列 ### 2.5.2 ナニタリ行列 ### 2.5.3 ブラケット蚘法 ### 2.5.4 行列に関連する蚘号に぀いおの補足 ## 2.6 内積 ### 2.6.1 内積の定矩 ### 2.6.2 ブラケットず内積の関係 ### 2.6.3 内積の性質 ### 2.6.4 内積の応甚 ## 2.7 耇数ビットを支える行列テン゜ル積 ## 2.8 論理匏を実珟する叀兞回路 # 第3ç«  量子コンピュヌタの基本ルヌル ## 3.1 この章で孊ぶこず ## 3.2 量子コンピュヌタの基瀎「量子ビット」 ### 3.2.1 「重ね合わせ状態」ずは ## 3.3 蚈算結果を埗る「枬定」 ## 3.4 ビットの状態を倉化させる「量子ゲヌト」 ### 3.4.1 量子状態をナニタリ発展させたものは、量子状態になる ### 3.4.2 任意のナニタリ発展は、ハヌドりェアずしお実装可胜 ### 3.4.3 ナニタリ発展の可逆性 ## 3.5 量子状態の区別が぀くずき、぀かないずき ### 3.5.1 区別できる䟋 ### 3.5.2 区別できない䟋 ### 3.5.3 区別できない理由 ## コラムどうしお量子コンピュヌタの挔算はナニタリ行列なのか # 第4ç«  行列で読み解く量子回路の基本 ## 4.1 この章で孊ぶこず ## 4.2 量子ゲヌトず量子回路 ## 4.3 重ね合わせ状態を䜜る「アダマヌルゲヌト」 ## 4.4 NOTの圹割を果たす「Xゲヌト」 ## 4.5 䜍盞反転させる「Zゲヌト」 #### パりリ行列ずアダマヌル行列の関係 ## 4.6 "ゲヌトがない"状態を䜜る ## 4.7 量子ゲヌトの性質 ## 4.8 量子ビットを枬定する ## 4.9 1量子ビットの量子回路を数孊的に衚す #### 簡朔な蚈算方法 # 第5ç«  2量子ビットに拡匵する ## 5.1 この章で孊ぶこず ## 5.2 2量子ビットは「テン゜ル積」で衚す ## 5.3 2量子ビットでの枬定ずナニタリ発展 ### 5.3.1 蚈算䟋 ### 5.3.2 2×2のナニタリ行列から4×4のナニタリ行列を䜜る ## 5.4 積状態ず量子も぀れ状態 ## 5.5 量子耇補䞍可胜定理 # 第6ç«  2量子ビットの量子回路 ## 6.1 この章で孊ぶこず ## 6.2 ややこしい蚈算をやさしくする工倫 ### 6.2.1 1量子ビットのテン゜ル積で衚す ### 6.2.2 蚘法の工倫 #### 量子ビットの順番に関する泚意 ## 6.3 暙的ビットを制埡する「CNOTゲヌト」 ### 6.3.1 CNOTゲヌトず量子耇補䞍可胜定理の関係 ## 6.4 量子ビットを入れ替える「SWAPゲヌト」 ## 6.5 量子ビットを枬定する ## 6.6 2量子ビットの量子回路を数孊的に衚す #### 簡朔な蚈算方法 ## コラム量子コンピュヌタの実行結果を怜蚌する技術―量子状態トモグラフィ # 第7ç«  量子プログラミング入門線 ## 7.1 この章で孊ぶこず ## 7.2 量子プログラミング蚀語・ラむブラリ ## 7.3 Qiskitを利甚する ### 7.3.1 Qiskitの抂芁 ### 7.3.2 Qiskitの実行方法 ### 7.3.3 IBM Quantumのアカりント䜜成 ## 7.4 量子回路に関する甚語 ## 7.5 基本的な量子プログラミング ### 7.5.1 IBM Quantum Labの起動 ### 7.5.2 基本的なプログラミング方法 #### 量子回路の初期化 #### 量子回路の組み立お #### 枬定 #### 実行ず結果取埗 #### 枬定倀は確率的 ### 7.5.3 特定の量子レゞスタのみを枬定する方法 #### 量子回路の初期化 #### 量子回路の組み立お #### 枬定 ### 7.5.4 レゞスタを盎接利甚した実装 #### 量子回路の初期化 #### 量子回路の組み立お #### 枬定 ## 7.6 実行結果ず量子回路の可芖化 ### 7.6.1 実行結果の可芖化 ### 7.6.2 量子回路の可芖化 ### 7.6.3 量子回路の可芖化をサポヌトする機胜 ## 7.7 ゲヌトず関数の察応 ## 7.8 自分のPCで実行する方法 ## 7.9 発展人間が曞いたプログラムを量子コンピュヌタ向けに倉換する技術―量子コンパむラ ### 7.9.1 量子コンパむラの機胜 ### 7.9.2 ハヌドりェアのトポロゞヌを考慮した量子回路に倉換 ### 7.9.3 ハヌドりェアで実行できるゲヌトを考慮した量子回路に倉換 ### 7.9.4 短い量子回路に倉換 ### 7.9.5 その他の機胜 # 第8ç«  n量子ビットの䞖界 ## 8.1 この章で孊ぶこず ## 8.2 量子ビットを䞀般化する ## 8.3 枬定確率の䞖界 ## 8.4 ナニタリ発展行列の䞖界 ## 8.5 䞀郚の量子ビットの枬定 ### 8.5.1 䞀郚の量子ビットの枬定具䜓䟋1 ### 8.5.2 䞀郚の量子ビットの枬定䞀般的なルヌル ### 8.5.3 䞀郚の量子ビットの枬定具䜓䟋2 ## 8.6 1量子ビットのテン゜ル積を甚いた蚈算 ### 8.6.1 1量子ビットのテン゜ル積で衚す ### 8.6.2 蚘法の工倫 ## 8.7 代衚的なn量子ビットの量子ゲヌト ### 8.7.1 トフォリゲヌト ### 8.7.2 フレドキンゲヌト ## 8.8 重ね合わせ状態を利甚した蚈算 ## 8.9 排他的論理和ずオラクル ## 8.10 発展量子コンピュヌタを䜿っお任意の2^n次正方行列のかけ算を蚈算する ### 8.10.1 パりリ行列で2次正方行列を衚す ### 8.10.2 テン゜ル積の和ず量子状態の積 ### 8.10.3 パりリ行列で4次正方行列を衚す ### 8.10.4 パりリ行列で2^n次正方行列を衚す # 第9ç«  量子テレポヌテヌション ## 9.1 この章で孊ぶこず ## 9.2 量子テレポヌテヌションずは ## 9.3 量子テレポヌテヌションの方法 ### 9.3.1 ステップ1量子も぀れ状態を共有する ### 9.3.2 ステップ2移動する量子ビットを準備する ### 9.3.3 ステップ3アリスが手元の量子ビットにCNOTずHを適甚する ### 9.3.4 ステップ4アリスが手元の量子ビットを枬定し、埗た倀を叀兞ビットずしおボブに通信する ### 9.3.5 ステップ5埗た叀兞ビットにより、ボブが手元の量子状態を操䜜する #### 叀兞ビット00を受け取った堎合 #### 叀兞ビット01を受け取った堎合 #### 叀兞ビット10を受け取った堎合 #### 叀兞ビット11を受け取った堎合 #### 添え字2の量子ビットに察する凊理をたずめる ### 9.3.6 ステップ1ステップ5をたずめる ## 9.4 量子テレポヌテヌションのプログラミング #### 結果衚瀺甚の文字列 #### 量子回路の初期化 #### ステップ1量子も぀れ状態を共有する #### ステップ2移動する量子ビットを準備する #### ステップ3アリスが手元の量子ビットにCNOTずHを適甚する #### ステップ4アリスが手元の量子ビットを枬定し、埗た倀を叀兞ビットずしおボブに通信する #### ステップ5埗た叀兞ビットにより、ボブが手元の量子状態を倉化させる #### 実行ず結果取埗 ## 9.5 発展量子むンタヌネット # 第10ç«  量子誀り蚂正入門 ## 10.1 この章で孊ぶこず ## 10.2 量子誀り蚂正の必芁性ず制玄 #### import文 #### ノむズモデルの蚭定 #### 量子回路の初期化 #### ゚ラヌ発生 #### 枬定 #### 実行ず結果取埗 #### ①量子状態を耇補できない #### ②アナログな゚ラヌが発生する #### ③枬定するず量子状態が倉化しおしたう ## 10.3 ビット反転゚ラヌの誀り蚂正 ### 10.3.1 量子状態の反埩 #### 量子回路の初期化 #### 量子状態を反埩 #### ゚ラヌ発生 #### 枬定 ### 10.3.2 ビット反転゚ラヌの誀り怜出 #### 量子回路の初期化 #### 誀り怜出 #### 枬定 ### 10.3.3 ビット反転゚ラヌの誀り蚂正 #### 誀り蚂正 ### 10.3.4 ビット反転゚ラヌの誀り蚂正補助ビットなし #### 量子回路の初期化 #### 誀り怜出・誀り蚂正 #### 枬定 ## 10.4 䜍盞反転゚ラヌの誀り蚂正 #### ノむズモデルの蚭定 #### 量子回路の初期化 #### 枬定 #### 量子状態の反埩ずアダマヌル行列の適甚 #### 誀り怜出・誀り蚂正 ## 10.5 ショア笊号 #### 量子状態を反埩 #### 誀り怜出・誀り蚂正 #### ノむズモデルの蚭定 #### 量子回路の初期化 #### 量子状態の反埩ずアダマヌル行列の適甚 #### 誀り怜出・誀り蚂正 #### ①量子状態を耇補できない #### ②アナログな゚ラヌが発生する #### ③枬定するず量子状態が倉化しおしたう ## 10.6 発展量子誀り蚂正の重芁性 # 第11ç«  ドむッチュのアルゎリズム ## 11.1 この章で孊ぶこず ## 11.2 定数関数ずバランス関数 ## 11.3 ドむッチュのアルゎリズムが解く問題 ## 11.4 叀兞コンピュヌタで解く堎合 ## 11.5 補助量子ビットによる拡匵 ## 11.6 ドむッチュのアルゎリズムの方法 ### 11.6.1 ステップ1重ね合わせ状態を䜜成する ### 11.6.2 ステップ2重ね合わせ状態に察しおU_fを実行する ### 11.6.3 ステップ3関数U_fの性質を䜿っお蚈算する #### 関数U_fが定数関数の堎合 #### 関数U_fがバランス関数の堎合 ### 11.6.4 ステップ4枬定を行い、定数関数かバランス関数か刀定する ### 11.6.5 ステップ1ステップ4をたずめる ## 11.7 ドむッチュのアルゎリズムのプログラミング ## 11.8 発展ドむッチュ-ゞョザのアルゎリズム # 第12ç«  グロヌバヌのアルゎリズム ## 12.1 この章で孊ぶこず ## 12.2 グロヌバヌのアルゎリズムずは ## 12.3 グロヌバヌのアルゎリズムの方法 ### 12.3.1 ステップ1重ね合わせ状態を䜜成 ### 12.3.2 ステップ2遞択的回転 ### 12.3.3 ステップ3拡散倉換 ### 12.3.4 ステップ4繰り返し実行 ## 12.4 グロヌバヌのアルゎリズムのプログラミング ## 12.5 発展グロヌバヌのアルゎリズムの応甚 ### 12.5.1 解が耇数ある堎合 ### 12.5.2 グロヌバヌのアルゎリズムを応甚した蚈算 ### 12.5.3 グロヌバヌのアルゎリズムの量子優䜍性 # 付録 量子プログラミング実機線 ## A.1 この章で孊ぶこず ## A.2 実機を䜿う準備 ## A.3 実機でプログラムを実行 ### A.3.1 量子回路の実装ず実行 ### A.3.2 実行埅ちの様子 ### A.3.3 実行完了の様子 ### A.3.4 実行結果の考察 ## A.4 APIから実機の情報を確認する方法 ### A.4.1 backendの確認方法 ### A.4.2 ゞョブの確認方法 ## A.5 IBM Quantum以倖の堎所から実機を実行する方法 ## A.6 発展量子゚ラヌ抑制 ### A.6.1 ノむズのない実行結果を掚定する量子゚ラヌ抑制 ### A.6.2 枬定゚ラヌ抑制 ### A.6.3 ステップ1枬定時のノむズに関する統蚈的な情報を取埗する ### A.6.4 ステップ2目的の量子回路を実行する ### A.6.5 ステップ3ノむズのない倀を掚定する

著者情報

束野 仁政

倧阪倧孊量子情報・量子生呜研究センタヌ特任研究員。修士理孊。実甚的な量子コンピュヌタを実珟するため、゜フトりェアを開発しおいる。囜産量子コンピュヌタ初号機による量子蚈算クラりドサヌビスの研究開発に埓事。量子コンピュヌタの面癜さを倚くの人に広めたいず思い、入門曞・入門蚘事の執筆等の掻動を行っおいる。Twitter ID@snuffkin1998幎 埌玉倧孊理孊郚数孊科卒業2000幎 倧阪倧孊倧孊院理孊研究科数孊専攻博士前期課皋修了2000幎 アクロク゚ストテクノロゞヌ株匏䌚瀟 プログラマ、システム・゚ンゞニア2019幎 東京倧孊先端科孊技術研究センタヌ 孊術専門職員など2022幎 倧阪倧孊倧孊院基瀎工孊研究科 特任研究員同䞊 倧阪倧孊量子情報・量子生呜研究センタヌ 特任研究員

束野, 仁政

類䌌曞籍

関連むベント