講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナー「量子コンピュータ入門 ── 量子コンピュータと人工知能」は、量子コンピュータの数理的基礎から歴史的到達点、そして人工知能論との深い接続に至るまでを、一本の知的な糸で貫く野心的な講義です。
セミナーが根底に置く「問い」は二重構造を持っています。第一の問いは「量子コンピュータとは何か、そしてそれはいかなる計算を可能にするのか」という技術的問いです。第二の、そしてより深い問いは、チューリングが1950年前後に投じた「機械は考えることができるか」という哲学的問いへの、現代的な応答です。この二つの問いが、量子力学・計算科学・人工知能論という三つの領域を横断しながら展開される点に、本セミナーの最大の特徴があります。
数理的側面では、量子ビット（qubit）を「ベクトル」、量子の状態変化を「行列」、複数量子の合成状態を「テンソル積」で表現するという、線形代数に基づく整然とした枠組みが丁寧に構築されます。重ね合わせ・観測・エンタングルメントという量子力学の本質的現象が、この枠組みの中で精密に定式化されます。
歴史的側面では、1982年のファインマンによる「量子コンピュータで自然をシミュレートせよ」という提言から、1994年のショアによる素因数分解アルゴリズムの発見、D-Waveによる量子アニーリングという新しい道の開拓、そして2019年のGoogleによる量子超越性の実証という流れが、それぞれの人物の肉声とともに語られます。
人工知能論との接続では、「人間も分子機械である」という現代の生命観、「証明＝プログラム＝計算」というカリー・ハワード対応の洞察、そして2020年のNatarajan らによる MIP*＝RE 定理の証明が、「機械の知能の限界」という問いに新たな光を当てるものとして位置づけられます。特に量子超越性の実証が「拡張されたChurch-Turing Thesis」の反証となることは、人工知能論における機械と人間の関係性を根本から問い直す契機として提示されます。
このセミナーは、数式を扱いながらも、人間の知的営みの本質に迫ろうとする、稀有な深みを持つ講義です。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part I: 量子コンピュータの基礎
量子コンピュータの数理的基盤を、線形代数の言葉で一から構築します。古典ビットとqubitの本質的差異を「離散的な点」対「連続的なベクトル」として明確化し、重ね合わせ・量子ゲート・テンソル積という三つの柱を体系的に展開します。[p.6]
■ Part II: アダマールゲートで学ぶ量子アルゴリズムの基礎
アダマールゲートを軸に、量子暗号・量子並列性・量子通信という三つの応用領域を横断します。「観測すると状態が変わる」という量子の本質的性質が、盗聴検知を可能にする暗号プロトコルや、古典計算を凌駕する並列計算能力の源泉として活用される構造を明らかにします。[p.146]
■ Part III: 量子コンピュータの歴史と到達点
量子コンピュータの発展史を、ファインマン・ショア・ローズ・マルチネスという四人の人物の思想と決断を通じて描きます。理論的夢想から実装の困難、迂回路の発見、そして実証実験への到達という物語が、それぞれの肉声とともに展開されます。[p.238]
■ Part IV: 量子コンピュータと人工知能論
「機械は考えることができるか」というチューリングの問いを現代的に問い直し、「分子機械としての人間」「証明＝プログラム＝計算」という認識論的枠組みの上に、量子超越性とMIP*＝RE定理が人工知能論に投げかける根本的問いを展開します。[p.271]
ページのナビゲート