論文の概要: On Refactoring Quantum Programs
- arxiv url: http://arxiv.org/abs/2306.10517v1
- Date: Sun, 18 Jun 2023 10:15:37 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-21 20:16:25.967407
- Title: On Refactoring Quantum Programs
- Title（参考訳）: 量子プログラムのリファクタリングについて
- Authors: Jianjun Zhao
- Abstract要約: リファクタリングは、ソフトウェアの効率性と保守性を改善するための重要なテクニックです。
本稿では,量子プログラムに特化して設計された包括的手法を提示することによって,そのギャップを埋める。
我々の研究は量子プログラミング言語Q#に焦点を当てているが、我々のアプローチは他の量子プログラミング言語にも適用できる。
- 参考スコア（独自算出の注目度）: 1.7704011486040847
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Refactoring is a crucial technique for improving the efficiency and
maintainability of software by restructuring its internal design while
preserving its external behavior. While classical programs have benefited from
various refactoring methods, the field of quantum programming lacks dedicated
refactoring techniques. The distinct properties of quantum computing, such as
quantum superposition, entanglement, and the no-cloning principle, necessitate
specialized refactoring techniques. This paper bridges this gap by presenting a
comprehensive set of refactorings specifically designed for quantum programs.
Each refactoring is carefully designed and explained to ensure the effective
restructuring of quantum programs. Additionally, we highlight the importance of
tool support in automating the refactoring process for quantum programs.
Although our study focuses on the quantum programming language Q\#, our
approach is applicable to other quantum programming languages, offering a
general solution for enhancing the maintainability and efficiency of quantum
software.
- Abstract（参考訳）: リファクタリングは、ソフトウェアの内部設計を再構築し、外部の振る舞いを保ちながら、ソフトウェアの効率と保守性を改善する上で重要な技術である。
古典的なプログラムは様々なリファクタリング手法の恩恵を受けているが、量子プログラミングの分野には専用のリファクタリング技法がない。
量子重ね合わせ、絡み合い、非閉包原理といった量子コンピューティングの異なる性質は、特別なリファクタリング技術を必要とする。
本稿では,量子プログラム専用に設計された包括的リファクタリングのセットを提示することで,このギャップを解消する。
各リファクタリングは、量子プログラムの効果的な再構成を保証するために慎重に設計され、説明される。
さらに,量子プログラムのリファクタリングプロセスの自動化におけるツールサポートの重要性を強調する。
我々の研究は量子プログラミング言語Q\#に焦点を当てているが、我々のアプローチは他の量子プログラミング言語にも適用でき、量子ソフトウェアの保守性と効率を高めるための一般的なソリューションを提供する。
関連論文リスト
- QCRMut: Quantum Circuit Random Mutant generator tool [0.0]
量子コンピューティングは近年増加しており、量子ソフトウェア工学とテストに関する出版物が急増していることが証明されている。
この技術が実用化に近づくにつれ、ソフトウェアの有効性の確保が不可欠になる。
本稿では、量子回路構造を利用した量子プログラムに適した突然変異ツールQCRMutを紹介する。
論文 参考訳（メタデータ） (2024-10-02T10:54:00Z) - Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers [0.52197339162908]
ハイレベルプログラミングパラダイムと量子ハードウェアのギャップを埋めるために設計されたフレームワークであるQrispを紹介する。
Qrispの特長は、プログラムを回路レベルにコンパイルし、既存の物理バックエンドで実行可能にすることである。
論文 参考訳（メタデータ） (2024-06-20T23:40:22Z) - Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design [3.8425905067219492]
本稿では,量子回路のアンサーゼを分類したカタログを提案する。
各アンザッツは、意図、モチベーション、適用性、回路図、実装、例などの詳細とともに記述される。
量子アルゴリズム設計におけるそれらの応用を説明するための実例が提供されている。
論文 参考訳（メタデータ） (2024-05-08T12:44:37Z) - Refinement calculus of quantum programs with projective assertions [5.151896714190243]
本稿では,量子プログラムに適した微積分法を提案する。
まず、量子内における非決定論的プログラムの部分的正当性について検討する。
また,ポストコンディションを最も弱いリベラルなポストコンディションに変換する際のセマンティクスも提示する。
論文 参考訳（メタデータ） (2023-11-23T22:12:57Z) - Near-Term Distributed Quantum Computation using Mean-Field Corrections
and Auxiliary Qubits [77.04894470683776]
本稿では,限られた情報伝達と保守的絡み合い生成を含む短期分散量子コンピューティングを提案する。
我々はこれらの概念に基づいて、変分量子アルゴリズムの断片化事前学習のための近似回路切断手法を作成する。
論文 参考訳（メタデータ） (2023-09-11T18:00:00Z) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。
3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。
私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
論文 参考訳（メタデータ） (2022-11-14T18:50:27Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳（メタデータ） (2022-04-12T19:39:31Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳（メタデータ） (2021-12-27T21:15:35Z) - Variational Quantum Optimization with Multi-Basis Encodings [62.72309460291971]
マルチバスグラフ複雑性と非線形活性化関数の2つの革新の恩恵を受ける新しい変分量子アルゴリズムを導入する。
その結果,最適化性能が向上し,有効景観が2つ向上し,測定の進歩が減少した。
論文 参考訳（メタデータ） (2021-06-24T20:16:02Z) - Space-efficient binary optimization for variational computing [68.8204255655161]
本研究では,トラベリングセールスマン問題に必要なキュービット数を大幅に削減できることを示す。
また、量子ビット効率と回路深さ効率のモデルを円滑に補間する符号化方式を提案する。
論文 参考訳（メタデータ） (2020-09-15T18:17:27Z) - On the Principles of Differentiable Quantum Programming Languages [13.070557640180004]
変分量子回路(VQC)は、最も重要な短期量子応用の1つであると予測されている。
本稿では,量子回路における自己微分法の最初の形式化を提案する。
論文 参考訳（メタデータ） (2020-04-02T16:46:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。