量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は 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件／151〜200件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 収集 |
オラクル量子プログラム用のブラックボックステストフレームワーク
オラクル量子プログラムは古典計算との架け橋であり重要だが、正確性の確保が課題である。本研究はテスト手法の提案を行う。
|
Peixun Long, Jianjun Zhao | software-stack | 2025 | 2505.07243 |
| 収集 |
量子ゲート分解：コンパイル時間と実行時間のトレードオフに関する研究
古典コードと異なり量子プログラムは各実行前にコンパイルが必要となるため、コンパイル時間と実行時間のトレードオフが重要になる。
|
Evandro C. R. Rosa, Jerusa Marchi, | software-stack | 2025 | 2504.20291 |
| 収集 |
渡り鳥の磁気受容におけるラジカル対ベースの三重項一重項状態をQiskit量子回路でシミュレート
古典計算の限界に対し、量子回路は重ね合わせやコヒーレンスを利用し、高精度な測定を実現する。
|
Hillol Biswas, Spyridon Talaganis | software-stack | 2025 | 2504.12336 |
| 収集 |
Agent-Q: 量子回路生成と最適化のための大規模言語モデルのファインチューニング
大規模言語モデル(LMs)を量子コンピューティングに適用する研究は少ない。本稿は、大規模な量子回路の自動生成においてLMsを活用する可能性を検討する。
|
Linus Jern, Valter Uotila, Cong Yu | software-stack | 2025 | 2504.11109 |
| 収集 |
量子プログラミングの生産性は表現力と同等か？
量子言語の表現力はアルゴリズムの記述に重要であるが、古典言語と異なり、重ね合わせや干渉といった概念的課題がある。本研究は生産性と表現力の関係を検証する。
|
Francini Corrales-Garro, Danny Val | software-stack | 2025 | 2504.08876 |
| 収集 |
QuCheck: Qiskitにおける量子プログラム用のプロパティベーステストフレームワーク
既存のQ#実装の問題点を解決し、拡張性と機能性を強化したQiskit向けプロパティベーステストフレームワークQuCheckを提案する。
|
Gabriel Pontolillo, Mohammad Reza | software-stack | 2025 | 2503.22641 |
| 収集 |
電力ネットワークSCADA通信のサイバーセキュリティ：Qiskit実装
電力網のSCADAシステムはIT接続によりサイバー脅威に脆弱である。本論文はQiskitを用いた実装により、この通信システムのセキュリティ課題に対処する。
|
Hillol Biswas | software-stack | 2025 | 2503.20365 |
| 収集 |
シュレーディンガー型量子回路シミュレーションのための汎用的なクロスプラットフォームコンパイルツールチェーン
多様な古典ハードウェア特性に対応し、高パフォーマンスな量子シミュレーションを実現するクロスプラットフォームなコンパイルツールチェーンを提案する。
|
Yuncheng Lu, Shuang Liang, Hongxia | software-stack | 2025 | 2503.19894 |
| 収集 |
QiskitにおけるVQCのデータエンコーディング：新型ハイブリッドエンコーディングとの比較
古典機械学習に倣う量子機械学習において、データエンコーディングは重要である。本論文は、既存の標準的なエンコーディング手法と新しいハイブリッド方式を比較する。
|
Hillol Biswas | software-stack | 2025 | 2503.14062 |
| 収集 |
量子実装済みMini-AESのリソース制約推定
Grover探索攻撃の実現に向けて、暗号アルゴリズムの量子回路における入出力関係のヒルベルト空間設計と、現状でのテスト手法を考察する。
|
Syed Shahmir, Ghulam Murtaza, Ala | software-stack | 2025 | 2503.06566 |
| 収集 |
AutoQML: 自動量子機械学習のフレームワーク
AutoMLの自動化手法を量子機械学習に応用し、ハイパーパラメータ最適化やパイプライン構築を自動化するフレームワークを提示する。
|
Marco Roth, David A. Kreplin, Dani | software-stack | 2025 | 2502.21025 |
| 収集 |
Qmod: 表現力豊かな高レベル量子モデリング
低レベルのゲート記述に依存する既存フレームワークの問題を解決し、アルゴリズムの意図を明確にする高レベル量子モデリング言語Qmodを提案する。
|
Matan Vax, Peleg Emanuel, Eyal Cor | software-stack | 2025 | 2502.19368 |
| 収集 |
tūQ: クラスタ状態アルゴリズムのための設計・モデリングツール
クラスタ状態計算の研究を促進するツールチェーンtūQの概要と、最適化およびコンパイルの主要なワークフローを紹介する。
|
Greg Bowen, Simon Devitt | software-stack | 2025 | 2502.18991 |
| 収集 |
ASDF: 基底指向型量子プログラミング言語Qwertyのコンパイラ
基底と関数に基づくQwertyのコンパイル課題に対応する、オープンソースのコンパイラASDFを提示する。
|
Austin J. Adams, Sharjeel Khan, Ar | software-stack | 2025 | 2501.13262 |
| 収集 |
ユニタリ表現：拡張可能な量子プログラミング言語およびシステムのための必要不可欠な抽象化
量子ゲートはデジタル量子コンピュータの基本命令である。本研究は、量子コンピューティングエコシステムの継続的な発展において、ゲートの意味に関する共有理解を必要とせず、拡張性を確保するためのユニタリ表現という抽象化の必要性を主張する。
|
Ed Younis | software-stack | 2025 | 2501.09667 |
| 収集 |
野生での量子テスト：Qiskitアルゴリズムによるケーススタディ
量子コンピューティングは、重ね合わせやエンタングルメントの原理に基づき、暗号や最適化などの分野で新たな計算パラダイムを提供する。
|
Neilson Carlos Leite Ramalho, Eric | software-stack | 2025 | 2501.06443 |
| 収集 |
量子プログラミングにおけるコードクローンの解明：Qiskitを用いた実証的研究
古典プログラミングにおけるコードクローンの課題に対し、量子プログラミング領域での実証的研究を行い、その存在と特性を明らかにする。
|
Kenta Manoku, Jianjun Zhao | software-stack | 2025 | 2501.06420 |
| 収集 |
堅牢かつ低遅延の量子回路の実装のための時間最適化フレームワーク
量子ハードウェアのスケーラビリティとノイズ制御が課題となる中、デコヒーレンスによる非整合性エラーが計算時間を制限する。本研究は、回路の実装時間を最適化するフレームワークを提案する。
|
Eduardo Willwock Lussi, Rafael de | software-stack | 2024 | 2412.18533 |
| 収集 |
OpenQASM 3.0互換のQASM-TS 2.0を用いたハイブリッド量子古典計算の検証と形式化の実現
OpenQASM 3.0仕様のハイブリッドモデルに基づき、TypeScriptでパーサを実装。検証やコンパイラなど、量子プログラムの検証ツールの基盤を提供する。
|
Sean Kim, Marcus Edwards | software-stack | 2024 | 2412.12578 |
| 収集 |
qlbm：量子格子ボルツマン法のためのソフトウェアフレームワーク
qlbmは、量子格子ボルツマン法（QLBM）の開発、シミュレーション、解析を支援するPythonパッケージである。
|
Călin A. Georgescu, Merel A. Schal | software-stack | 2024 | 2411.19439 |
| 収集 |
QIR対応に向けて：量子中間表現(QIR)の導入に向けたステップ
量子コンピュータの最適化に不可欠なQIRを、古典的LLVM基盤で構築する。本稿は、その採用に向けたアプローチの概要を提示する。
|
Yannick Stade, Lukas Burgholzer, R | software-stack | 2024 | 2411.18682 |
| 収集 |
AMARETTO：低グレードFPGA上での効率的な量子アルゴリズムエミュレーションの実現
量子デバイスやソフトウェアシミュレータの課題に対し、低グレードFPGAでの効率的な量子アルゴリズムエミュレーションを実現するAMARETTOを提案する。
|
Christian Conti, Deborah Volpe, Ma | software-stack | 2024 | 2411.09320 |
| 収集 |
Qunicorn: 異種量子クラウド提供間の統合実行のためのミドルウェア
異なるアクセス方法や価格モデルを持つ異種量子クラウドにおいて、多様なプログラミング言語を用いた量子回路の実行を統合するミドルウェアを提案する。
|
Benjamin Weder, Johanna Barzen, Ma | software-stack | 2024 | 2411.06889 |
| 収集 |
逆算と制御機能を備えたProto-Quipper
Quipperは回路の逆算・制御やwith-computed関数を通じてg; f; g-dagger形式のプログラミングをサポートする。
|
Peng Fu, Kohei Kishida, Neil J. Ro | software-stack | 2024 | 2410.22261 |
| 収集 |
カルマン線形化を用いた非線形PDE制約最適化のための変分量子枠組み
カルマン線形化を活用し、線形PDE向けの変分量子枠組みを非線形PDE制約最適化問題へ拡張した。
|
Abeynaya Gnanasekaran, Amit Surana | software-stack | 2024 | 2410.13688 |
| 収集 |
ONDA: 逐次実行と条件分岐を備えた高水準量子プログラミング言語
ONDAは、古典計算機と同様の多重抽象化層を提供し、量子プログラミングを簡素化する言語である。
|
Francesco Junior De Gregorio | software-stack | 2024 | 2410.06779 |
| 収集 |
量子アセンブリ言語回路のqudit形式へのトランスピレーション
OpenQASMで表される量子ビット回路をquditハードウェア向けにqudit形式へ変換するワークフローと、結果を量子ビットに戻す方法を提示し、トランスピレーション手法を比較した。
|
Denis A. Drozhzhin, Anastasiia S. | software-stack | 2024 | 2409.18963 |
| 収集 |
量子ランタイムアーキテクチャのエコシステム非依存の標準化：量子計算における実用性の加速
量子実用性（QU）の実現に向け、AI駆動のソフトウェア最適化を活用する研究動向を、量子アーキテクチャの全レイヤーにわたる標準化の観点から検討する。
|
Markiian Tsymbalista, Ihor Katerny | software-stack | 2024 | 2409.18039 |
| 収集 |
Silqを用いた高水準量子アルゴリズムプログラミング
本論文は、量子プログラミング言語Silqを探求し、その高水準抽象化能力を通じて量子アルゴリズム開発を簡素化する手法を検討する。
|
Viktorija Bezganovic, Marco Lewis, | software-stack | 2024 | 2409.10231 |
| 収集 |
ヒープ操作型量子プログラムの推論のためのバンチド論理の解釈
ヒープ操作を導入し柔軟な量子メモリ管理を可能とする量子プログラミング言語における正しさ推論の課題に対処するため、ヒルベルト空間へ量子論理を拡張する新手法を提案した。
|
Bonan Su, Li Zhou, Yuan Feng et al | software-stack | 2024 | 2409.10153 |
| 収集 |
量子計算ソフトウェアのパフォーマンスベンチマーク
Benchpressは、量子計算SDKの性能と機能範囲を評価するためのベンチマークスイートである。930量子ビット以下の回路を対象に、1000以上のテストで主要指標を測定する。
|
Paul D. Nation, Abdullah Ash Saki, | software-stack | 2024 | 2409.08844 |
| 収集 |
多様な量子制御ハードウェアのためのグラフベース・パルス表現
従来の回路モデルでサポートされないゲート実装などのためのパルスレベル制御を可能にするため、グラフ構造を用いた効率的なパルス表現「pulselib」を提案する。
|
Aniket S. Dalvi, Leon Riesebos, Ja | software-stack | 2024 | 2409.08407 |
| 収集 |
LightSABRE: 軽量かつ強化されたSABREアルゴリズム
LightSABREは、SABREアルゴリズムの大幅な改善であり、ランタイム効率と回路品質を向上させる。
|
Henry Zou, Matthew Treinish, Kevin | software-stack | 2024 | 2409.08368 |
| 収集 |
Weaver: FPQA量子アーキテクチャのための再ターゲット可能コンパイラフレームワーク
超伝導以外の量子ハードウェア向けに、スケーラビリティや性能のトレードオフを考慮した再ターゲット可能コンパイラフレームワーク「Weaver」を提案する。
|
Oğuzcan Kırmemiş, Francisco Romão, | software-stack | 2024 | 2409.07870 |
| 収集 |
変分量子アルゴリズムの音響化フレームワークの開発：音楽作曲への示唆
変分量子アルゴリズムの最小化ステップの音響化を目的とした変分量子ハーモニアイザーを紹介する。
|
Paulo Vitor Itaboraí, Peter Thomas | software-stack | 2024 | 2409.07104 |
| 収集 |
ラティスサーフェリにおける接続制約の型ベース検証
ラティスサーフェリを用いた耐故障量子計算をグラフ操作としてモデル化し、論理量子ビット間の有効な接続経路を検証する型システムを提案する。
|
Ryo Wakizaka, Yasunari Suzuki, Ats | software-stackerror-correction | 2024 | 2409.00529 |
| 収集 |
量子物理学なしの量子プログラミング
量子データ型ではなく古典データを用い、負の確率を持つ乱数生成器のみを非古典的要素とする量子プログラミングパラダイムを提案する。
|
Jun Inoue | software-stack | 2024 | 2408.16234 |
| 収集 |
2準位系における数値演算子に基づく逆設計手法
トランスモン量子ビットを用い、NOBIE法による断熱への近道を実験的に実現した。オープンソースQiskitで制御パルスを実装し、堅牢性を確認した。
|
Kiran Thengil | software-stack | 2024 | 2408.10639 |
| 収集 |
ペトリネットを用いた量子バッファ設計
簡易な量子ペトリネットモデルを用い、古典バッファを量子版に一般化する。量子CNOTおよびSWAPゲートで構成された量子S-Rフリップフロップによる格納素子を提示する。
|
Syed Asad Shah, A. Yavuz Oruç | software-stack | 2024 | 2408.08369 |
| 収集 |
量子ネットワークシミュレーションのためのWebベースのソフトウェア開発キット
量子ネットワークシミュレーションはアプリケーション開発とハードウェア要件策定に不可欠。既存の古典的ネットワーク同様に、このエコシステムは開発や標準化、コミュニティ形成を可能にする。
|
Stephen DiAdamo, Francesco Vista | software-stack | 2024 | 2408.05588 |
| 収集 |
NetQIR: 分散型量子計算向けのQIR拡張
量子プロセッサのチップ内量子ビット数の制約に対応するため、NetQIRは分散型量子計算（DQC）を可能にするQIRの拡張であり、スケーラブルなソフトウェア基盤を提供する。
|
F. Javier Cardama, Jorge Vázquez-P | software-stack | 2024 | 2408.03712 |
| 収集 |
サイバーセキュリティのための量子クラスタリング
2022年CISAカタログの脆弱性情報を用い、脆弱性分類やCVSSスコアを解析する量子機械学習フレームワークを提案する。
|
Walid El Maouaki, Nouhaila Innan, | software-stack | 2024 | 2408.02314 |
| 収集 |
MCXゲートにおける ancilla qubit を用いた量子回路深さの削減解析
ancilla qubit を活用した多制御NOTゲートの深さ削減手法の概要と、量子トポロジーによる性能を分析する。再帰法とv-chain法が対象。
|
Ahmad Bennakhi, Paul Franzon, Greg | software-stack | 2024 | 2408.01304 |
| 収集 |
ハイブリッド量子ソフトウェアにおける解析可能性モデルの検証
量子・古典ハイブリッド計算において、量子アルゴリズムの複雑さにより解析可能性の評価は困難である。本研究では、標準的なソフトウェア品質評価手法の限界を踏まえ、モデルを検証する。
|
Díaz-Muñoz Ana, Cruz-Lemus José A. | software-stack | 2024 | 2408.01105 |
| 収集 |
量子ハードウェア制御のためのオープンソースフレームワーク
量子コンピュータ開発には信頼性のあるハードウェアと、各プラットフォームに特化した制御ソフトウェアが必要です。本フレームワークは、量子アルゴリズムの高レベル実行から低レベル制御までを標準化します。
|
Edoardo Pedicillo, Alessandro Cand | software-stack | 2024 | 2407.21737 |
| 収集 |
DisQ: 分散型量子プロセッサのモデル（拡張版）
分散型量子プロセッサの初の形式モデルDisQを提示。単一場所の量子計算と量子ネットワーク技術を組み合わせ、大規模なエンタングルメントを実現する。
|
Le Chang, Saitej Yavvari, Rance Cl | software-stack | 2024 | 2407.09710 |
| 収集 |
W状態の確定的なエンタングルメントスワッピング
本稿では、遠隔の2者間で共有される3量子ビットW状態を生成する確定的なエンタングルメントスワッピングプロトコルを提案する。
|
Sajede Harraz, Yueyan Wang, Shuang | software-stack | 2024 | 2407.03603 |
| 収集 |
QFaaSフレームワークを用いた量子サーバーレスパラダイムとアプリケーション開発
NISQ制約に対応するため、サーバーレス概念を用いた量子アプリケーション開発手法を提示する。
|
Hoa T. Nguyen, Bui Binh An Pham, M | software-stack | 2024 | 2407.02828 |
| 収集 |
Qiskit HumanEval: 量子コード生成モデルの評価ベンチマーク
量子開発の効率化を目指し、生成AIを活用するためのQiskit HumanEvalデータセットを提示し評価を行った。
|
Sanjay Vishwakarma, Francis Harkin | software-stack | 2024 | 2406.14712 |
| 収集 |
量子コンピュータを用いた最適化問題解決のための自動フレームワークへの取り組み
将来の各分野で解の質を高める有望な量子計算であるが、その活用には問題を二次制約なしの二値最適化（QUBO）モデルで定式化する必要がある。
|
Deborah Volpe, Nils Quetschlich, M | software-stack | 2024 | 2406.12840 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-12 05:20:01