文献

J-GLOBAL ID：202102289978148498   整理番号：21A0577371

量子Turing機械:計算と測定【JST・京大機械翻訳】

Quantum Turing Machines: Computations and Measurements

著者 (4件)： Guerrini Stefano (LIPN, UMR 7030 CNRS, Institut Galilee, Universite Sorbonne Paris Nord, 93430 Villetaneuse, France) ,  Martini Simone (Dipartimento di Informatica-Scienza e Ingegneria, Universita di Bologna, 40126 Bologna, Italy) ,  Martini Simone (Inria Sophia-Antipolis, 06902 Valbonne, France) ,  Masini Andrea (Dipartimento di Informatica, Universita di Verona, 37134 Verona, Italy)
資料名： Applied Sciences (Web)  (Applied Sciences (Web))
巻： 10  号： 16  ページ： 5551  発行年： 2020年 
JST資料番号： U7135A  ISSN： 2076-3417  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： スイス (CHE)  言語： 英語 (EN)

抄録/ポイント： 古典的事例とは対照的に,量子プログラミング言語と量子Turingマシン(QTM)の間の関係は完全には研究されていない。特に,どんな量子計算の固有無限性質である注目すべき例も利用されていないQTMの特徴がある。本論文では,DeutschとBernstein&Vazraniの概念を拡張し,統一するQTMの定義を提案した。特に,任意の量子入力と計算の有意義な重合せの両方を可能にし,その幾つかは出力で終端され,他はそうではない。いくつかの無限計算に対して,計算の有限部分の限界として出力を得た。機械の可能性のある結果の確率を改変しないQTMsに対する自然でロバストな観測プロトコルを提案した。最後に,QTMを用いて,量子計算可能関数のクラスを定義し,そのような関数は,一般的量子状態から自然数の確率分布へのマッピングである。古典的入力-出力に制約されたときの関数のクラスは,再帰的関数のセットとは違わないと期待する。Copyright 2021 The Author(s) All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： プログラミング言語 ,  確率分布 ,  *Turing機械 ,  帰納的関数 ,  重合せ ,  ロバスト性 ,  量子計算
準シソーラス用語： 量子状態 ,  自然数 , 【Automatic Indexing@JST】

著者キーワード (4件)： 量子Turing機械 ,  計算可能性理論 ,  計算機科学 ,  プログラミング言語の理論

分類 (2件)： 波動方程式の解法,散乱理論  (BA06020N) ,  量子力学一般  (BA06010C)

引用文献 (33件)：

• Backus, J.W. The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference. In Proceedings of the 1st International Conference on Information Processing, UNESCO, Paris, France, 15-20 June 1959; pp. 125-132.
• McCarthy, J. A Basis for a Mathematical Theory of Computation. In Computer Programming and Formal Systems; Studies in Logic and the Foundations of Mathematics Series, Braffort, P., Hirschberg, D., Eds.; North-Holland Publishing Company, Elsevier B.V.: Amsterdam, The Netherlands, 1963; Volume 35, pp. 33-70.
• Dal Lago, U.; Masini, A.; Zorzi, M. Confluence Results for a Quantum Lambda Calculus with Measurements. Electron. Notes Theor. Comput. Sci. 2011, 270, 251-261.
• Dal Lago, U.; Zorzi, M. Wave-Style Token Machines and Quantum Lambda Calculi. In Proceedings of the Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13 July 2014; Alves, S., Cervesato, I., Eds.; Open Publishing Association: Waterloo, Australia, 2014; Volume 176, pp. 64-78.
• Zorzi, M. On quantum lambda calculi: A foundational perspective. Math. Struct. Comput. Sci. 2016, 26, 1107-1195.

タイトルに関連する用語 (3件)： 量子 ,  Turing機械 ,  計算