量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は 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件／51〜100件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 収集 |
量子オーケストラ：再帰的ハイブリッドプログラムの具体的な意味論
古典ベース言語に量子効果を加えたハイブリッド量子プログラミングのセマンティクスが未熟であるため、量子状態の参照とミューテーションに基づいた具体的な意味論を提案する。
|
Alex Rice, Dominik Leichtle, Kim W | software-stack | 2026 | 2607.09605 |
| 収集 |
Bugs4Qを用いたQiskitプログラム修正における大規模言語モデルのベンチマーク
Bugs4Qの67個の欠陥を含む2バージョンを評価し、欠落した実行テストを追加して再実行した。評価はラベルの有効性と修正プログラムの実行可能性を前提とする。
|
Saumya Brahmbhatt, Mitali Hukkeri, | software-stack | 2026 | 2607.09007 |
| 収集 |
実践的な量子ソフトウェアエンジニアリング：FPGAとAIの統合による量子認証
量子ソフトウエアエンジニアリングの文脈において、量子デバイスが有効なエンタングルメント状態を生成するかの検証という課題に取り組む。
|
Marcos Guillermo Lammers, José Man | software-stack | 2026 | 2607.07597 |
| 収集 |
successive SDK バージョンにわたる LLM 生成量子コードにおける API ドリフトのベンチマーク
LLMが指定したSDKバージョンの量子コードを正確に生成できるか検証するため、バージョン忠実度を測る量子APIドリフトベンチマークを提案する。
|
Mohammad Arif Rasyidi, Syahirul Fa | software-stack | 2026 | 2607.04072 |
| 収集 |
ORBIT-Q: 科学量子プログラミングにおける自律型エージェントの二軸ベンチマーク
物理的忠実性などを検証するベンチマーク「ORBIT-Q」を提案し、自律型コーディングエージェントの科学計算能力を評価する。
|
Shi-Xin Zhang, Yu-Qin Chen | software-stack | 2026 | 2607.03105 |
| 収集 |
トラップイオンプラットフォームでのハミルトニアンシミュレーションのための複合パルスガジェット合成
近傍トラップイオンハードウェアでのQSVTなど高精度アルゴリズムに対し、標準的ゲートレベルトランスパイルはノイズとオーバーヘッドを増大させる。本手法は离散操作を回避する。
|
Ria Patel, Masoud Hakimi Heris, Yu | software-stackhamiltonian-simulation | 2026 | 2607.00826 |
| 収集 |
量子プログラミング言語の調査
古典計算に対する指数関数的優位性の実証が近づくなか、量子解を明確に記述するための高水準汎用言語の重要性と、該分野の現状を概説する。
|
Quan Do, Hersh Gupta, Xiyuan Cao e | software-stack | 2026 | 2606.26254 |
| 収集 |
ブロック符号化の時代の行列積演算子
行列積演算子を圧縮された仮想パスのユニタリ線形結合と見なすブロック符号化コンパイラを開発。親行列積演算子から直接準備と選択ステージを構成し、テンソルネットワークを量子中間表現とする。
|
Eugene Dumitrescu | software-stackhamiltonian-simulation | 2026 | 2606.19083 |
| 収集 |
QuBE/Qubex: 広帯域制御付き超伝導量子ビット実験のための統合ハードウェア・ソフトウェアシステム
広帯域制御付き超伝導量子ビット実験用の統合システムを示し、低クロストークと高精度同期により大規模量子ビットの高忠実度動作を可能にする。
|
Akinori Machino, Kazuhisa Ogawa, T | software-stack | 2026 | 2606.13010 |
| 収集 |
量子回路シミュレーション性能予測のためのファミリー対応残差アーキテクチャ
近似テンソルネットワークシミュレータは古典計算による量子回路シミュレーションを可能にするが、結合次元閾値などの最適な近似パラメータの選択は依然として試行錯誤が必要である。本研究は、最小近似閾値と
|
Honjar Xing, Yehong Jiang, Xianban | software-stack | 2026 | 2606.11620 |
| 収集 |
初期耐 Fault 性システム向けデータ駆動型軽量エラー検出を備えたハードウェア aware な低遅延量子コンパイル
既存ツールチェーンはコンパイルとエラー検出を個別に扱い、統合されていない。本手法は早期耐 Fault 性域でアルゴリズム成功率を向上させる。
|
Sumit Chongder | software-stack | 2026 | 2606.07666 |
| 収集 |
QBugLM: LLMベースの量子ソフトウェアデバッグのためのエージェント型ベンチマークフレームワーク
量子バグは発見が困難なため、LLMの活用を提唱する。本研究は量子コードデバッグのためのエージェント型ベンチマークフレームワークQBugLMを提案する。
|
An B. B. Pham, Hoa T. Nguyen, Muha | software-stack | 2026 | 2606.07314 |
| 収集 |
QASM-Eval: OpenQASM-3における量子回路を超えた大規模言語モデルの学習・評価用データセット
雑音制約が厳しいNISQ時代に対応するため、QECや精密タイミング制御など、ゲート回路を超えるOpenQASM-3の能力をLLMに訓練・評価するデータセットを提案する。
|
Zhenxiao Fu, Lei Jiang, Fan Chen | software-stack | 2026 | 2605.30358 |
| 収集 |
Qiskit QuantumKatas: LLM評価向けMicrosoftの量子計算演習の適応
Microsoftの量子計算カリキュラム「QuantumKatas」をQiskitへ移行し、LLM評価用のベンチマークを作成した。350タスク26カテゴリで構成される。
|
Juan Cruz-Benito, Ismael Faro | software-stack | 2026 | 2605.27210 |
| 収集 |
PauLIB: ポールistring処理用高パフォーマンスライブラリ
PauLIBは、Pythonのオーバーヘッドやハッシュマップの制約を解消するC++20ライブラリであり、量子化学やコンパイルでのポールistring処理を高速化する。
|
Florian Krötz | software-stack | 2026 | 2605.25974 |
| 収集 |
量子計算と機械学習の間のソフトウェア、そしてパルスレベルまで
量子計算はゲート抽象化によりハードウェアの特性を見えにくくする。本研究は、この限界を克服し、直接パルスレベルで操作することでハードウェアの能力を最大限に引き出す手法を提示する。
|
Maja Franz, Melvin Strobl, Jonatha | software-stack | 2026 | 2605.21286 |
| 収集 |
QUTest: 量子プログラム用のネイティブテストフレームワーク
OpenQASM 3 形式の量子プログラムとテストを標準.qasm ファイルで記述するネイティブフレームワーク「QUTest」を提案する。
|
José Campos | software-stack | 2026 | 2605.19736 |
| 収集 |
ドローンにおけるサイバー物理的異常検出のための量子機械学習：プロキシ監査特徴セットを用いたリークフリー評価
GPSやバッテリの侵害を 탐知するQMLのリークフリー評価を示す。
|
Carlos A. Durán Paredes, Javier E. | software-stack | 2026 | 2605.19233 |
| 収集 |
制約からコードへ：DQI-Kit -- 復号型量子干渉計測のためのソフトウェアフレームワーク
量子計算で最適化問題を解く際、問題形式の変換による非効率を解消するDQI-Kitフレームワークを提示する。
|
Simon Thelen, Wolfgang Mauerer | software-stack | 2026 | 2605.16955 |
| 収集 |
qstack: 耐故障性量子プログラムの構成論的エンドツーエンドコンパイル
論理ゲートからハードウェア命令への変換において、量子誤り訂正が純粋な量子プログラムをハイブリッド型に変換する課題に対し、多階層の抽象化レイヤーを横断する構成論的コンパイラを実装した。
|
Andres Paz, Dan Grossman | software-stack | 2026 | 2605.16595 |
| 収集 |
QSeqSim: 逐次量子回路を用いたQiskitのWhileループのためのシンボリックシミュレータ
QiskitネイティブのWhileループ量子プログラムおよびその逐次回路シミュレーションの空白を埋める、Qiskit連携のシンボリックバックエンド「QSeqSim」を発表した。
|
Zihao Li, Ji Guan, Mingsheng Ying | software-stack | 2026 | 2605.14881 |
| 収集 |
Trotter-Suzuki分解のための物理指向生成最適化
NISQハードウェアでのハミルトニアン進化におけるTrotter-Suzuki積公式の精度を、項のグループ化、順序、時間刻み割当の最適化により向上させる手法を提案する。
|
WenBin Yan | software-stackhamiltonian-simulation | 2026 | 2605.13268 |
| 収集 |
複数QPU上で動作するQIRのための古典・量子タスクベースインテリジェントランタイム
量子アクセラレータと古典演算器を融合した異種プラットフォームに対応するため、古典・量子のワークローディングを統合管理するインテリジェントなランタイムを提案する。
|
Narasinga Rao Miniskar, Elaine Won | software-stack | 2026 | 2605.11382 |
| 収集 |
QBalance: 量子コンパイル、ノイズ低減、エラー緩和策略選択のための再現可能なマルチ目的ワークフロー
量子コンパイルと実行の選択課題に対し、PythonライブラリQBalanceはデータセットレベルでの最適化ワークフローを提供する。
|
Soumyadip Sarkar | error-mitigationsoftware-stack | 2026 | 2605.02966 |
| 収集 |
量子チップ上の混線なきルーティング
近傍接続ハードウェアでの非局所ゲートコストを低減するため、SWAPを用いずquditの高次レベルを正交スペクトルバスとして制御情報を転送するフレームワークを提案する。
|
Mithilesh Kumar, Yusuf Tahir, Varu | software-stack | 2026 | 2604.27015 |
| 収集 |
速度指向の量子回路バックエンド
最適実行性能を達成するための新規量子回路生成ソフトウェアパッケージを発表。QFTベンチマークで既存ツールに対し有意な優位性を示した。
|
Sören Wilkening | software-stack | 2026 | 2604.21656 |
| 収集 |
OpenQASM 3.0の動的回路をCUDA-Qへの変換：性能と表現力における利点
中間測定とフィードフォワードを含む動的回路のフレームワーク間トランスパイルにおける課題を解決し、性能と表現力の利点を示す。
|
Vinooth Kulkarni, Jaehyun Lee, Ada | software-stack | 2026 | 2604.11599 |
| 収集 |
QuanBench+: LLMベース量子コード生成のための統一マルチフレームワークベンチマーク
LLMによる量子コード生成を、Qiskit、PennyLane、Cirqの3フレームワークで評価する42タスクからなるベンチマークを提供し、量子推論と框架の慣れを分離した。
|
Ali Slim, Haydar Hamieh, Jawad Kot | software-stack | 2026 | 2604.08570 |
| 収集 |
ハイブリッド量子-HPC環境における量子実行のためのモデルコンテキストプロトコルサーバー
量子計算実行におけるAI科学者の課題に対処するため、ハイブリッド量子-HPC環境での量子実行に対応するMCPサーバーを提案する。
|
Masaki Shiraishi, Ikko Hamamura, T | software-stack | 2026 | 2604.08318 |
| 収集 |
Broken Quantum: オープンソース量子計算シミュレータ生態系におけるセキュリティ脆弱性の体系的正式検証研究
COBALT QAIエンジンを用い、量子アルゴリズム研究の基盤となるオープンソース量子シミュレータの包括的セキュリティ監査を実施。
|
Dominik Blain | software-stack | 2026 | 2604.06712 |
| 収集 |
フレームワーク非依存ニューラルネットワークによる量子機械学習でのベンダーロックインの排除
現在の量子機械学習ソフトウエアは断片化しており、TensorFlow QuantumのモデルはPennylaneなどで実行できない。本研究は、フレームワーク非依存ニューラルネットワークによりベンダーロックインを解消する。
|
Poornima Kumaresan, Shwetha Singar | software-stack | 2026 | 2604.04414 |
| 収集 |
GPU高速化量子シミュレーション：経験的バックエンド選択、ゲート融合、適応精度
NISQ時代の量子回路古典シミュレーションにおいて、状態ベクトルシミュレーションはO(2^n)のメモリを必要とする。本研究では、GPUを用いた高速化と適応精度の検討を行う。
|
Poornima Kumaresan, Pavithra Murug | software-stack | 2026 | 2604.03816 |
| 収集 |
量子安全コード監査：LLM支援の静的解析とPost-Quantum暗号移行のための量子対応リスクスコアリング
CRQCsの到来はRSAなどを脅かす。本稿はLLMによる静的解析と量子対応リスクスコアリングを用い、NIST規格準拠のPQC移行を検証する。
|
Animesh Shaw | software-stack | 2026 | 2604.00560 |
| 収集 |
QR-SPPS: VQE、ADAPT-VQEによる反事実的ポリシーランク付け、DOS-QPEによるボルツマンテールリスク定量化を用いた量子ネイティブ小売サプライチェーンリスクシミュレーション
サプライヤー依存性が相関する際、従来モデルはカスケード発生を過小評価する。n=40ノードでは古典計算が17.6TBのメモリを要する。
|
Sumit Tapas Chongder | software-stack | 2026 | 2604.00035 |
| 収集 |
量子コード生成の再検討：ドメイン知識はどこに位置すべきか
大規模言語モデルが量子コード生成を自動化する中、複雑な量子フレームワークにおいてドメイン知識の配置最適化を考察する。
|
Oscar Novo, Oscar Bastidas-Jossa, | software-stack | 2026 | 2603.22184 |
| 収集 |
クリフォードアルゴリズムの幾何学：回転基底における古典計算としてのバーンスタイン・ヴァジラニアルゴリズム
バーンスタイン・ヴァジラニアルゴリズムを、干渉による説明ではなくハドマート変換を基底回転と見なす幾何学的枠組みで再構成する。
|
Bartosz Chmura | software-stack | 2026 | 2603.12127 |
| 収集 |
Hybridlane: ハイブリッド連続・離散変数量子計算用のソフトウェア開発キット
離散変数量子ビットと連続変数量子モードを組み合わせるハイブリッド量子計算において、既存のフレームワークはハイブリッド回路の表現不足があり、開発者は脆弱な環境で作業を強いられている。
|
Jim Furches, Timothy J. Stavenger, | software-stack | 2026 | 2603.10919 |
| 収集 |
TensorCircuit-NG: 量子計算・シミュレーションのための汎用・組み合わせ可能・スケーラブルなプラットフォーム
TensorCircuit-NGは、量子物理、AI、高性能計算を結ぶ次世代量子ソフトウェアプラットフォームです。従来のシミュレータを超え、量子回路とテンソルネットを統一的に扱うパラダイムを提供します。
|
Shi-Xin Zhang, Yu-Qin Chen, Weitan | software-stack | 2026 | 2602.14167 |
| 収集 |
量子ソフトウェアエンジニアリング入門講義：経験報告
量子計算はプログラミングを通じて行われるが、教育はアルゴリズムに偏る。本稿はテストや抽象化などのソフトウエア工学課題を含んだ講義の設計と初回実施の報告を行う。
|
Andriy Miranskyy | software-stack | 2026 | 2602.07589 |
| 収集 |
ブロックダイアグラムからブロッホ球へ：LabVIEWを用いたグラフカル量子回路シミュレーション
量子計算の実装において、抽象的な線形代数と実践の隔たりを埋めるアクセシブルなシミュレーションツールが求められている。テキストベースのフレームワークに代わる視覚的アプローチを示す。
|
Murtaza Vefadar | software-stack | 2026 | 2602.00643 |
| 収集 |
量子コンパイラの再ターゲット可能性に関する主張の調査
NISQ時代、多様な量子ハードウェアが存在し、アーキテクチャの違いが量子プログラムの再ターゲット性を困難にしている。
|
Luke Southall, Joshua Ammermann, R | software-stack | 2026 | 2601.16779 |
| 収集 |
Dual-type 171Yb+量子ビットのハードウェア経済的な操作
単一の355nmモード同期パルスレーザーによりDual-type量子ビットを制御する手法を示す。広帯域な周波数コム構造を利用してラム団共鳴を駆動し、クロストーク誤差を抑制する。
|
Y. -J. Yi, Y. -Y. Chen, Y. -H. Hou | software-stack | 2026 | 2601.07529 |
| 収集 |
オープンソースプロジェクトにおける量子ソフトウェアパターンの採掘
量子コンピュータは暗号や最適化で注目され、量子ソフトウェア工学が発展している。本研究は、フレームワーク開発におけるソフトウェアパターンを抽出・分析する。
|
Neilson Carlos Leite Ramalho, Eric | software-stack | 2026 | 2601.06281 |
| 収集 |
量子ソフトウェアツールのMLIRへの統合
量子コンパイルは発展途上であり、既存の解決策は断片的である。本研究では、MLIRを用いてツールを統合し、信頼性とスケーラビリティを向上させる。
|
Patrick Hopf, Erick Ochoa Lopez, Y | software-stack | 2026 | 2601.02062 |
| 収集 |
DifGa: 量子光回路におけるマルチモードガウスおよび非ガウスノイズ向けの微分可能誤差軽減法
DifGaは、ガウス損失と弱い非ガウスノイズ下で動作する連続変数量子光回路用の完全微分可能誤差軽減フレームワークである。PennyLaneの解析シミュレーションで実証された。
|
Dennis Delali Kwesi Wayo, Rodrigo | software-stack | 2025 | 2512.23776 |
| 収集 |
El Agente Cuantico: 量子シミュレーションの自動化
量子シミュレーションのアクセシビリティ向上を目指し、ヒルベルト空間の指数関数的膨張やツール複雑性に対処するマルチエージェントシステム「El Agente Cuantico」を導入する。
|
Ignacio Gustin, Luis Mantilla Cald | software-stack | 2025 | 2512.18847 |
| 収集 |
量子コンピュータにおける複合ネットワーク上のコイン量子ウォーク
複合ネットワークのコイン・シフト演算子に対し、双重レジスタ符号化により回路構築を簡略化する設計を提案する。
|
Rei Sato | software-stack | 2025 | 2512.16400 |
| 収集 |
Qiskitモデルを用いた低ラウンドKeccak/SHA-3先読み攻撃の量子資源解析：古典2^57.8から量子2^28.9へ
Grover法によるKeccak-256攻撃の量子加速をハードウェア意識的に解析。理論的加速は妥当だが、実装オーバーヘッドが極めて大きい。
|
Ramin Rezvani Gilkolae | software-stack | 2025 | 2512.14759 |
| 収集 |
Q-IRIS：古典-量子ワークフローを可能にするIRISタスクベースランタイムの進化
HPCシステムへの量子アクセラレータ統合により、古典・量子作業を調整するランタイムが必要となった。IRISとXACCを連携させ、ハイブリッド実行フレームワークの概念実証を示す。
|
Narasinga Rao Miniskar, Mohammad A | software-stack | 2025 | 2512.13931 |
| 収集 |
F2: フェルミオニック部分回路コンパイルを用いたハミルトニアンシミュレーションのためのオフライン強化学習
既存の古典ヒューリスティックに依存せず、ハードウェア制約下でハミルトニアンシミュレーション用の浅く正確な量子回路をオフライン強化学習で自動最適化する手法を提案する。
|
Ethan Decker, Christopher Watson, | software-stackhamiltonian-simulation | 2025 | 2512.08023 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-11 05:20:01