論文の概要: Symbolic quantum programming for supporting applications of quantum
computing technologies
- arxiv url: http://arxiv.org/abs/2302.09401v1
- Date: Sat, 18 Feb 2023 18:30:00 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-21 18:45:34.242952
- Title: Symbolic quantum programming for supporting applications of quantum
computing technologies
- Title（参考訳）: 量子コンピューティング技術の応用を支援するシンボリック量子プログラミング
- Authors: Jaros{\l}aw Adam Miszczak
- Abstract要約: 本稿の主な焦点は、ツール開発による最も直接的なメリットを享受できる量子コンピューティング技術である。
量子ソフトウェア開発の分野で最も人気のあるアプローチについて、簡単な調査を行い、その長所と短所を示すことを目指しています。
次に、シンボリックアプローチを用いた量子プログラムの開発を支援するソフトウェアアーキテクチャとその予備実装について述べる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: The goal of this paper is to deliver the overview of the current state of the
art, to provide experience report on developing quantum software tools, and to
outline the perspective for developing quantum programming tools supporting
symbolic programming for the needs of quantum computing technologies. The main
focus of this paper is on quantum computing technologies, as they can in the
most direct way benefit from developing tools enabling the symbolic
manipulation of quantum circuits and providing software tools for creating,
optimizing, and testing quantum programs. We deliver a short survey of the most
popular approaches in the field of quantum software development and we aim at
pointing their strengths and weaknesses. This helps to formulate a list of
desirable characteristics which should be included in quantum computing
frameworks. Next, we describe a software architecture and its preliminary
implementation supporting the development of quantum programs using symbolic
approach, encouraging the functional programming paradigm, and, at the same,
time enabling the integration with high-performance and cloud computing. The
described software consists of several packages developed to address different
needs, but nevertheless sharing common design concepts. We also outline how the
presented approach could be used in tasks in quantum software engineering,
namely quantum software testing and quantum circuit construction.
- Abstract（参考訳）: 本論文の目的は,現在の技術の概要を述べること,量子ソフトウェアツール開発に関する経験レポートを提供すること,量子コンピューティング技術のニーズにシンボリックプログラミングをサポートする量子プログラミングツールを開発するための展望を概説することである。
量子回路のシンボリックな操作を可能にするツールの開発と、量子プログラムの作成、最適化、テストのためのソフトウェアツールの提供により、最も直接的なメリットを享受できるため、本論文の主な焦点は量子コンピューティング技術である。
量子ソフトウェア開発の分野でもっとも人気のあるアプローチについて短い調査を行い、その強みと弱みを指摘することを目指している。
これは量子コンピューティングフレームワークに含まれるべき望ましい特性のリストを定式化するのに役立つ。
次に,シンボリックアプローチによる量子プログラム開発を支援するソフトウェアアーキテクチャとその予備実装について述べるとともに,関数型プログラミングパラダイムを奨励するとともに,ハイパフォーマンスとクラウドコンピューティングとの統合を実現する。
記述されたソフトウェアは、異なるニーズに対応するために開発されたいくつかのパッケージから構成されるが、しかしながら共通の設計概念を共有する。
また、量子ソフトウェア工学におけるタスク、すなわち量子ソフトウェアテストと量子回路構築において、このアプローチがどのように使われるのかを概説する。
関連論文リスト
- Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model [5.9478154558776435]
本稿では,Quantum Software Develop-mentライフサイクルのビジョンを紹介する。
量子コンピューティングと古典コンピューティングを統合するハイブリッドフルスタック反復モデルを提案する。
論文 参考訳（メタデータ） (2024-03-18T11:18:33Z) - Quantum Software Engineering Challenges from Developers' Perspective:
Mapping Research Challenges to the Proposed Workflow Model [5.287156503763459]
量子プログラムのソフトウェア工学は2つの方向からアプローチすることができる。
本稿では、量子コンピューティングのワークフローから始め、既存のソフトウェア工学の研究をこのワークフローにマッピングすることでギャップを埋めることを目的とする。
論文 参考訳（メタデータ） (2023-08-02T13:32:31Z) - Quantum Software Analytics: Opportunities and Challenges [25.276328005616204]
量子コンピューティングシステムは、量子力学の原理に依拠し、従来のものよりもより効率的に挑戦的なタスクを実行する。
古典的なソフトウェア工学において、ソフトウェアライフサイクルは、ソフトウェアアプリケーションの設計、実装、保守プロセスの文書化と構造化に使用される。
開発ライフサイクルにおける一連のソフトウェア分析トピックとテクニックを要約し、量子ソフトウェアアプリケーション開発に活用し、統合することができる。
論文 参考訳（メタデータ） (2023-07-21T02:24:31Z) - Quantum Machine Learning: from physics to software engineering [58.720142291102135]
古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。
量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
論文 参考訳（メタデータ） (2023-01-04T23:37:45Z) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。
3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。
私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
論文 参考訳（メタデータ） (2022-11-14T18:50:27Z) - DQC$^2$O: Distributed Quantum Computing for Collaborative Optimization
in Future Networks [54.03701670739067]
本稿では、将来のネットワークにおける最適化タスクを解決するために、量子コンピュータと量子チャネルを管理するための適応型分散量子コンピューティング手法を提案する。
提案手法に基づいて,スマートグリッド管理やIoT連携,UAV軌道計画など,今後のネットワークにおける協調最適化の潜在的な応用について論じる。
論文 参考訳（メタデータ） (2022-09-16T02:44:52Z) - Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
本稿では,分散量子コンピューティング(DQC)のためのリソース割り当て方式を提案する。
本評価は,提案手法の有効性と,量子コンピュータとオンデマンド量子コンピュータの両立性を示すものである。
論文 参考訳（メタデータ） (2022-09-16T02:37:32Z) - QFaaS: A Serverless Function-as-a-Service Framework for Quantum
Computing [22.068803245816266]
本稿では,量子コンピューティングを進化させるためのQuantum Function-as-a-Serviceフレームワークを提案する。
私たちのフレームワークは、ソフトウェア開発を簡素化し、量子クラウドコンピューティングパラダイムに適応するために、量子サーバーレスプラットフォームの不可欠なコンポーネントを提供します。
本稿では,アーキテクチャ設計,主成分,ハイブリッド量子古典関数のライフサイクル,運用ワークフロー,QFの実装について述べる。
論文 参考訳（メタデータ） (2022-05-30T04:18:53Z) - Formal Verification of Quantum Programs: Theory, Tools and Challenges [0.0]
サーベイは、量子プログラムの形式的検証分野への短い導入を目標としている。
この調査は、この分野が将来直面するであろういくつかの課題、すなわち複雑な量子アルゴリズムの開発について調査する。
論文 参考訳（メタデータ） (2021-10-04T11:00:48Z) - On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。
私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文 参考訳（メタデータ） (2021-06-29T14:01:40Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。
そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
論文 参考訳（メタデータ） (2020-09-02T22:46:47Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。