Fugu-MT 論文翻訳(概要): Q# as a Quantum Algorithmic Language

論文の概要: Q# as a Quantum Algorithmic Language

arxiv url: http://arxiv.org/abs/2206.03532v2
Date: Wed, 15 Nov 2023 11:41:52 GMT
ステータス: 処理完了
システム内更新日: 2023-11-16 21:29:23.664256
Title: Q# as a Quantum Algorithmic Language
Title（参考訳）: 量子アルゴリズム言語としてのQ#
Authors: Kartik Singhal (University of Chicago), Kesha Hietala (University of Maryland), Sarah Marshall (Microsoft Quantum), Robert Rand (University of Chicago)
Abstract要約: 我々はQ#の形式的な言語定義を提供することを目標とし、言語をしっかりとした数学的基礎の上に置きます。 $lambda$-Q#は、Q#を量子アルゴル(algorithmic language)と見なす方法を示している。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Q# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal specification, which can naturally lead to ambiguity in its interpretation. We aim to provide a formal language definition for Q#, placing the language on a solid mathematical foundation and enabling further evolution of its design and type system. This paper presents $\lambda$-Q#, an idealized version of Q# that illustrates how we may view Q# as a quantum Algol (algorithmic language). We show the safety properties enforced by $\lambda$-Q#'s type system and present its equational semantics based on a fully complete algebraic theory by Staton.
Abstract（参考訳）: q#は、量子プログラムを記述および実行するためのmicrosoftのスタンドアロンのドメイン固有プログラミング言語である。ほとんどの工業言語と同様に、形式的な仕様なしで設計されており、自然にその解釈の曖昧さにつながる可能性がある。我々は、q#の正式な言語定義を提供し、言語を堅固な数学的基礎に置き、その設計と型システムのさらなる進化を可能にすることを目指している。本稿では、q#を量子algol(algorithmic language)として見る方法を説明するq#の理想化バージョンである$\lambda$-q#を提案する。我々は、$\lambda$-Q#の型システムによって強制される安全性特性を示し、Statonによる完全完備代数理論に基づく方程式意味論を示す。

関連論文リスト

A Framework for Quantum Finite-State Languages with Density Mapping [3.1133049660590615]
量子有限状態オートマトン(Quantum finite-state Automaticon, QFA)は、有限メモリを持つ量子系の進化をシミュレートする理論モデルである。本稿では,QFAを構築し,シミュレーション精度を最大化するための,シンプルで直感的な方法を提供するフレームワークを提案する。
論文参考訳（メタデータ） (2024-07-03T03:06:37Z)
Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文参考訳（メタデータ） (2022-10-12T17:54:02Z)
isQ: Towards a Practical Software Stack for Quantum Programming [3.9523710494727196]
isQは命令型プログラミング言語における量子プログラミングのための新しいソフトウェアスタックであり、isQとも呼ばれる。 isQ言語とそのコンパイラには、(ほとんど)他の量子プログラミングプラットフォームであまりサポートされていないものを含む、多くの機能が含まれている。 isQプログラムは、OpenQASM 3.0、QIR、QCISなど、様々な種類の中間表現にコンパイルできる。
論文参考訳（メタデータ） (2022-05-08T13:36:18Z)
Qunity: A Unified Language for Quantum and Classical Computing (Extended Version) [3.5348690973777006]
量子プログラミング言語Quinityを紹介します。 Qunityは量子コンピューティングを古典コンピューティングの自然な一般化として扱う。我々はQunityがいくつかの量子アルゴリズムをきれいに表現する方法を示す。
論文参考訳（メタデータ） (2022-04-26T15:34:22Z)
Learning Symbolic Rules for Reasoning in Quasi-Natural Language [74.96601852906328]
我々は,ルールを手作業で構築することなく,自然言語入力で推論できるルールベースシステムを構築した。本稿では,形式論理文と自然言語文の両方を表現可能な"Quasi-Natural"言語であるMetaQNLを提案する。提案手法は,複数の推論ベンチマークにおける最先端の精度を実現する。
論文参考訳（メタデータ） (2021-11-23T17:49:00Z)
Cross-Lingual GenQA: A Language-Agnostic Generative Question Answering Approach for Open-Domain Question Answering [76.99585451345702]
オープン検索生成質問回答(GenQA)は、高品質で自然な回答を英語で提供することが証明されている。我々は多言語環境に対するGenQAアプローチの最初の一般化について述べる。
論文参考訳（メタデータ） (2021-10-14T04:36:29Z)
LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文参考訳（メタデータ） (2021-10-04T12:20:23Z)
The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文参考訳（メタデータ） (2021-09-14T16:08:37Z)
Extending Python for Quantum-Classical Computing via Quantum Just-in-Time Compilation [78.8942067357231]
Pythonは、その柔軟性、ユーザビリティ、可読性、開発者の生産性を重視することで有名な人気のあるプログラミング言語です。量子ジャスト・イン・タイム・コンパイルのための堅牢なC++インフラストラクチャを通じて、異種量子古典計算を可能にするPythonの言語拡張を提案する。
論文参考訳（メタデータ） (2021-05-10T21:11:21Z)
Foundations for Near-Term Quantum Natural Language Processing [0.17205106391379021]
量子自然言語処理(QNLP)の概念と数学的基礎を提供する。自然言語の量子モデルがどのように言語的意味と豊かな言語構造を正準的に組み合わせているかを思い出す。実証的エビデンスと数学一般性に関する正式な記述を支援するための参照を提供します。
論文参考訳（メタデータ） (2020-12-07T14:49:33Z)
Quantum Büchi Automata [4.998632546280976]
QBAが認識する$omega$-Languagesのクラスを、ほぼ確実に、厳密で非制限しきい値セマンティクスで紹介する。 QBAによって認識される$omega$-Languageの少なくとも4つの実質的に異なるクラスしか存在しないことが示されている(数えきれないほど無限である)。従来の$omega$-LanguagesとQBAsの関係は,ポンプ補題を用いて明らかにした。
論文参考訳（メタデータ） (2018-04-24T12:23:49Z)

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