量子研究ナレッジベース
論文の再現と企業ユースケースを、出典まで辿れる形で。
量子コンピュータの論文と企業の取り組み事例を集め、日本語で探せるようにしたデータベースです。 新しい論文は毎日追加しています。主要な論文は blueqat が実際に計算して再現し、 論文の主張と数値が合うかどうかまで確かめています。
ナレッジベースでできること
論文を日本語で探す
量子計算に関わる arXiv の論文 6,206本を、題名を日本語にして収録しています。 題名（日本語・英語）や著者で検索でき、分野で絞り込めます。 直近7日に出た論文も 87本 入っています。
分野ごと・年ごとのまとめ
誤り訂正・量子機械学習・変分アルゴリズムなど 13分野について、 年ごとの論文数の推移、読んでおくべき論文、近い分野をまとめたページがあります。
主要論文の再現検証
重要な論文 68本を精読し、うち 61本は blueqat で実際に計算して再現しました。 どの主張を確かめ、結果が合ったか、どれだけの計算資源を使ったかを1本ずつ載せています。
企業ユースケース
企業や研究機関の量子計算の取り組み 1,532件。 出典つきの公開された事実と、使われていそうなアルゴリズムの推定（確度つき）を、 混ぜずに分けて載せています。
こんな使い方ができます
- 研究者・学生 … 先行研究を日本語の題名でざっと見渡す。分野ページで、その分野の流れと押さえるべき論文を掴む
- エンジニア … 論文の手法が手元で再現できるのか、どれだけの計算が要るのかを、再現結果で確かめてから手を付ける
- 事業企画・調査 … 同業他社がどんな問題に量子計算を当てているか、どの程度まで進んでいるかを事例で比べる
| 無料 | スタンダード | エンタープライズ | |
|---|---|---|---|
| 論文・事例の検索と一覧（日本語の題名） | ○ | ○ | ○ |
| 分野・年のまとめページ、新着論文 | ○ | ○ | ○ |
| 論文の再現結果（主張・判定・計算資源） | — | ○ | ○ |
| 企業ユースケースの公開事実とアルゴリズムの推定 | — | ○ | ○ |
| 読解ノートと再現の生成物（回路・数式・計算時間） | — | — | ○ |
論文の分野
ユースケースの種別
- 応用事例 78451.5%
- 耐量子暗号 24616.2%
- ハードウェア 16610.9%
- センシング 825.4%
- 研究の成果発表 664.3%
- 企業の動き 603.9%
- 企業間の提携 593.9%
- その他 442.9%
- ソフトウェア 151.0%
検索はどなたでもご利用いただけます。 論文1本ごとの再現結果（検証した主張・判定・使った計算資源）、 企業ユースケースの出典つき公開事実とアルゴリズムの推定は、 プラン加入者向けです。
363件／351〜363件目を表示
| 状態 | 題名 | 著者 | 分野 | 年 | arXiv |
|---|---|---|---|---|---|
| 収集 |
Q|SI⟩: 量子プログラミング環境
.Netに組み込まれた量子プログラミング環境Q|SI⟩を提示する。量子while言語のコンパイラとシミュレーションツールを提供する。
|
Shusen Liu, Xin Wang, Li Zhou et a | software-stack | 2017 | 1710.09500 |
| 収集 |
Open Quantum Assembly Language
OpenQASMは低深さ量子回路の実装に用いられる量子アセンブリ言語です。CNOTとSU(2)基底に基づくユニバーサルな物理回路を、測定、リセット、高速フィードバック、およびゲートサブルーチンを含む直列コードで記述します。
|
Andrew W. Cross, Lev S. Bishop, Jo | software-stack | 2017 | 1707.03429 |
| 収集 |
Qumin：最小限の量子プログラミング言語
古典・量子計算の相互作用を2つのサブ言語で扱う、易用性・拡張性に優れた最小限の高水準量子プログラミング言語Quminを提案する。
|
Alexander Singh, Konstantinos Gian | software-stack | 2017 | 1704.04460 |
| 収集 |
ProjectQ: 量子計算のためのオープンソースソフトウェアフレームワーク
ProjectQは、ハードウェア対象コンパイラ、高性能シミュレータ、リソース推定プラグインを備えた量子計算用オープンソースフレームワークである。
|
Damian S. Steiger, Thomas Häner, M | software-stack | 2016 | 1612.08091 |
| 収集 |
プログラム可能なマルチノード量子ネットワークの設計とシミュレーション
OpenFlowを用いたソフト定義ネットワークにより、集中制御下で新しいネットワーク機能をプログラム可能にする。
|
Venkat R. Dasari, Ronald J. Sadlie | software-stack | 2016 | 1604.01276 |
| 収集 |
量子交代：展望と問題点
測定を行わずに有限の量子操作の重ね合わせを許す量子制御概念を提案する。古典言語のIF文に類似した条件構築により、QPに量子IF文を追加する。
|
Costin Bădescu, Prakash Panangaden | software-stack | 2015 | 1511.01567 |
| 収集 |
量子計算における代数的・論理的技法
ユニタリ演算子の効率的な近似手法を提案し、Clifford+V/T演算子の積で精度ε内に近似する方法を示した。
|
Neil J. Ross | software-stack | 2015 | 1510.02198 |
| 収集 |
2次元目標の電磁散乱断面積計算に用いられる量子線形系アルゴリズムの具体的なリソース解析
量子線形系アルゴリズムの論理リソース要求量を詳細に推定した。標準量子回路モデルに基づく解析で、回路の複雑さや深さなどを評価している。
|
Artur Scherer, Benoît Valiron, Siu | software-stack | 2015 | 1505.06552 |
| 収集 |
演算子代数による量子プログラミング言語の意味論
ハルベルト空間に代わる量子力学の定式化である演算子代数を用い、量子プログラミング言語の新たな意味論を提示する。
|
Kenta Cho | software-stack | 2014 | 1412.8545 |
| 収集 |
第11回量子物理学と論理ワークショップ議事録
2014年6月4日から6日にかけて京都大学で開催された第11回国際ワークショップ「量子物理学と論理」の議事録。
|
Bob Coecke, Ichiro Hasuo, Prakash | software-stack | 2014 | 1412.8102 |
| 収集 |
Quipperを用いた5つの量子アルゴリズム
Quipperのプログラミング枠組を実装し、Deutsch、Deutsch-Jozsa、Simon、Grover、Shorの各アルゴリズムを解説する。新進量子プログラマの指導に役立つ。
|
Safat Siddiqui, Mohammed Jahirul I | software-stack | 2014 | 1406.4481 |
| 収集 |
ソフトウェア定義量子通信システム
最先端の光工学を用いる量子通信システムの設計とプロトタイピングに向け、ソフトウェア定義通信のパラダイムを適用する。
|
Travis S. Humble, Ronald J. Sadlie | software-stack | 2014 | 1403.3270 |
| 収集 |
量子プログラミングにおける交互作用：データの重ね合わせからプログラムの重ね合わせへ
量子ウォークに基づくアルゴリズムの設計思想から、プログラムの重ね合わせという新パラダイムを抽出し、その汎用性を示す言語QGCLを提案した。
|
Mingsheng Ying, Nengkun Yu, Yuan F | software-stack | 2014 | 1402.5172 |
このデータは blueqat の量子ソフトウェア研究から作られています。 最終取り込み 2026-10-12 05:20:01