量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は 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件／201〜250件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 収集 |
量子トランスパイラ比較研究：qiskit-braket-provider、qBraid-SDK、Pytket拡張機能のパフォーマンス評価
量子トランスパイラ（SDK間の変換）のパフォーマンスを正確性、失敗率、変換時間で包括的に評価した研究です。
|
Mohamed Messaoud Louamri, Nacer Ed | compilationsoftware-stack | 2024 | 2406.06836 |
| 収集 |
NISQ対応HHLアルゴリズムのボトルネックの特定
ハードウェア成熟までのNISQ時代において、ノイズなどの制約を考慮し、HHLアルゴリズムのボトルネックを特定した。
|
Marc Andreu Marfany, Alona Sakhnen | software-stack | 2024 | 2406.06288 |
| 収集 |
量子完備部分順序集合のカテゴリー
量子プログラミング言語のモデルと数学構造の量子化（非可換一般化）という二つの研究線を統合し、量子化手法を用いてこれらを結びつける。
|
Andre Kornell, Bert Lindenhovius, | software-stack | 2024 | 2406.01816 |
| 収集 |
Eclipse Qrisp QAOA: Qiskit対応版との概要および事前比較
高水準量子プログラミング言語Eclipse Qrispの提示と評価。QAOA実装における効率性を測定し、Qiskitとの比較を行う。
|
Eneko Osaba, Matic Petrič, Izaskun | software-stack | 2024 | 2405.20173 |
| 収集 |
Qiskitコードアシスタント：量子計算コード生成のための大規模言語モデルのトレーニング
量子計算分野に特化したコード大規模言語モデルのトレーニング手法について詳述し、量子計算固有の要件を満たすコード自動生成の効率化を目指す。
|
Nicolas Dupuis, Luca Buratti, Sanj | software-stack | 2024 | 2405.19495 |
| 収集 |
偏微分方程式制約最適化のための変分量子フレームワーク
流体力学などの分野で出現する線形偏微分方程式制約最適化問題に対する、新規な変分量子フレームワークを提示する。
|
Amit Surana, Abeynaya Gnanasekaran | software-stack | 2024 | 2405.16651 |
| 収集 |
FPGA搭載超伝導量子ビット制御のための分散アーキテクチャ
リアルタイムフィードバック技術を用いた量子回路は、誤り訂正やアルゴリズム効率化に重要である。
|
Neelay Fruitwala, Gang Huang, Yilu | software-stack | 2024 | 2404.15260 |
| 収集 |
量子中間表現のためのクロスプラットフォーム実行エンジン
量子中間表現（QIR）の解析、解釈、実行を行うQIR-EEを開発し、量子・古典混合プログラムの実行効率を向上させる。
|
Elaine Wong, Vicente Leyton-Ortega | software-stack | 2024 | 2404.14299 |
| 収集 |
Qwerty: 基底指向の量子プログラミング言語
大規模量子計算の実装競争が本格化する中、既存言語はプログラマに低いレベルの操作を要求し、構造化されたアルゴリズム設計を困難にしている。
|
Austin J. Adams, Sharjeel Khan, Ar | software-stack | 2024 | 2404.12603 |
| 収集 |
Qandle: ゲート行列のキャッシュと回路分割を用いた状態ベクトルシミュレーションの高速化
ゲート行列キャッシュと回路分割を組み合わせ、状態ベクトルシミュレーションの計算複雑さに対処する高速化手法を提案する。
|
Gerhard Stenzel, Sebastian Zielins | software-stack | 2024 | 2404.09213 |
| 収集 |
LinguaQuanta: OpenQASMとQuipper間の量子トランスパイラ towards (拡張版)
量子計算の進化に伴い、量子プログラムの表現やツール間の相互運用性が課題となる。本論文は、量子言語間のトランスパイラ設計に向けた一歩を示す。
|
Scott Wesley | compilationsoftware-stack | 2024 | 2404.08147 |
| 収集 |
Qiskit-Torch-Module: 量子ニューラルネットワークの高速プロトタイピング
QiskitとPyTorchを連携させるモジュールを開発し、変分量子アルゴリズムの訓練における処理時間の短縮を実現した。
|
Nico Meyer, Christian Ufrecht, Man | software-stack | 2024 | 2404.06314 |
| 収集 |
量子HPCミドルウェアにおけるマルチGPU対応ハイブリッド量子古典ワークフロー：量子シミュレーションへの応用
量子ハードウェアと古典計算資源の連携に関する新QCQアーキテクチャを導入し、量子シミュレーションへの応用を示す。
|
Kuan-Cheng Chen, Xiaoren Li, Xiaot | software-stack | 2024 | 2403.05828 |
| 収集 |
Piquasso: 光量子コンピュータシミュレーションソフトウェアプラットフォーム
Piquassoは、離散・連続変数を用いた効率的な量子計算を可能にする光量子コンピュータ向けの高レベルPythonインターフェースを備えたオープンソースの全スタック量子プログラミングフレームワークです。
|
Zoltán Kolarovszki, Tomasz Rybotyc | software-stack | 2024 | 2403.04006 |
| 収集 |
KetGPT - Transformerを用いた量子回路のデータセット拡張
Transformerを用いて量子回路のデータセットを拡張する。既存データの制約を克服し、ランダム回路に代わる有効なベンチマークを提供する。
|
Boran Apak, Medina Bandic, Aritra | software-stack | 2024 | 2402.13352 |
| 収集 |
Qrispを用いた数独問題への量子バックトラッキング
Montanaroの量子バックトラッキングアルゴリズムは、多数の古典最適化アルゴリズムに量子高速化を提供する。本論文では、これをQrispで実装し数独問題に適用する。
|
Raphael Seidel, René Zander, Matic | software-stack | 2024 | 2402.10060 |
| 収集 |
電力システムにおける効率的量子線形ソルバー用柔軟なフレームワークの初期探求
再生可能エネルギーの急速な統合により電力グリッド管理は困難になっている。古典計算が扱えない複雑問題に対し、量子計算による効率的線形ソルバーの柔軟なフレームワークを早期に探求する。
|
Muqing Zheng, Yousu Chen, Xiu Yang | software-stack | 2024 | 2402.08136 |
| 収集 |
間接QAOAに基づく手法による91節SAT分解に関する技術メモ
3-SAT問題をQAOA様手法で解く。解ランクをモデル化し、大規模問題に対応するコンパクトな回路を実現する。
|
Gerard Fleury, Philippe Lacomme | software-stack | 2024 | 2402.00065 |
| 収集 |
GQHAN: Groverに着想を得た量子ハードアテンションネットワーク
量子データの重要性を判別できないQMLモデルの問題に対し、Groverアルゴリズムに着想を得た量子ハードアテンションネットワークを提案する。
|
Ren-Xin Zhao, Jinjing Shi, Xuelong | software-stack | 2024 | 2401.14089 |
| 収集 |
QuantumReservoirPy: 時系列予測のためのソフトウェアパッケージ
時系列予測への応用が期待される量子リザーバー計算に対し、非線形動的系としての量子回路を検証できる柔軟なフレームワーク「QuantumReservoirPy」を開発した。
|
Stanley Miao, Ola Tangen Kulseng, | software-stack | 2024 | 2401.10683 |
| 収集 |
1次元対流拡散方程式を解くための2つの量子アルゴリズム
周期境界条件付き線形1次元対流拡散方程式の数値解法として2つの量子アルゴリズムを提示し、量子ビット増加に伴う精度・性能を比較した。
|
Julia Ingelmann, Sachin S. Bharadw | software-stack | 2023 | 2401.00326 |
| 収集 |
GPU加速による大規模星分類のための量子強化サポートベクターマシン
本研究は、量子コンピュータとGPU加速を活用した新しいQSVM手法を提案し、KNNやLRといった従来手法を大幅に上回る性能を示した。
|
Kuan-Cheng Chen, Xiaotian Xu, Henr | software-stack | 2023 | 2311.12328 |
| 収集 |
再帰型量子ユニタリプログラムの合成に対する根拠
量子プログラムの難解さを軽減するため、低レベルの量子詳細に煩わされない自動合成ツールの必要性を提唱し、その研究を開始する。
|
Haowei Deng, Runzhou Tao, Yuxiang | software-stack | 2023 | 2311.11503 |
| 収集 |
効果型と線形従属による回路幅の推定（長期版）
古典的な高レベル言語の表現力を利用し、量子計算の回路記述を生成する量子プログラミング言語群を扱う。
|
Andrea Colledan, Ugo Dal Lago | software-stack | 2023 | 2310.19096 |
| 収集 |
量子モノドロジー
関数型プログラミングのモナド概念を、測定や混合状態といった量子計算の副作用・文脈依存性に適用する研究。
|
Hisham Sati, Urs Schreiber | software-stack | 2023 | 2310.15735 |
| 収集 |
量子ハードウェア向けのコンパイルの進展：マジック状態蒸留および再試行成功プロトコルの実演
フォールト tolerantなサブルーチンの制御構造表現を課題とし、マジック状態蒸留と再試行成功プロトコルの性能を実証的に解析した。
|
Natalie C. Brown, John Peter Campo | error-correctionsoftware-stack | 2023 | 2310.12106 |
| 収集 |
Web向け3つの量子プログラミング言語パーサー実装
IBMのQASMやLos AlamosのQMASMなど、既存の量子言語実装を踏まえ、Web上で動作する3つの量子プログラミング言語パーサーを実装した。
|
Marcus Edwards | software-stack | 2023 | 2310.10802 |
| 収集 |
Qinterpreterによる量子アルゴリズムの実用化：主要な量子計算プラットフォーム間の理論と実践の架け橋
量子コンピュータは創薬やエネルギーなど多分野で革新をもたらす可能性がある。本研究は、主要な量子ライブラリ間の格差を埋めるQinterpreterを提案し、理論と実践の接続を実現する。
|
Wilmer Contreras Sepúlveda, Ángel | software-stack | 2023 | 2310.07173 |
| 収集 |
Qibosoq: 量子回路のRFSoCプログラミングのためのオープンソース・フレームワーク
Qibosoqは、RFSoC上で任意のパルスシーケンスを実行するオープンソース・ソフトウェアパッケージです。
|
Rodolfo Carobene, Alessandro Candi | software-stack | 2023 | 2310.05851 |
| 収集 |
QubiC 2.0：中間回路測定とフィードフォワード対応の拡張可能なオープンソース量子ビット制御システム
超伝導量子ビット向けオープンソースFPGA制御システムQubiCの次世代版を開発。1.0版の経験に基づき、中間回路測定とフィードフォワード機能を搭載した。
|
Yilun Xu, Gang Huang, Neelay Fruit | software-stack | 2023 | 2309.10333 |
| 収集 |
量子部分計算のためのデバイスレベル命令のワンタイムコンパイル
量子・古典系のインターフェースが必要な多くの問題では、制御が反復的に切り替わり、非効率的な通信が発生する。
|
Aniket S. Dalvi, Jacob Whitlow, Ma | software-stack | 2023 | 2308.10787 |
| 収集 |
QASMTrans：NISQデバイス向けのQASMベース量子トランスパイラフレームワーク
一般回路を実行可能ルーチンへマッピングする際のコストを削減し、ノイズ耐性量子計算の成功に寄与するトランスパイラフレームワークを提案する。
|
Fei Hua, Meng Wang, Gushu Li et al | compilationsoftware-stack | 2023 | 2308.07581 |
| 収集 |
量子プログラムのリファクタリングに関する研究
古典プログラムにはリファクタリング技法があるが、量子プログラミングには専用技法が存在しない。本稿は、量子特性を活かしたリファクタリング手法を提案する。
|
Jianjun Zhao | software-stack | 2023 | 2306.10517 |
| 収集 |
一次元量子プログラミング言語のための型ベースの量子ビット割り当て
量子コンピュータの接続性制約を満たすため、論理量子ビットに物理量子ビットを割り当てる型ベースのアプローチを提案する。
|
Ryo Wakizaka, Atsushi Igarashi | software-stack | 2023 | 2306.01856 |
| 収集 |
接続性を意識した等価回路平均化のための浅いユニタリ分解：量子FredkinおよびToffoliゲート
制御SWAPおよび制御NOTゲートの浅いユニタリ分解を提示し、ノイズ耐性のある等価回路平均化手法を提案する。
|
Pedro M. Q. Cruz, Bruno Murta | software-stack | 2023 | 2305.18128 |
| 収集 |
TornadoQSim：オープンソースの高パフォーマンスかつモジュール型量子回路シミュレーションフレームワーク
Javaで実装された、ユーザー定義バックエンドを拡張可能なオープンソースの量子回路シミュレーションフレームワークTornadoQSimを提案する。
|
Ales Kubicek, Athanasios Stratikop | software-stack | 2023 | 2305.14398 |
| 収集 |
PCOAST: Pauliベースの量子回路最適化フレームワーク
Paulo文字列の可換性を利用した量子回路最適化フレームワークPCOASTを提示する。CliffordゲートとPauli回転の可換性により、ユニタリ回路の最適化機会を明らかにする。
|
Jennifer Paykin, Albert T. Schmitz | software-stack | 2023 | 2305.10966 |
| 収集 |
DAGベースまたは位相多項式ベースの中間表現を用いた量子コンパイラ比較
NISQ時代における不要なゲートによるノイズ低減のため、位相多項式ベースのコンパイル戦略をDAGベースのQiskitやTKETと比較し、ベストプラクティスを考察する。
|
Arianne Meijer - van de Griend | software-stack | 2023 | 2304.08814 |
| 収集 |
量子プログラムの静的エンタングルメント解析
量子エンタングルメント解析は、静的コード解析手法として、どの量子ビットがエンタングルする可能性を持つかに着目し、エラー回避に寄与する。
|
Shangzhou Xia, Jianjun Zhao | software-stack | 2023 | 2304.05049 |
| 収集 |
商用量子コンピュータを用いたプログラム可能真乱数発生器
量子現象に基づく真乱数発生器において、商用量子コンピュータを高精度でユーザー定義可能な弱乱数源として実証した。
|
Aviraj Sinha, Elena R. Henderson, | software-stack | 2023 | 2304.03830 |
| 収集 |
ゼータ計算
λ計算を一般化する量子プログラミング言語を提案する。変数の重複は複製ではなく基底に依存した振幅同一のエンタングル状態を意味する。
|
Nicklas Botö, Fabian Forslund | software-stack | 2023 | 2303.17399 |
| 収集 |
コード安全性のための量子中間表現の形式化
Microsoft製LLVMベースの量子プログラムコンパイラ向け中間表現QIRの形式化を行う。フロントエンドやバックエンドに依存しない一般解を提供し、重複開発を回避する。
|
Junjie Luo, Jianjun Zhao | software-stack | 2023 | 2303.14500 |
| 収集 |
パルスレベルでの量子-古典処理およびベンチマーク
NISQ時代の実用化や誤り訂正の実現に向け、古典処理統合が可能な制御プラットフォームの必要性が高まっている。
|
Lior Ella, Lorenzo Leandro, Oded W | software-stack | 2023 | 2303.03816 |
| 収集 |
スペイン語圏を対象としたオンライン量子計算ワークショップとハッカソン：事例研究
ラテンアメリカ向けの量子ハッカソンへ繋ぐIntroductoryワークショップの実施課題と成果について記す。220名の登録者のうち66%が入門レベルだった。
|
Alberto Maldonado-Romo, Lia Yeh | software-stack | 2023 | 2302.12119 |
| 収集 |
量子効果：QuantumPiのレシピ
自由圏構成により、量子計算は補完性方程式で結合された2つの可逆古典モデルの組み合わせとして特徴付けられる。このレシピは、rig groupoidの内部言語Piを用いて普遍的な量子プログラミング言語を構築する。
|
Jacques Carette, Chris Heunen, Rob | software-stack | 2023 | 2302.01885 |
| 収集 |
量子計算と情報に関するノート
量子ゲート、回路、アルゴリズム、定理、誤り訂正の基礎を議論し、QISKITプログラムと演習を提供する。
|
Raghav G. Jha | software-stack | 2023 | 2301.09679 |
| 収集 |
量子近似最適化アルゴリズムの理論と実装：QiskitとIBM量子コンピュータを用いた分かりやすい入門と事例研究
著名なQAOAの理論と実装への分かりやすい入門を提供する。実用例に基づいた概念実証量子アプリケーションの段階的な実現手順を解説する。
|
Andreas Sturm | software-stack | 2023 | 2301.09535 |
| 収集 |
量子指紋法に基づくQFAの決定論的構築
古典有限オートマトムより効率的なQFAの決定論的構築手法を提案。特にMODp言語認識で指数関数的利点を持つ。
|
Aliya Khadieva, Mansur Ziatdinov | software-stack | 2022 | 2212.14442 |
| 収集 |
TSPに対する実装可能なGASベース量子アルゴリズム
IBM Qiskitで実行可能なTSP用GAS量子アルゴズムを提案する。組合せ最適化の応用を制限する二つの困難について記述する。
|
Jieao Zhu, Yihuai Gao, Hansen Wang | software-stack | 2022 | 2212.02735 |
| 収集 |
自動化量子ソフトウェア工学：なぜ？何？どう？
AQSE研究への動機、枠組みの定義、実装に必要な構成要素に関する個人的視点を提示する。
|
Aritra Sarkar | software-stack | 2022 | 2212.00619 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-12 05:20:01