量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は 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件／1〜50件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 再現済み | Mitiq: ノイズのある量子コンピュータ向け誤り緩和ソフトウェアパッケージ🔒 解説記事 → | LaRose et al. | software-stack | 2022 | 2009.04417 |
| 精読済み | PennyLane: ハイブリッド量子-古典計算の自動微分🔒 | Bergholm et al. | software-stack | 2018 | 1811.04968 |
| 精読済み | Qiskitを用いた量子計算🔒 | Javadi-Abhari et al. (IBM) | software-stack | 2024 | 2405.08810 |
| 収集 |
量子プログラミング言語の自律的コード移行：QED-Cベンチマークを用いた事例研究
量子プログラミングは従来言語と異なる概念を要し、複数のフレームワークが異なる抽象化・実行モデルで対応し、プログラム容易性・移植性・性能のトレードオフを生む。
|
W. Michael Brown, Thien Nguyen, Av | software-stack | 2026 | 2610.12187 |
| 収集 |
量子コンパイラパスのRetromorphic Testing
量子コンパイラは高レベル量子プログラムを最適化回路に変換する重要な役割を担うが、大規模で深く絡み合った量子回路の期待出力を決定するのは計算上困難であり、compiler passの正しさ検証は難しい。
|
Mushahid Khan, Olivia Di Matteo | software-stack | 2026 | 2610.11195 |
| 収集 |
QuSema: 量子知識強化エージェントによる量子ライブラリのサイレントバグ検出
量子ライブラリは重要だが正しさのテストが難しく、既存手法は失敗ベースや比較ベースのオラクルに依存し、実行失敗やランタイムチェック違反、別実装との不一致でのみバグを検出するため、適用性が限られる。
|
Yujin Song, Kaining Zhang, Qixin Z | software-stack | 2026 | 2610.10258 |
| 収集 |
等価量子回路が合成の選択肢を失うとき
量子コンパイラは高レベル操作をゲート回路に合成するが、直列化やOpenQASM交換などの表現変更は計算を保ちつつ合成の選択肢を除去する。
|
Boshuai Ye, Peng Liang, Arif Ali K | software-stack | 2026 | 2610.06142 |
| 収集 |
WLPA: 最弱リンク露出下で希少な量子安全リンクポスチャを割り当てるネットワーク管理フレームワーク
量子鍵配送(QKD)は最強の保証だがハードウェアが希少で高価なため、一部リンクにしか配備できず、デフォルトの慣行はトラフィックや中心性によるランク付けである。
|
Bhanwar Gupta, Sanjeev Rana | software-stack | 2026 | 2610.04897 |
| 収集 |
グレイコード量子読み出し専用メモリの設計自動化
Gray-codeエンコーディングに基づくプログラム可能なGQROMを提案し、古典データを効率的に量子回路へロードする。これにより初期化オーバーヘッドとゲート起因エラーを低減する。
|
Hao-Yu Lu, Yu-Ting Kao, Yeong-Jar | software-stack | 2026 | 2610.02757 |
| 収集 |
マルチ入力/シングル出力のQuantum Phase Neural Network
35入力・単一出力の量子位相ニューラルネットワーク(QPNN)を提案し、7×5画素の英文字AとBを認識する。各ノードは0または1の入力を持ち、正規化と量子位相符号化により35個のデジタル入力を量子重ね合わせ状態に符号化する。
|
Shuang Cong, Jinmin Yang, Sajede H | software-stack | 2026 | 2610.00868 |
| 収集 |
Q-SPARSE: 近傍界角度・距離スペクトル推定のための量子部分空間射影
近距離場の波面曲率を利用した角度・距離同時推定に対し、MUSIC類似のスペクトルシグネチャを持つ量子部分空間投影アルゴリズムQ-SPARSEを提案し、超解像推定を実現する。
|
Mostafizur Rahaman Laskar, Sajad D | software-stackalgorithms-ftqc | 2026 | 2609.38500 |
| 収集 |
量子ソフトウェアのためのN×Mバージョンプログラミング：フレームワークとエンジンにわたる高レベルコンポーネント
量子コンピューティングは学術・産業で活発化し、Quantum Software Engineeringが登場したが、量子ソフトウェアの作成には依然として量子プログラミングが必要である。
|
Neilson Carlos Leite Ramalho, Higo | software-stack | 2026 | 2609.33255 |
| 収集 |
AG-CoT: クリフォード回路におけるLLMプログラム合成のための検証済みアルゴリズム的トレース
科学的コード生成は意図した対象を計算できないプログラムを生む。本研究では古典的検証が可能なClifford回路の合成でこの問題を研究し、各ターゲットが与えられるフレームワークを提案する。
|
Lu Wei, Yufeng Wang, Chenfeng Cao | error-correctionsoftware-stack | 2026 | 2609.33192 |
| 収集 |
量子符号化エージェント：量子機械学習におけるデータ埋め込み戦略選択のための自然言語インターフェース
データエンコーディング選択は量子機械学習の中心的課題であり、Quantum Encoding Agentsというオープンソースシステムを提案する。選択を自然言語インターフェースに変える。
|
Ana Paula Appel | trainabilityqmlsoftware-stack | 2026 | 2609.31902 |
| 収集 |
MQSS-Selector: MLIRコンパイルパイプラインにおけるRL誘導パス選択
HPCとQCの統合基盤（HPCQC）の文脈で、MLIRコンパイルパイプラインのパス選択を強化学習（RL）で導くMQSS-Selectorを提案する。
|
Andre Youssefi, Ercüment Kaya, Min | software-stack | 2026 | 2609.30104 |
| 収集 |
出力不可視の量子トランスパイラ回帰のためのフォールトクラス整合テストオラクル
量子トランスパイラのテストオラクルはstatevector、分布、ユニタリ比較で判定するが、その選択が失敗する頻度を実測し、Qiskitのバグ修正の約28%が故障を修復することを示した。
|
Furqan Nasir, Arif Shah, Iftikhar | compilationsoftware-stack | 2026 | 2609.24230 |
| 収集 |
量子インスパイア二次元格子偏光放射伝達シミュレータ
量子に着想を得た大気偏光放射伝達フレームワークを開発した。多重散乱・吸収・放出を同時にモデル化し、放射場はStokesベクトルで表してn方向2次元空間格子（3次元一様分布の天頂角・方位角）で離散化した。
|
Shan Zeng, Bing Lin, Ali Omar | software-stack | 2026 | 2609.23057 |
| 収集 |
X-Map決定図に基づくオラクル合成
Quantum oraclesは古典ブール関数を量子状態にエンコードする可逆ブラックボックス演算子で、量子重ね合わせでの関数評価を可能にする。オラクル実装のリソース効率は量子アルゴリズムの性能に重要である。
|
Xin Hong, Kezhen Zhang, Aochu Dai | software-stack | 2026 | 2609.20854 |
| 収集 |
深層学習を用いた遠隔状態準備のためのノイズ耐性量子状態特徴付け
Transformer-based Quantum State Characterizer (TQSC)モデルを提案し、複雑なノイズ下でのremote state preparation (RSP)における目標量子状態の高精度推定を実現する。
|
Bo Tang, Zixuan Liao, Hao Li et al | software-stack | 2026 | 2609.20523 |
| 収集 |
スパース量子緩和による車両ルーティングクラスタリング
本論文は、時間枠付き容量制約付き集配問題(CPDPTW)のクラスタ-ファースト-ルート-セカンド分解におけるクラスタ割り当て層を研究し、直接の経路順序QUBOではなく、SQDが対角最適化でベスト・オブ・ショットに退化することを示す。
|
Farzan Moosavi, Bilal Farooq | hardware-demossoftware-stack | 2026 | 2609.19575 |
| 収集 |
Qurrium: ランダム化測定に基づく量子状態の性質推定のためのPythonパッケージ
QurriumはQiskitベースのPythonパッケージで、ランダム化測定プロトコルを用いて純度、2次Rényiエントロピー、Pauli観測量の期待値を推定する。
|
Huai-Chun Chang, Teik-Hui Lee, Art | software-stack | 2026 | 2609.17979 |
| 収集 |
なぜアンローリングするのか？ コンパイルにおける構造化量子プログラムの重要性
量子ソフトウェアスタックの規模拡大に伴い、quantum compilationが重要となっている。動的アルゴリズム（mid-circuit measurement feedforward, repeat-until-success）をサポートするスタックの設計が課題である。
|
Damian Rovara, Daniel Haag, Mark K | software-stack | 2026 | 2609.16171 |
| 収集 |
出力等価オラクルが見逃すもの：量子トランスパイラにおける等価不可視バグ修正の実証研究
出力等価オラクルは、コンパイル後の回路が元と同一のユニタリ（グローバル位相とqubitレイアウト置換を除く）を計算するかをチェックするが、回路自身のレイアウト・置換・位相記録の欠陥は見逃す。
|
Furqan Nasir, Arif Shah, Iftikhar | compilationsoftware-stack | 2026 | 2609.13839 |
| 収集 |
ノイズのある量子回路シミュレーションのためのトランスパイル考慮ランタイム予測
ノイズ量子回路シミュレーションの実行時間予測は重要だが、backend-aware transpilationが回路構造を変えることや、ノイズモデルとシミュレータ実行挙動の影響で正確な予測は困難である。
|
Davud Azizov, Javier Vela-Tambo, T | simulation-methodscompilationsoftware-stack | 2026 | 2609.12980 |
| 収集 |
QROB: リバース構築による量子コンパイルにおける実現オーバーヘッドの定量化
量子コンパイルの実現オーバーヘッド評価のため、QROBは直接実現可能な構成から逆方向にインスタンスを生成するスケーラブルな手法である。
|
Jintao Li, Kaiqi Li, Rui Wang et a | error-correctionsoftware-stack | 2026 | 2609.07776 |
| 収集 |
Propaq: Heisenberg PropagationのためのPythonパッケージ
Propaqは、量子回路の古典的シミュレーションのためのHeisenberg propagation手法を実装したPythonパッケージで、QiskitやCirqと互換性を持ち、同種の最先端パッケージと同等以上の性能を示す。
|
Hrishikesh Belagali, Ryan LaRose | software-stack | 2026 | 2609.07730 |
| 収集 |
Quantum Random Access Optimization における圧縮による計算量の増幅
圧縮量子符号化は、多数の古典変数を少ない量子ビットの非可換観測量に写像し、ハードウェア制限を克服して大規模問題に挑むことを目指す。古典的なMaxCutの半正定値計画緩和は品質と効率をトレードオフする。
|
Stuart Hadfield | trainabilitysoftware-stack | 2026 | 2609.07090 |
| 収集 |
Ancilla-assisted非破壊的識別による分散GHZクラス状態の判別
非破壊的量子状態識別は分散量子情報処理の基本であり、共有エンタングルメント資源を消費せずに識別する。本研究では、n-qubit GHZクラス状態を厳密に非破壊識別するスケーラブルなancilla-assistedプロトコルを提案する。
|
Abdul Q. Batin, Suman Chand, Rajiu | software-stack | 2026 | 2609.07084 |
| 収集 |
後処理におけるデータ損失が量子ニューラルネットワークの学習と推論に及ぼす影響
量子ハードウェアの大規模化に伴い、シミュレータ由来のpostprocessingは実機で仮定崩れによりデータ損失を起こし、それがQuantum Neural Networksのトレーニングと推論に影響し、高レベル出力からは検出困難であることを論じる。
|
Soraya V. Panambalom, Edoardo Alta | qmlsoftware-stack | 2026 | 2609.05060 |
| 収集 |
Qlippy: 再現可能な量子ワークフローと実験トラッキングのための検索拡張生成AIアシスタント
量子ソフトウェア開発は反復的でエラーが多く、ノイズと再実行で実験追跡・来歴・再現性が必須だが、ツール複雑性と専門知識で採用が難しく、汎用言語モデルは幻覚を起こしやすい。
|
Mahee Gamage, Vlad Stirbu | software-stack | 2026 | 2609.05039 |
| 収集 |
構造を考慮したBivariate Bicycle CodeアーキテクチャにおけるMulti-Controlled Toffoliの配置と配線
MCTゲートは量子回路設計の基本プリミティブであり、量子演算や暗号解析などに応用されるが、その低レベルネットリストへの効率的分解は長年の最適化課題である。
|
Anik Basu Bhaumik, Suman Dutta, Si | error-correctionsoftware-stack | 2026 | 2609.00852 |
| 収集 |
QAOAを用いた水力学的制約下の天然ガス輸送ネットワークにおけるガス輸送量の量子ベース最適化
天然ガス輸送ネットワークの流量最大化問題を、QAOAを用いてノード圧力割り当てを最適化することで解決する。問題はネットワーク規模に応じて指数的に複雑化する組み合わせ最適化である。
|
Alex Ben Ishay, Yuval Eyal, Yuval | variational-algorithmshardware-demossoftware-stack | 2026 | 2609.00825 |
| 収集 |
ハードウェア効率的な誤り緩和とIBM量子ハードウェアにおけるショット効率的なサンプリング
制約された実行予算下でIBM Quantumプロセッサ上でエラー緩和と有限ショットサンプリングを実験的に研究。キャリブレーション認識のqubit選択、回路深さスケーリング、ZNE、動的デカップリング、読み出しエラー緩和、反復ショット推定を組み合わせた。
|
Sumit Chongder | error-mitigationsoftware-stack | 2026 | 2608.28535 |
| 収集 |
量子最適化アルゴリズムを用いたEnergy Internetルーティング
Energy InternetにおけるNP困難な経路選択に対し、QUBOとIsing Hamiltonianによる定式化を提示し、検証とスケーラビリティを示した。
|
Alireza Alamgir Tehrani, Mehrdad B | variational-algorithmssoftware-stack | 2026 | 2608.28401 |
| 収集 |
Graphix：測定型量子計算のためのソフトウェアフレームワーク
測定型量子計算（MBQC）用のPython製フレームワークGraphixを紹介。理論と実践をつなぐ統合環境を提供し、研究ワークフローの橋渡しを目指す。
|
Mateo Uldemolins, Pranav Nair, Eml | software-stack | 2026 | 2608.24781 |
| 収集 |
QisMC: QISKITプログラムデバッグ用のモデルチェッカー
Qiskitプログラム用モデルチェッカーQisMCを提案。量子-古典遷移系とBirkhoff-von Neumann論理に基づくqCTLを導入し、動作モデル化と仕様検証を可能にした。
|
Aochu Dai, Mingsheng Ying | software-stack | 2026 | 2608.24320 |
| 収集 |
qiskit-qudits：クディット回路のシミュレーション用Qiskit拡張機能
Qiskit拡張機能でdレベルのクディットをm=ceil(log_2 d)個のキュービットにエンコードしてシミュレーションする。
|
Francesco Pudda | software-stack | 2026 | 2608.22032 |
| 収集 |
Granthi：ユニタリ配線による高階量子プログラミング
古典ホストに高階構造を限定する既存言語に対し、Granthiは量子プログラムを第一級値とする純粋ユニタリ高階言語。
|
Samson Abramsky, Radha Jagadeesan | software-stack | 2026 | 2608.20443 |
| 収集 |
ChatGPTはテストされたQiskitの課題をすべて解決する
生成AIが量子ソフトウェア教育の評価課題を生む。Qiskitの導入課題を自動採点可能とし、AI禁止ではなく実行・検討・議論を要求する方式を検討。
|
Alexei Kaltchenko, Gurnivaj Tiwana | software-stack | 2026 | 2608.19707 |
| 収集 |
Qkabrine：量子機械学習のためのアーキテクチャ、エンコーディング、およびハイパーパラメータ探索の統合フレームワーク
Qkabrineは、量子機械学習モデルの設計に必要なアーキテクチャ選択からトレーニング性検証までを一括で行う統合フレームワークである。
|
Eric Jagwara | software-stack | 2026 | 2608.18152 |
| 収集 |
現代量子システムにおける量子状態準備の新規手法と枠組み
任意のn-qubit状態の決定論的準備手法をDsiHTに基づく2つの合成法で提案し、10つのベンチマークで検証した。
|
Alexis Gomez | software-stack | 2026 | 2608.16937 |
| 収集 |
量子ソフトウェアにおけるパターン検出から構成要素分析へ
量子プログラム構築の抽象化である量子ソフトウェアパターンは実証研究が少ない。61パターンカタログと知識ベースを作成し、関連付けを行った。
|
Neilson Carlos Leite Ramalho, Eric | software-stack | 2026 | 2608.10882 |
| 収集 |
Qiskitの自動実験追跡による量子コンパイラの可視化
最終回路指標だけでなくトランスパイル過程全体を見るためのQiskit用自動ロギングフレームワークを紹介し、コンパイラの振る舞いを追跡する。
|
Vlad Stirbu, Arianne Meijer van de | software-stack | 2026 | 2608.05041 |
| 収集 |
耐故障性量子プログラムのリソース推定
誤り補正の大きなオーバーヘッドを伴う耐故障性量子計算において、リソース推定は重要課題である。既存言語は低レベルの詳細操作が必要かケースバイケース分析に限られ、本稿は包括的な手法を提案する。
|
Bonan Su, Yuan Feng, Li Zhou et al | software-stack | 2026 | 2608.04573 |
| 収集 |
アサーション主導実行と検証可能な中間表現によるインテントレベル量子プログラミング
量子プログラムは検証が困難だが、本手法はインテントレベルでの記述とアサーションによる実行制御、可視可能な中間表現により、バックエンド間の移植性を実証する。
|
Ilesh Vora, Srikanth Thudumu, John | software-stack | 2026 | 2608.02648 |
| 収集 |
予測モデルを用いた量子回路最適化のためのトランスパイラ自動調整
量子ソフトウェアエンジニアリングにおいて、ゲートベースプログラミングで実現された量子回路の低レベル最適化プロセスを予測モデルにより自動調整する手法を提案する。
|
Piotr Malkowski, Domenik Eichhorn, | software-stack | 2026 | 2607.29145 |
| 収集 |
InferQ: 量子回路シミュレーション向けのデータベース指向ベンチマーク
RDBMSが量子回路シミュレーションをSQL作業負荷で実行可能とする研究を基に、構造化された回路の範囲を超えた体系的な支援を提供するベンチマークを提案する。
|
Andrei Ilinescu, Aadi Patwardhan, | software-stack | 2026 | 2607.29134 |
| 収集 |
連続変数量子システムに関する推論
連続変数量子計算(CVQC)は測定値が連続領域を取る計算モデルである。物理系のモデル化や光量子ハードウェアの抽象化に有用だが、その意味論的基盤は未だ不十分である。
|
Tianshi Yu, Gilles Barthe, Minbo G | software-stack | 2026 | 2607.23137 |
| 収集 |
GPUノイズあり量子回路シミュレーションのための分散低減軌道アンラベル：特徴付けとQiskit-Aer統合ギャップ
メモリコストが4^nとなる密度行列法に代わり、モンテカルロ軌道法が実用的だが推定量の分散がボトルネックとなる。分散低減手法の特徴とQiskit-Aerとの統合課題を解析する。
|
Chun-Yeol You | software-stack | 2026 | 2607.17678 |
| 収集 |
量子制御された量子チャネルを用いたプログラミング
古典ビットが0か1のどちらかの値しか取れないのに対し、量子ビットは0と1の重ね合わせ状態を取り得る。
|
Kengo Hirata, Takeshi Tsukada | software-stack | 2026 | 2607.15873 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-11 05:20:01