論文の概要: Imperative Quantum Programming with Ownership and Borrowing in Guppy

• arxiv url: http://arxiv.org/abs/2510.13082v1
• Date: Wed, 15 Oct 2025 01:54:12 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-16 20:13:28.47016
• Title: Imperative Quantum Programming with Ownership and Borrowing in Guppy
• Title（参考訳）: Guppyのオーナシップとボローリングによる命令型量子プログラミング
• Authors: Mark Koch, Agustín Borgna, Craig Roy, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan,
• Abstract要約: 本研究の目的は、エルゴノミクス線形型付けと命令的意味論を組み合わせ、安全性を保証する量子型システムを開発することである。 ここで提示されたすべてのアイデアは、QuantinuumのGuppyプログラミング言語で実装されている。
• 参考スコア（独自算出の注目度）: 2.638512174804417
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. This work aims to develop a quantum type system that combines ergonomic linear typing with imperative semantics and maintains safety guarantees. All ideas presented here have been implemented in Quantinuum's Guppy programming language.
• Abstract（参考訳）: 線形型は、関数量子プログラミングにおいて非閉かつ非削除定理を強制する。 しかし、命令型量子プログラミングでは広く普及していない。 本研究の目的は、エルゴノミクス線形型付けと命令的意味論を組み合わせ、安全性を保証する量子型システムを開発することである。 ここで提示されたすべてのアイデアは、QuantinuumのGuppyプログラミング言語で実装されている。

関連論文リスト

• Obfuscation of Unitary Quantum Programs [0.651722296019499]
  プログラム難読化は、機能を維持しながらプログラムの内部動作を隠すことを目的としている。 本研究では,一元的量子プログラムのための最初の量子状態難解化スキームを構築することにより,既存の結果を改善する。 難読化方式の中核には、2つの新しい要素がある: キーホルダーは、シミュレーションベースのセキュリティで認証された量子状態の特定の機能を学ぶことができる機能的量子認証方式と、任意の量子回路を表すコンパイラである。
  論文  参考訳（メタデータ） (2025-07-16T07:07:52Z)
• Quantum circuits are just a phase [0.0]
  我々は「ただの位相」からユニタリを生成する新しい量子プログラム言語を導入する。 この最小限の言語は、量子ゲートから固有分解、共役、制御されたユニタリへの焦点を持ち上げる。
  論文  参考訳（メタデータ） (2025-07-15T19:31:53Z)
• Hybrid Quantum-Classical Machine Learning with String Diagrams [49.1574468325115]
  本稿では,文字列ダイアグラムの観点からハイブリッドアルゴリズムを記述するための公式なフレームワークを開発する。 弦図の特筆すべき特徴は、量子古典的インタフェースに対応する関手ボックスの使用である。
  論文  参考訳（メタデータ） (2024-07-04T06:37:16Z)
• Qwerty: A Basis-Oriented Quantum Programming Language [0.43981305860983716]
  Qwertyは、プログラマがブラケット表記なしでゲートやトレースプログラムよりも表現力のある量子ビットを操作できる新しい量子プログラミング言語である。 Qwertyは高レベルの量子古典計算のための強力なフレームワークである。
  論文  参考訳（メタデータ） (2024-04-19T03:13:43Z)
• Semidefinite programming relaxations for quantum correlations [42.72938925647165]
  量子相関論において、半定緩和のコアアイデアがどのように様々な研究トピックに適用できるかを論じる。 これらのトピックには、非局所性、量子通信、量子ネットワーク、絡み合い、量子暗号が含まれる。
  論文  参考訳（メタデータ） (2023-07-05T18:00:07Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。 完全に自動化された量子ソフトウェアスタックを開発する必要がある。 この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
  論文  参考訳（メタデータ） (2023-01-10T19:00:00Z)
• Efficient simulatability of continuous-variable circuits with large Wigner negativity [62.997667081978825]
  ウィグナー負性性は、いくつかの量子計算アーキテクチャにおいて計算上の優位性に必要な資源であることが知られている。 我々は、大きく、おそらくは有界で、ウィグナー負性を示し、しかし古典的に効率的にシミュレートできる回路の広大な族を同定する。 我々は,高次元離散可変量子回路のシミュラビリティとボソニック符号とのリンクを確立することにより,本結果の導出を行う。
  論文  参考訳（メタデータ） (2020-05-25T11:03:42Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。