担当者 | 渡辺 隆治 | |
---|---|---|
学年・開講期 | 1年次 通年 [情報科学専攻 (通信教育課程)修士課程] | |
科目の種類 | 専門 | |
クラス | テキスト授業 | |
区分・単位 | 選択 2単位 | |
科目ナンバー |
古典コンピュータでは現実的な時間内で解くことが困難と考えられているファイル検索や因数分解などを、量子力学の原理に従って動作するコンピュータが高速に実行できる仕組みの概要と、その仕組みを数理的に厳密に理解するための数学的基礎を学びます。
量子コンピュータの特徴を概観し、テンソル積ベクトル空間、量子力学の公理等の数学、物理学の準備を行った後、量子コンピュータの数理モデルを定義していきます。ここで定義された基本的な量子ゲートが、量子アルゴリズムを数理的に構成するための基本的な要素となります。これらをもとにグローバーによるファイル検索のアルゴリズムとショアによる因数分解のアルゴリズムの概要を中心に学びます。
授業用テキストを用いて学習を進めます。各単元の冒頭にある学習の狙いを念頭に置き学習内容に取り組んだ後、単元末の演習問題を解くことにより、学習内容の理解を深める授業です。
本科目は、情報科学専攻のディプロマポリシーの項目1に関連しています。
テンソル積ベクトル空間の基礎事項を理解する。
量子コンピュータの構成に必要な量子力学の原理をもとに量子ビットの意味を理解する。
量子ゲートが量子ビットのテンソル積で与えられる状態として表されることを理解する。
量子ゲートのユニタリ変換で量子コンピュータが構成されることを理解する。
量子力学の原理に従って動作するコンピュータ上でのファイル検索のアルゴリズムと因数分解のアルゴリズムの概要を理解する。
科目修得試験については、60点以上の得点を合格とします。
科目修得試験を5割、レポート課題の評価を5割の割合で考慮して、成績を評価します。
レポートの添削によりフィードバックを行います。
種別 | 書名 | 著者・編者 | 発行所 |
---|---|---|---|
教科書 | 使用する授業用テキストは配付します。 | ||
参考文献 | 『量子コンピュータの基礎数理』 | 上坂吉則 | コロナ社 (ISBN 4-339-02376-0) |
参考文献 | 『量子コンピュータ』 | 竹内繁樹 | 講談社 (ISBN 4-06-257469-1) |
復習として単元末の演習問題を解き、学習内容の理解を深めて下さい。演習問題の解答は、次回以降の授業の準備にもなります。演習問題の解答を含めた学習時間の各回の平均が4.5~6時間となるように講義内容と演習問題を準備しています。
学部レベルの線形代数の知識を前提としますので、事前準備をしておいて下さい。
量子力学、論理回路、整数論などと関連しますが、これらについての最低限の内容は、授業用テキストで説明しています。
回 | 授業内容 |
---|---|
第1回 | 量子コンピュータの仕組み :計算の概念と古典コンピュータ |
第2回 | 量子コンピュータの仕組み :量子コンピュータ |
第3回 | テンソル積ベクトル空間 :2次元複素ベクトル空間 |
第4回 | テンソル積ベクトル空間 :ベクトルのテンソル積 |
第5回 | テンソル積ベクトル空間 :作用素のテンソル積 |
第6回 | 量子コンピュータの数理モデル :量子力学の規約 |
第7回 | 量子コンピュータの数理モデル :簡単な量子コンピュータ |
第8回 | 量子コンピュータの数理モデル :排他的論理和,論理積,論理和を表す量子ゲート |
第9回 | 量子コンピュータの数理モデル :転写,分岐,交換を表す量子ゲート |
第10回 | 量子ゲート :トフォリゲート |
第11回 | 離散積分変換 :離散積分変換 |
第12回 | 離散積分変換 :離散フーリエ変換 |
第13回 | ファイル検索 :ファイル検索,グローバーのアルゴリズム |
第14回 | 因数分解 :因数分解の手順,離散対数問題 |
第15回 | 因数分解 :量子フーリエ変換,ショアのアルゴリズム |