□ オープニング 9:00-9:10
■セッション１ 座長：定兼邦彦（東京大学）
（1） 9:10-9:30
量子ソフトウェア工学の現状について
趙 建軍（九州大学）
（2） 9:30-9:50
複数量子回路並列実行のためのクロストークを考慮したNISQコンパイラ
大倉 康寛、ハイドゥシェク ミカル、バンミーター ロドニー（慶應義塾大学）
（3） 9:50-10:10
適応的シンドローム測定による反復符号の量子誤り訂正
高城 翔矢、藤井 啓祐（大阪大学）
（4） 10:10-10:30
キャッシュブロッキングを利用した効率的な量子計算機シミュレーションの並列化
土井 淳、堀井 洋（日本アイ・ビー・エム）
（5） 発表キャンセル
マルチGPUを使用した量子回路シミュレータの開発と高速化
森野 慎也（エヌビディア）、加藤 拓己（Blueqat ）、須郷 聖也（Quemix）、中田 真秀（理化学研究所）
-- break 10:30-10:50 --
■セッション２ 座長：山本直樹（慶應義塾大学）
（5） 10:50-11:10
射影観測による状態の変化を導入した動的認識論理について
河野 友亮（フェリス女学院大学）
（6） 11:10-11:30
Federated Graph State Preparation on Noisy, Distributed Quantum Computers
Satoh Ryosuke、Van Meter Rodney、Hajdusek Michal（Keio University）
（7） 11:30-11:50
Distributed Quantum Proofs for Replicated Data
Fraigniaud Pierre（CNRS/Universite de Paris）、Le Gall Francois（Nagoya University）、Nishimura Harumichi（Nagoya University）、Paz Ami（Universitat Wien）
（8） 11:50-12:10
Trusted centerによる量子計算の古典検証
森前 智行（京都大学）、竹内 勇貴（NTT）
（9） 12:10-12:30
量子サンプリングの検証
廣岡 大河（京都大学）、竹内 勇貴（NTTコミュニケーション科学基礎研究所）、森前 智行（京都大学）
-- lunch break 12:30-13:30 --
■セッション３ 座長：徳永裕己（日本電信電話株式会社）
（10） 13:30-13:50
位相推定アルゴリズムを用いた分子のエネルギー計算にかかるコストの推定
小林 望（東京大学／Qunasys）、御手洗 光祐（大阪大学／Qunasys）、中川 裕也（Qunasys）
（11） 13:50-14:10
量子計算回数決定法のQAOA適用に向けた検討
松尾 脩平、谷本 輝夫、川上 哲志（九州大学）、田渕 豊（東京大学）、廣川 真男、井上 弘士（九州大学）
（12） 14:10-14:30
OV仮定,3-SUM仮定,APSP仮定に基づく精微な量子超越性
早川 龍、森前 智行（京都大学）、玉置 卓（兵庫県立大学）
（13） 14:30-14:50
Quantum Pricing with a Smile: Implementation of Local Volatility Model on Quantum Computer
Kaneko Kazuya、Miyamoto Koichi、Takeda Naoyuki、Yoshino Kazuyoshi（Mizuho-DL Financial Technology Co., Ltd.）
（14） 14:50-15:10
Finding Small and Large k-Clique Instances on a Quantum Compute
Metwalli Sara Ayman（Keio University）、Le Gall Francois（Nagoya University）、Van Meter Rodney（Keio University）
-- break 15:10-15:30 --
■セッション４ 座長：藤井啓祐（大阪大学）
（15） 15:30-15:50
Quantum Speedup for the Minimum Steiner Tree Problem
Miyamoto Masayuki（Kyoto University）、Iwamura Masakazu、Kise Koichi（Osaka Prefecture University）、Le Gall Francois （Nagoya University）
（16） 15:50-16:10
変分量子計算による確率微分方程式のシミュレーション
久保 健治（メルカリ／大阪大学）、中川 裕也（QunaSys）、遠藤 傑（NTTセキュアプラットフォーム研究所）、永山 翔太（メルカリ）
（17） 16:10-16:30
Problem-specific Parameterized Quantum Circuits of the VQE Algorithm for Optimization Problems
Matsuo Atsushi（IBM Quantum, IBM Research -Tokyo）、Suzuki Yudai（Keio University）
（18） 16:30-16:50
Study on Use Cases and Robustness of Quantum Random Access Coding in Quantum Machine Learning
Thumwanit Napat（University of Tokyo）、Raymond Rudy（IBM Quantum, IBM Research -Tokyo）、Lortararprasert Chayaphol（University of Tokyo）
-- break 16:50-17:10 --
■セッション５ 座長：棚橋耕太郎（株式会社リクルートコミュニケーションズ）
（19） 17:10-17:30
温度効果に基づくイジング計算機における埋込アルゴリズム
白井 達彦（早稲田大学）、田中 宗（慶應義塾大学 ）、戸川 望（早稲田大学）
（20） 17:30-17:50
量子アニーリングシミュレータにおける疎行列表現方式の実行時間への影響
植田 圭、戸川 望、木村 晋二（早稲田大学）
（21） 17:50-18:10
量子計算機と古典計算機を動的に協調動作する実行システム設計
多和田 雅師（早稲田大学）、田中 宗（慶應義塾大学）、戸川 望（早稲田大学）
（22） 18:10-18:30
イジング型コンピュータの通信を考慮した計算時間
木村 晋二、宮城 翔太、戸川 望（早稲田大学 ）
-- break 18:30-18:50 --
■セッション６ 座長：増原英彦（東京工業大学）
（23） 18:50-19:10
量子アニーリングを用いた医師配置最適化シミュレーション
川口 英明（東京大学医学部附属病院）
（24） 19:10-19:30
イジングモデルに基づく端末間通信ペアの最適化の検討
森 翔平、関口 頌一朗、西村 敏、山本 正男（日本放送協会）
（25） 19:30-19:50
イジングモデルによる有向グラフに対する誘導部分グラフ同型問題の解法
吉村 夏一、多和田 雅師、田中 宗（早稲田大学）、新井 淳也、巴 徳瑪、八木 哲志（NTTソフトウェアイノベーションセンタ）、戸川 望（早稲田大学）
（26） 19:50-20:10
アミューズメントパーク経路最適化問題を対象としたイジングマシンによる解法と補正処理の評価
武笠 陽介、若泉 朋弥（早稲田大学）、田中 宗（慶應義塾大学）、戸川 望（早稲田大学）
