量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は 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件／301〜350件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 収集 |
Qiskitを用いた量子計算：学部生向けのアプローチ
量子力学の基礎知識を持つ学部生への量子計算教育のためにQiskitを活用し、一般的なPCでのプログラム構築と実量子プロセッサでの実行について紹介する。
|
Gleydson Fernandes de Jesus, Maria | software-stack | 2021 | 2101.11388 |
| 収集 |
量子アセンブリ言語用のMLIRディialect
量子計算向けの新規MLIRディialectを実装し、量子アセンブリ言語の表現とコンパイルを可能にした。本ディialectはLLVM IRへの低レベル変換に対応する。
|
Alexander McCaskey, Thien Nguyen | software-stack | 2021 | 2101.11365 |
| 収集 |
量子プログラムへのデータフロー最適化の実現
量子および古典データの依存性を明示する最適化用量子中間表現(QIRO)を提案。量子と古典の協調最適化を可能にする2つのdialectから構成される。
|
David Ittah, Thomas Häner, Vadym K | software-stack | 2021 | 2101.11030 |
| 収集 |
連続変数量子コンピュータによる微分方程式の求解
qumodesを用いた連続変数量子コンピュータで常微分方程式を解く手法を提案する。変分量子回路により1次元ODEの解を近似する。
|
Martin Knudsen, Christian B. Mendl | software-stack | 2020 | 2012.12220 |
| 収集 |
緩和されたペーホール最適化：量子回路のための新しいコンパイラ最適化手法
本稿では、静的に決定可能な1量子ビット状態情報を利用する新しい量子コンパイラ最適化手法、緩和されたペーホール最適化（RPO）を提案する。
|
Ji Liu, Luciano Bello, Huiyang Zho | software-stack | 2020 | 2012.07711 |
| 収集 |
NISQアーキテクチャにおけるClifford+T回路のCNOTカウント削減
ハードウェア制約による物理qubitの接続性を考慮し、SWAPゲートを用いて論理qubitを適切な位置に配置することで、CNOTゲート数を削減する手法を提案する。
|
Vlad Gheorghiu, Jiaxin Huang, Sara | software-stack | 2020 | 2011.12191 |
| 収集 |
量子コンピュータでベテ Ansatz?
ベテ状態を変分状態、ベテ根を変分パラメータとするVQEを用い、異方性ヘイスンベルクスピン鎖の求解可能性を検証する。
|
Rafael I. Nepomechie | software-stack | 2020 | 2010.01609 |
| 収集 |
IBM Qiskit量子回路コンパイルフローの成果検証
物理デバイスで概念アルゴリズムを実現するには、ハードウェア制約を満たすよう回路記述を変換する必要がある。本論文は、このコンパイルフローの正当性を検証する手法について述べる。
|
Lukas Burgholzer, Rudy Raymond, Ro | compilationsoftware-stack | 2020 | 2009.02376 |
| 収集 |
Quingo: NISQ機能を持つ異種量子古典計算のためのプログラミングフレームワーク
NISQシステムの制御複雑さが増す中、量子ハードウェアとソフトウェアの統合が必要不可欠である。
|
The Quingo Development Team | software-stack | 2020 | 2009.01686 |
| 収集 |
量子アルゴリズムの基礎：Qiskitを用いたチュートリアルシリーズ（継続）
高水準量子言語の普及により量子計算はハードウェアから切り離された。これに伴い、世界各地で物理・数学などを含んだ量子アルゴリズムの講義が立ち上がりつつある。
|
Daniel Koch, Saahil Patel, Laura W | software-stack | 2020 | 2008.10647 |
| 収集 |
QUANTIFY: 量子回路の資源解析と設計検証のフレームワーク
QUANTIFYは、Cirqに基づくオープンソースの量子回路定量解析フレームワークです。Clifford+T回路を対象とし、回路設計と誤り訂正済み計算の可行性評価を支援します。
|
Oumarou Oumarou, Alexandru Paler, | software-stack | 2020 | 2007.10893 |
| 収集 |
Quip-E プログラムのための量子マルコフ連鎖意味論
QuipperのサブセットQuip-Eを量子マルコフ連鎖に基づく構文的意味論へマッピングし、自動検証を可能にする。
|
Linda Anticoli, Leonardo Taglialeg | software-stack | 2020 | 2006.02847 |
| 収集 |
XACCを拡張して量子最適制御を実現する
ベンダーが脉冲レベルの制御APIを公開し、任意の波形で量子カーネルを記述可能となった。本稿はスマート量子コンパイルのためのXACC拡張について述べる。
|
Thien Nguyen, Anthony Santana, Ale | software-stack | 2020 | 2006.02837 |
| 収集 |
古典オートマトンの重ね合わせを用いた普遍分布のための量子回路設計
並列普遍線形有界オートマトンの量子回路を提案。データ内の因果生成モデル発見を加速する。
|
Aritra Sarkar, Zaid Al-Ars, Koen B | software-stack | 2020 | 2006.00987 |
| 収集 |
プログラミング言語における古典・量子データ相互作用：ランタイムアーキテクチャ
クラウドのバッチ量子コンピュータ制約下で古典と量子データ間の動的相互作用を可能にする量子プログラミング言語用のランタイムアーキテクチャを提案する。
|
Evandro Chagas Ribeiro da Rosa, Ra | software-stack | 2020 | 2006.00131 |
| 収集 |
OpenQL：量子アクセラレータのためのポータブル量子プログラミングフレームワーク
量子演算をハードウェア詳細を隠蔽した高レベル言語で記述し、量子プロセッサ上で実行可能にするためのフレームワーク。
|
N. Khammassi, I. Ashraf, J. v. Som | software-stack | 2020 | 2005.13283 |
| 収集 |
QASMBench: NISQ評価およびシミュレーション用の低レベルQASMベンチマークスイート
NISQ時代の量子計算発展に伴い、デバイス特性やコンパイラ効率、シミュレータ能力を評価するための低レベルベンチマークスイートが求められる。本論文ではその提案を行う。
|
Ang Li, Samuel Stein, Sriram Krish | software-stack | 2020 | 2005.13018 |
| 収集 |
IBM QXハードウェア上の量子ベイズネットワークの実験的評価
量子ベイズネットワーク（QBN）の計算性能向上を実験的に評価し、IBM QXハードウェア上での振る舞いを検証する。
|
Sima E. Borujeni, Nam H. Nguyen, S | software-stack | 2020 | 2005.12474 |
| 収集 |
量子プログラミング言語のための線形依存型理論
量子資源のクローニング不可能性を反映し、高レベル言語が量子回路を第一級市民として支える線形依存型理論を提案する。
|
Peng Fu, Kohei Kishida, Peter Seli | software-stack | 2020 | 2004.13472 |
| 収集 |
Qiskit Pulse: パルスによりクラウドで量子コンピュータをプログラムする
量子回路モデルの抽象化を超え、実際の量子ハードウェアを精密制御するためのパルスレベルプログラミング体系Qiskit Pulseを提案する。
|
Thomas Alexander, Naoki Kanazawa, | software-stack | 2020 | 2004.06755 |
| 収集 |
QSystem: 量子回路シミュレーションのためのビット演算表現
QSystemは、ハッシュマップを用いた量子状態とゲートのビット演算に焦点を当てたオープンソースの量子回路シミュレーションプラットフォームです。
|
Evandro Chagas Ribeiro da Rosa, Br | software-stack | 2020 | 2004.03560 |
| 収集 |
微分可能量子プログラミング言語の原理について
NISQマシン向け変分量子回路(VQC)の最適化には勾配計算が不可欠であり、本稿は微分可能量子プログラミング言語の原理を検討する。
|
Shaopeng Zhu, Shih-Han Hung, Shouv | software-stack | 2020 | 2004.01122 |
| 収集 |
量子プログラム用のオープンソース・インダストリアルグレードな最適化コンパイラ
QuilcはQuilやQASMで記述されたゲートベース量子プログラムの最適化コンパイラであり、NISQ時代の量子コンピュータのゲートコストを考慮して設計されている。
|
Robert S. Smith, Eric C. Peterson, | software-stack | 2020 | 2003.13961 |
| 収集 |
XACCにおけるパルスレベルのプログラミング、コンパイル、実行の有効化
クラウドで利用可能なノイズありゲージモデルQPUに対し、XACCはディジタル回路をパルス指令へ変換実行する環境を提供する。
|
Thien Nguyen, Alexander McCaskey | software-stack | 2020 | 2003.11971 |
| 収集 |
QuNetSim: 量子ネットワークのためのソフトウェアフレームワーク
QuNetSimは、量子インターネットのシミュレーションと教育を提供するPythonフレームワークです。量子ネットワークの調査とテストを容易にします。
|
Stephen DiAdamo, Janis Nötzel, Ben | software-stack | 2020 | 2003.06397 |
| 収集 |
TensorFlow Quantum：量子機械学習のためのソフトウェアフレームワーク
古典・量子データ向けハイブリッドモデルの迅速なプロトタイピングを可能とするオープンソースライブラリであり、TensorFlow上で量子モデルの設計・訓練と高性能シミュレーションをサポート。
|
Michael Broughton, Guillaume Verdo | software-stack | 2020 | 2003.02989 |
| 収集 |
楕円曲線離散対数問題のための改良量子回路
Shorアルゴリズムの主要コスト要素である楕円曲線スカラー乗算の量子回路を最適化する。ウィンドウ法と未計算化ステップの配置改善により低レベル演算を効率化する。
|
Thomas Häner, Samuel Jaques, Micha | software-stack | 2020 | 2001.09580 |
| 収集 |
量子回路のための検証済み最適化アルゴリズム
Coq証明支援機を用いて記述された、最初の完全検証済み量子回路最適化アルゴリズムVOQCを示す。SQIRという低レベル言語で回路を表現し、変換をCoq関数として記述する。
|
Kesha Hietala, Robert Rand, Shih-H | software-stack | 2019 | 1912.02250 |
| 収集 |
XACC: 異種量子・古典計算のためのシステムレベルソフトウェアインフラストラクチャ
量子計算の進化に伴い、既存の高レベル言語枠組みに加え、統合された低レベルシステムソフトウェアインフラストラクチャが必要となっている。本稿では、そのような環境を実現するXACCについて述べる。
|
Alexander J. McCaskey, Dmitry I. L | software-stack | 2019 | 1911.02452 |
| 収集 |
帰納的データ型を用いた量子プログラミング：因果性と線型型理論
自然数やリストなどの帰納的データ型を量子プログラミング言語QPLに導入し、その健全な圏モデルを構築する。
|
Romain Péchoux, Simon Perdrix, Mat | software-stack | 2019 | 1910.09633 |
| 収集 |
量子鎖の契約化シミュレーションにおけるクラウド支援
古典コンピュータでの効率的なシミュレーションを可能にする非ユニバーサルゲートセットを用い、多数の量子ビットからなる量子回路の性質を検証する。
|
Alexander Yu. Vlasov | software-stack | 2019 | 1910.01468 |
| 収集 |
回路特性評価による量子制御プロセッサの能力と限界の解明
量子コンピュータのスケーリングには、スケーラブルでリアルタイム応答可能な制御ハードウェアパイプラインの構築が不可欠である。本研究は、制御プロセッサの命令セットアーキテクチャ（ISA）を通じた機能抽象化に注目し、回路特性評価を用いてその能力と限界を解明する。
|
Anastasiia Butko, George Michelogi | software-stack | 2019 | 1909.11719 |
| 収集 |
CertiQ: 現実的な量子コンパイラの実証的検証
CertiQはQiskitのコンパイラパスを検証するフレームワークで、アノテーション付きパスの大半自動化された実証を可能にする初の試みである。
|
Yunong Shi, Runzhou Tao, Xupeng Li | software-stack | 2019 | 1908.08963 |
| 収集 |
ノイズのある量子回路のためのソフトウェアシミュレータ
IBMのオープンソースQiskitプラットフォームの新バックエンドとして、密度行列を用いたノイズ量子回路シミュレータを開発した。
|
Himanshu Chaudhary, Biplab Mahato, | software-stack | 2019 | 1908.05154 |
| 収集 |
低レベル量子メタプログラミングのためのサイズ付き型
メタプログラミングにより、インスタンスサイズでパラメータ化された回路族を同時に記述可能にする。
|
Matthew Amy | software-stack | 2019 | 1908.02644 |
| 収集 |
量子プログラムのパターン検証とバグ発見のための統計的アサーション
量子状態の観測が制限されるため古典的デバッグより困難な量子プログラムの検証とバグ発見手法を提案する。
|
Yipeng Huang, Margaret Martonosi | software-stack | 2019 | 1905.09721 |
| 収集 |
デコヒーレンスに対する量子プログラムの最適化：量子重ね合わせへのキュービットの遅延
NISQ時代ではノイズが精度を損なう。本研究は、ユーザーが容易に量子プログラムを記述できるよう、デコヒーレンスに対抗する最適化手法を提案する。
|
Yu Zhang, Haowei Deng, Quanxi Li e | software-stack | 2019 | 1904.09041 |
| 収集 |
量子中間表現における検証済み最適化
量子ビットのグローバルレジスタを用い、既存アセンブリとの相互変換や検証を容易にする低レベル言語sqireを提案する。
|
Kesha Hietala, Robert Rand, Shih-H | software-stack | 2019 | 1904.06319 |
| 収集 |
UniversalQCompilerの導入
Mathematica製のオープンソースUniversalQCompilerを紹介する。任意の量子操作を単一量子ビット回転とC-NOTゲートに分解できる。
|
Raban Iten, Oliver Reardon-Smith, | software-stack | 2019 | 1904.01072 |
| 収集 |
量子アルゴリズム入門：Qiskitを使用したチュートリアルシリーズ
量子計算への関心が高まる中、追加情報の学習が障壁となるため、Qiskitを用いた学習用チュートリアルシリーズを提示する。
|
Daniel Koch, Laura Wessing, Paul M | software-stack | 2019 | 1903.04359 |
| 収集 |
ノイズあり中間規模量子システム向けの形式的制約ベースコンパイル
NISQシステムは数百量子ビット、限られた接続性、短時間の整合性時間という制約がある。本論文は、これらの制限に対応する形式的制約ベースのコンパイル手法を提案する。
|
Prakash Murali, Ali Javadi-Abhari, | software-stack | 2019 | 1903.03276 |
| 収集 |
現実的な量子コンピュータ向け集約命令の最適コンパイル
既存の量子コンパイラは1-2量子ビットゲートを使用するが、本研究は電気信号への変換を最適化し、実用化を促進する。
|
Yunong Shi, Nelson Leung, Pranav G | software-stack | 2019 | 1902.01474 |
| 収集 |
量子計算におけるオープンソースソフトウェア
量子アルゴリズムの設計・テストにおいてOSSが重要視されており、商用ベンダーが参画し開発を支援している。
|
Mark Fingerhuth, Tomáš Babej, Pete | software-stack | 2018 | 1812.09167 |
| 収集 |
リソースベース型理論の数学的手法
量子プログラミング言語の検証では古典的デバッグが量子状態に影響する課題がある。本研究は、formalismを用いたプログラム検証手法への進展を示す。
|
Aarthi Sundaram, Brad Lackey | software-stack | 2018 | 1812.08726 |
| 収集 |
離散量子力学とIBM QISKitを用いたハミルトニアンの量子計算と可視化
量子コンピュータの実装努力が進む中、問題を量子マシンに適合させる課題は重要である。本論文は離散量子力学とIBM QISKitを用いてハミルトニアンを量子計算し可視化する手法を提案する。
|
Raffaele Miceli, Michael McGuigan | software-stack | 2018 | 1812.01044 |
| 収集 |
データセットに対する一定時間量子探索アルゴリズム：IBM Q Experienceを用いた実験的研究
一定時間量子探索アルゴリズムを提案し、IBM量子コンピューターで実行した。QISKitを用いて実装し、量子干渉やπ位相を検討した。
|
Kunal Das, Arindam Sadhu | software-stack | 2018 | 1810.03390 |
| 収集 |
OpenQASMおよびOpenPulse実験用のQiskitバックエンド仕様
量子計算の標準化されたAPIと、ゲート以外の詳細なユーザー指定を可能にする言語仕様の必要性を提起し、実験設計・実行のための共通基盤を提案する。
|
David C. McKay, Thomas Alexander, | software-stack | 2018 | 1809.03452 |
| 収集 |
量子プログラムにおける近似誤差の管理
許容ゲートセットでは実現できない演算の近似により生じる誤差を、耐故障型アーキテクチャ向けコンパイル時の量子プログラム全体に分散させる手法を提示する。
|
Thomas Häner, Martin Roetteler, Kr | software-stack | 2018 | 1807.02336 |
| 収集 |
QISKitと比較した効率的な量子回路最適化スキーム
量子チップの進歩により量子ビット数と忠実度は向上したが、結合制約が課題となる。本稿では一般的な回路最適化手法を提示する。
|
Xin Zhang, Hong Xiang, Tao Xiang e | software-stack | 2018 | 1807.01703 |
| 収集 |
設計自動化を用いた量子コンピュータのプログラミング
50個以上の物理qubitを備える量子システムが実現可能となり、古典シミュレーションは不可能になる。qubit数の増加により、特定タスクで古典スーパーコンピュータを超える可能性がある。
|
Mathias Soeken, Thomas Häner, Mart | software-stack | 2018 | 1803.01022 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-12 05:20:01