量子プログラミングの基礎と開発のポイント

講師の言葉

　量子計算機では、状態の重ね合わせ、観測量の非可換性、量子絡み合いなど古典的計算機にはない特性を用いて、古典的計算機よりも高速に処理することができる。しかし、量子状態は観測によって状態が変化するために、従来のソフトウェア開発で行われているような、状態を確認しながらのステップ実行やシステムログを用いた動作検証・デバッグを行うことはできない。また、観測結果は確率的に決まり、常に同じ結果が得られるとは限らないため、プログラムの実行によって正当性を検証することも困難である。そのため、量子プログラムの正当性を保証するためには、従来のソフトウェア開発で培った技術だけでは不十分である。
　本講では、量子プログラムの振る舞いを理解するために必要な数学の初歩から初めて、簡単な量子アルゴリズムの解説、量子プログラムの解析手法について紹介する。

こちらのセミナーは受付を終了しました。

次回開催のお知らせや、類似セミナーに関する情報を希望される方は、以下よりお問合せ下さい。