量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は blueqat が実際に計算して再現し、 論文の主張と数値が合うかどうかまで確かめています。
ナレッジベースでできること
論文を日本語で探す
量子計算に関わる arXiv の論文 6,206本を、題名を日本語にして収録しています。 題名（日本語・英語）や著者で検索でき、分野で絞り込めます。 直近7日に出た論文も 87本 入っています。
分野ごと・年ごとのまとめ
誤り訂正・量子機械学習・変分アルゴリズムなど 13分野について、 年ごとの論文数の推移、読んでおくべき論文、近い分野をまとめたページがあります。
主要論文の再現検証
重要な論文 68本を精読し、うち 61本は blueqat で実際に計算して再現しました。 どの主張を確かめ、結果が合ったか、どれだけの計算資源を使ったかを1本ずつ載せています。
企業ユースケース
企業や研究機関の量子計算の取り組み 1,532件。 出典つきの公開された事実と、使われていそうなアルゴリズムの推定（確度つき）を、 混ぜずに分けて載せています。
こんな使い方ができます
- 研究者・学生 … 先行研究を日本語の題名でざっと見渡す。分野ページで、その分野の流れと押さえるべき論文を掴む
- エンジニア … 論文の手法が手元で再現できるのか、どれだけの計算が要るのかを、再現結果で確かめてから手を付ける
- 事業企画・調査 … 同業他社がどんな問題に量子計算を当てているか、どの程度まで進んでいるかを事例で比べる
| 無料 | スタンダード | エンタープライズ | |
|---|---|---|---|
| 論文・事例の検索と一覧（日本語の題名） | ○ | ○ | ○ |
| 分野・年のまとめページ、新着論文 | ○ | ○ | ○ |
| 論文の再現結果（主張・判定・計算資源） | — | ○ | ○ |
| 企業ユースケースの公開事実とアルゴリズムの推定 | — | ○ | ○ |
| 読解ノートと再現の生成物（回路・数式・計算時間） | — | — | ○ |
7,738
総エントリ
論文6,206＋事例1,532
6,206
論文
精読68・うち再現61
1,532
企業ユースケース
掘り下げ17・推定つき597
6,169
日本語化済み
収集6,169本のうち
論文の分野
ユースケースの種別
- 応用事例 78451.5%
- 耐量子暗号 24616.2%
- ハードウェア 16610.9%
- センシング 825.4%
- 研究の成果発表 664.3%
- 企業の動き 603.9%
- 企業間の提携 593.9%
- その他 442.9%
- ソフトウェア 151.0%
検索はどなたでもご利用いただけます。 論文1本ごとの再現結果（検証した主張・判定・使った計算資源）、 企業ユースケースの出典つき公開事実とアルゴリズムの推定は、 プラン加入者向けです。
すべて
精読済み 68
誤り訂正 968
量子機械学習 845
実機実証 633
誤り訂正前提のアルゴリズム 534
性能の測定 528
応用 490
誤り抑制 477
変分アルゴリズム 440
ソフトウェア 363
コンパイル 350
学習のしやすさ 333
古典シミュレーション 326
363件／251〜300件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 収集 |
量子マルチドローン強化学習のソフトウェアシミュレーションと可視化
量子機械学習の注目を受け、量子マルチエージェント強化学習が活発に研究されている。既存の古典的MARLが持つ非定常性や不確実性を克服するため、量子技術の応用が期待されている。
|
Chanyoung Park, Jae Pyoung Kim, Wo | software-stack | 2022 | 2211.15375 |
| 収集 |
大規模並列量子計算用ソフトウェア
古典並列量子ワークロードに対応するため、多数の量子処理装置で個別に量子回路を実行可能なソフトウェアを発表した。
|
Thien Nguyen, Daanish Arya, Marcus | software-stack | 2022 | 2211.13355 |
| 収集 |
Tierkreis: 量子・古典ハイブリッド計算のためのデータフローフレームワーク
量子・古典ハイブリッドアルゴリズム向けの、高水準データフローグラフ表現とランタイム「Tierkreis」を提示する。分散・クラウド計算を想定した設計である。
|
Seyon Sivarajah, Lukas Heidemann, | software-stack | 2022 | 2211.02350 |
| 収集 |
量子力学を用いたプログラミング
将来の量子優位性を実現するため、量子加速ソリューション開発人材の育成が不可欠である。本チュートリアルは、そのための基礎を解説する。
|
Evandro C. R. da Rosa, Claudio Lim | software-stack | 2022 | 2210.15506 |
| 収集 |
離散格子の量子最適制御のためのメモリ効率的な微分プログラミング
GRAPE法はメモリ消費が指数的に増大する課題がある。離散格子のQOC解析から、メモリ要件が障壁となることを示す。
|
Xian Wang, Paul Kairys, Sri Hari K | software-stack | 2022 | 2210.08378 |
| 収集 |
QParallel: 量子コンピュータプログラミングのための明示的な並列性
並列量子プログラミング言語拡張を提案し、並列性に関する曖昧さを解消し、時空トレードオフ調査を支援する。
|
Thomas Häner, Vadym Kliuchnikov, M | software-stack | 2022 | 2210.03680 |
| 収集 |
大規模量子回路におけるダブルソース最適ルーティングによる堅牢なキュービットマッピングアルゴリズム
大規模量子回路のハードウェア実装を目的とした、Duostraと称する新規キュービットマッピングアルゴリズムを提示する。既存手法が直面する数百量子ビット規模の課題を解決する。
|
Chin-Yi Cheng, Chien-Yi Yang, Yi-H | software-stack | 2022 | 2210.01306 |
| 収集 |
Q2Graph: 測定基底量子計算のためのモデリングツール
NISQ向け量子回路モデルに対し、グラフ状態を用いた構文的表現と処理可能性を示す。この手法は測定基底量子計算向けアルゴリズムに適している。
|
Greg Bowen, Simon Devitt | software-stack | 2022 | 2210.00657 |
| 収集 |
Rust言語で実装されたゲートベース量子プロセッサの高パフォーマンス状態ベクトルエミュレータ
OpenQASM 2.0およびPython APIをサポートするRust製量子エミュレータを提案し、広範なベンチマーク結果を示す。
|
Ilya A. Luchnikov, Oleg E. Tatarki | software-stack | 2022 | 2209.11460 |
| 収集 |
ボソニック Qiskit
ボソニック符号を用いた実験で量子誤り訂正のブレイクイーブンポイントが達成され、従来の量子ビットに加え連続変数オブジェクトを含むハイブリッド量子情報処理ハードウェアの現実的な利点が示された。
|
Timothy J Stavenger, Eleanor Crane | software-stack | 2022 | 2209.11153 |
| 収集 |
量子コンピュータにおける思考実験
量子理論の思考実験、特にウイグナーの友人のような複数の推論エージェントを量子系としてモデル化するケースのシミュレーションを設計・実行するためのソフトウェアパッケージを紹介する。
|
Nuriya Nurgalieva, Simon Mathis, L | software-stack | 2022 | 2209.06236 |
| 収集 |
BQA：ヒューリスティック探索に基づく高性能量子回路スケジューリング戦略
量子チップの不完全な結合制約に対応するため、ヒューリスティック探索を用いた高性能な量子回路スケジューリング手法BQAを提案する。
|
Xin-miao Chen, Shi Wang, Yong-jin | software-stack | 2022 | 2209.03542 |
| 収集 |
量子ネットリストコンパイラ（QNC）
量子ハードウェアの急速な発展に伴い、高レベルな量子アルゴリズムを機械固有の物理演算列に翻訳する必要がある。
|
Shamminuj Aktar, Abdel-Hameed A. B | software-stack | 2022 | 2209.00819 |
| 収集 |
ハイブリッド量子プログラミングのための効率的なパラメータ化コンパイル
VQEなどの反復的アルゴリズムでは、古典最適化器がパラメータ化量子回路を更新する。本研究は、物理プロセッサでの実行における回路コンパイルの効率化手法を提案する。
|
A. M. Krol, K. Mesman, A. Sarkar e | software-stack | 2022 | 2208.07683 |
| 収集 |
カーネルを用いた量子優位性追求者（QuASK）：量子機械学習研究の加速のためのソフトウェアフレームワーク
QuASKは、量子情報の特性を機械学習モデルに活用するためのフレームワークです。既存のツール群を補完し、量子機械学習研究を高速化します。
|
Francesco Di Marcantonio, Massimil | software-stack | 2022 | 2206.15284 |
| 収集 |
リアルタイム実行によるハイブリッド量子・古典計算の進展
中間測定と量子ビットリセットを用いた古典計算の次世代実装を提案し、条件分岐の実現を目指す。
|
Thomas Lubinski, Cassandra Granade | software-stack | 2022 | 2206.12950 |
| 収集 |
VeriQBench: 多种類の量子回路のためのベンチマーク
既存のほぼ全タイプの量子回路をカバーする1)結合型、2)動的手型、3)順次型、4)変分型の4種類の高レベル抽象化を提供するオープンソースのベンチマークVeriQBenchを提案する。
|
Kean Chen, Wang Fang, Ji Guan et a | software-stack | 2022 | 2206.10880 |
| 収集 |
部分量子写像の普遍性
有限次元C*-代数と完全正非増大写像の圏を、ヒルベルト空間とユニタリの剛性圏から普遍構成する。これは任意のダガー剛性圏に適用可能な3段階の手順で記述される。
|
Pablo Andrés-MartíÂ-nez, Chris Heu | software-stack | 2022 | 2206.04814 |
| 収集 |
QFaaS: 量子計算のためのサーバーレス関数実行フレームワーク
量子ハードウェアの進歩により適用機会が増加するが、ソフトウェアエンジニアリングは未成熟で課題が多い。我々は、量子プログラミング言語やハードウェアの多様性に対処するQFaaSフレームワークを提案する。
|
Hoa T. Nguyen, Muhammad Usman, Raj | software-stack | 2022 | 2205.14845 |
| 収集 |
TensorCircuit: NISQ時代の量子ソフトウェアフレームワーク
TensorCircuitは、テンソルネットワーク縮約に基づくオープンソース量子回路シミュレータです。Pythonで実装され、機械学習フレームワーク上に構築されています。
|
Shi-Xin Zhang, Jonathan Allcock, Z | software-stack | 2022 | 2205.10091 |
| 収集 |
FastHare: 大規模量子アニーリングのための高速ハミルトニアン縮約
既存の量子アニーラーでより大規模な最適化問題を扱うため、等価な小規模ハミルトニアンへの縮約手法を提案する。
|
Phuc Thai, My T. Thai, Tam Vu et a | software-stack | 2022 | 2205.05004 |
| 収集 |
isQ: 量子プログラミングの実用的なソフトウェアスタックへ向けて
isQは、imperative言語での量子プログラミング用ソフトウェアスタックです。プログラマが容易に量子プログラムを記述できるよう設計されています。
|
Jingzhe Guo, Huazhe Lou, Riling Li | software-stack | 2022 | 2205.03866 |
| 収集 |
Twist：量子プログラムの純粋性とエンタングルメントのための合理的な推論
量子プログラミング言語は古典計算では困難なタスクへの突破をもたらす。本論文は、量子ビット測定結果の相関であるエンタングルメントの認識を促す。
|
Charles Yuan, Christopher McNally, | software-stack | 2022 | 2205.02287 |
| 収集 |
Giallar: Qiskit量子コンパイラのプッシュボタン検証
Giallarは、手動指定不要の自動検証ツールキットです。量子コンパイラのループを抽象化し、コンパイラパスが量子回路のセマンティクスを維持するか自動検証します。
|
Runzhou Tao, Yunong Shi, Jianan Ya | software-stack | 2022 | 2205.00661 |
| 収集 |
動的巻き上げを備えたProto-Quipperのためのビセット豊穣范畴論モデル
回路生成と実行の2段階ランタイムを持つ量子言語Proto-Quipperの圏論モデルを、ビセット構造を用いて提示する。
|
Peng Fu, Kohei Kishida, Neil J. Ro | software-stack | 2022 | 2204.13039 |
| 収集 |
Qunity: 量子および古典計算のための統一言語（拡張版）
古典計算の自然的な一般化として量子計算を扱う新しい量子プログラミング言語Qunityを導入する。
|
Finn Voichick, Liyi Li, Robert Ran | software-stack | 2022 | 2204.12384 |
| 収集 |
MCBeth: 計量基底量子プログラミング言語
紙上のみだった計量基底量子言語の実装として、計量計算に基づくMCBethを提案し、クラスタ状態計算の直接表現とシミュレーションを可能にする。
|
Aidan Evans, Seun Omonije, Robert | software-stack | 2022 | 2204.10784 |
| 収集 |
量子計算の進化：量子計算ツールの使用に関する体系的調査
量子計算は、従来の手法では解決困難な複雑な問題を解く潜在能力を持つ。近年の動向を体系的に調査する。
|
Paramita Basak Upama, Md Jobair Ho | software-stack | 2022 | 2204.01856 |
| 収集 |
離散最適化における量子アルゴリズムの符号化トレードオフと設計ツールキット：着色、ルーティング、スケジューリング、その他の問題
量子最適化手法における符号化のトレードオフと設計ツールキットを示す。離散最適化問題への適用を検討する。
|
Nicolas PD Sawaya, Albert T Schmit | software-stack | 2022 | 2203.14432 |
| 収集 |
Peel | Pile? 量子ソフトウェアの横断的フレームワーク互換性
多様なベンダーの量子ソフトウェアフレームワークにおいて、ハードウェアとライブラリが未成熟な中でコードのポータビリティが危ぶまれる。本研究は開発の動向を検証する。
|
Manuel Schönberger, Maja Franz, St | software-stack | 2022 | 2203.06289 |
| 収集 |
シカゴ量子情報交換（CQE）パルスレベル量子制御ワークショップのまとめ
量子情報処理は計算の最前線を押し広げる可能性を持つ。特に化学、工学、金融などの応用における革新機会があり、量子計算の全潜在力を活用する。
|
Kaitlin N. Smith, Gokul Subramania | software-stack | 2022 | 2202.13600 |
| 収集 |
ハッシュ関数へのグローバー・アルゴリズムの適用：ソフトウェアの観点から
MD5、SHA-1、SHA-2、SHA-3を量子オラクルとして実装し、グローバー・アルゴリズムを用いたプリイメージ攻撃の計算資源要件を調査した。
|
Richard Preston | software-stack | 2022 | 2202.10982 |
| 収集 |
超伝導量子ビットハードウェアにおける量子近似最適化アルゴリズムのスケーリング
QAOAはノイズありハードウェア向けとされるが、接続性制約により適用範囲が制限される。本論文はそのスケーリングを解析する。
|
Johannes Weidenfeller, Lucia C. Va | error-correctionsoftware-stack | 2022 | 2202.03459 |
| 収集 |
DigiQ: SFQ論理を用いた量子コンピュータ向けスケーラブルなデジタル制御装置
超伝導量子コンピュータにおける極低温キュービットの制御において、室温から希釈冷凍機内のチップへアナログ信号を送るコストが課題となっている。本稿ではSFQ論理を用いたデジタル制御手法を提案する。
|
Mohammad Reza Jokar, Richard Rines | software-stack | 2022 | 2202.01407 |
| 収集 |
コスト分析のための量子期待値変換子
混合古典量子言語向けの新期待値変換子を提案し、ケゲルスピッツンの特殊化であるコスト構造を用いて、最弱事前条件解析の正しさ充分性を示す。
|
Martin Avanzini, Georg Moser, Roma | software-stack | 2022 | 2201.09361 |
| 収集 |
量子プログラムのバグ修正に関する包括的研究
古典的バグ修正と異なり量子プログラムの研究は不足している。本稿は、量子プログラミング言語の進化に伴うバグ修正の包括的研究を提供する。
|
Junjie Luo, Pengzhan Zhao, Zhongta | software-stack | 2022 | 2201.08662 |
| 収集 |
Qiskit上でVQEアルゴリズムを用いた分子シミュレーション
ノイズ耐性のある現在、量子・古典ハイブリッドアルゴリズムを用いた分子シミュレーション手法について述べる。
|
Alan Anaya, Francisco Delgado | software-stack | 2022 | 2201.04216 |
| 収集 |
ノイズチャネル存在下における車両配送問題の分析
車両配送問題(VRP)はNP困難な最適化問題であり、古典的手法は最適な全局解への良い近似を提供する。量子
|
Nishikanta Mohanty, Bikash K. Behe | software-stack | 2021 | 2112.15408 |
| 収集 |
qsimとCirqを用いた近似ノイズあり量子回路のシミュレーション
qsimを用いたマルチノード量子軌道シミュレーションと、Cirqのバックエンドとしての利用を示す。新アルゴリズムにより1桁の高速化を実現。
|
Sergei V. Isakov, Dvir Kafri, Orio | software-stack | 2021 | 2111.02396 |
| 収集 |
量子オラクル構築のためのプログラミング言語
加算や論理演算回路のオラクル構築を効率化するC風言語HODLを開発した。
|
Ayush Tambde | software-stack | 2021 | 2110.12487 |
| 収集 |
超伝導量子プロセッサの制御と読み出しのためのFPGAベース電子システム
大規模同期、低遅延、低ノイズを備えた、量子プロセッサ制御・測定用のFPGA実装電子系を提示する。
|
Yuchen Yang, Zhongtao Shen, Xing Z | software-stack | 2021 | 2110.07965 |
| 収集 |
マルチレベル中間表現による量子アクセラレータ向け再ターゲット可能最適化コンパイラの実現
量子クラス間マルチレベルIRを提供し、OpenQASM v3のAOTコンパイラを実現した。
|
Thien Nguyen, Alexander McCaskey | software-stack | 2021 | 2109.00506 |
| 収集 |
変分量子回路を用いた非線形分子のポテンシャルエネルギー曲面の調査
VQEで非線形分子(H2O)のシミュレーションを高い化学精度で実証し、2D/3Dのポテンシャルエネルギー曲面を報告。
|
Anh Pham, Daniel Beaulieu | software-stack | 2021 | 2109.00401 |
| 収集 |
分子幾何構造最適化のための変分量子アルゴリズム
強相関分子の平衡幾何構造予測には高コストな波動関数手法が必要だが、本研究ではパラメータ依存性を明示的に考慮し、分子の最も安定な構造を見つける変分量子アルゴリズムを提案する。
|
Alain Delgado, Juan Miguel Arrazol | software-stack | 2021 | 2106.13840 |
| 収集 |
オープンアクセス量子コンピュータのフルスタックプログラミング
量子ハードウェアの真のフルスタックプログラミングを可能とする新言語Qualaを示す。
|
Virginia Frey, Richard Rademacher, | software-stack | 2021 | 2106.06549 |
| 収集 |
量子計算を用いた有限温度・密度におけるゲージ理論の有効行列模型
IBM QISKitを用いたVQEにより、基本表現のフェルミオンを含むSU(2)、SU(3)の有限温度・化学ポテンシャル下での有効行列模型を研究した。
|
Yuan Feng, Michael McGuigan | software-stack | 2021 | 2106.02196 |
| 収集 |
QuTiPによるパルスレベルのノイズあり量子回路
QuTiPを用いたノイズあり量子回路のパルスレベルシミュレーション手法を提案し、NISQ計算の進展を支援する新ツールを導入する。
|
Boxi Li, Shahnawaz Ahmed, Sidhant | software-stack | 2021 | 2105.09902 |
| 収集 |
OpenQASM 3：より幅広く深い量子アセンブリ言語
OpenQASM 3は、従来の回路モデルに基づく命令型言語OpenQASM 2を拡張し、より広範で深い量子アセンブリ言語へと進化させた。
|
Andrew W. Cross, Ali Javadi-Abhari | software-stack | 2021 | 2104.14722 |
| 収集 |
量子プログラムにおけるバグパターンの特定
量子プログラムで頻発するバグパターンを特定・分類し、その原因となる言語機能の誤解や設計パターンの誤用などを分析する。
|
Pengzhan Zhao, Jianjun Zhao, Lei M | software-stack | 2021 | 2103.09069 |
| 収集 |
ストリーム関数渦度形式および格子ボルツマン法を用いたNavier-Stokes方程式の量子アルゴリズム
量子デバイスでNavier-Stokes方程式を解く新アルゴリズムを提示する。ストリーム関数渦度形式を採用し、格子ボルツマン法で1タイムステップを数値求解する。
|
Ljubomir Budinski | software-stack | 2021 | 2103.03804 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-12 05:20:01