On the Halting Problem for Quantum Turing Machines

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 小澤 正直

  名古屋大学大学院情報科学研究科

• 小澤 正直

  名古屋大学教養部

• 小澤 正直

  名大・教養

関連論文

• 23aTB-9 複数量子ビット演算の精度限界(23aTB 量子エレクトロニクス(量子情報),領域1(原子・分子,量子エレクトロニクス,放射線物理))
• 伏見先生と量子論理(伏見康治の世界を眺める-通り過ぎたあとに遺して行ったこと-)
• 論理・集合・実数・物理・測定 : 量子集合論と量子力学の観測問題 (非可換解析とミクロ・マクロ双対性)
• 量子情報の数学的基礎
• 29pTB-2 量子測定理論の構築と展開(29pTB 領域11,領域1合同シンポジウム:「情報」を通して見る量子力学,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
• 非可換観測量の同時測定可能性(量子解析におけるミクロ・マクロ双対性)
• 量子集合論と量子力学の解釈問題(数学基礎論とその応用)
• 数理論理学と経験科学との接点
• 不確定性原理・保存法則・量子計算
• Wigner-Araki-Yanase theorem and the realizability of quantum computing (Mathematical Study of Quantum Dynamical Systems and Its Application to Quantum Computer)
• 情報処理の量子力学的制約((6)数学的及び数理科学的考察,量子カオス:理論と実験の現状,研究会報告)
• 情報処理の量子力学的制約((6)数学的及び数理科学的考察,京大基研短期研究会「量子カオス : 理論と実験の現状」,研究会報告)
• 31aSG-8 ハイゼンベルク不確定性原理の再定式化と計算の量子限界
• 28pYN-4 情報理論と量子力学 : その融合と今後の課題
• 量子計算とチャーチの提唱
• 23pYK-3 間接測定による状態変化と不確定性原理
• Quantum Oracles and Computational Complexity (Algebraic Systems, Formal Languages and Computations)
• 観測過程と不確定性原理
• 集合論的不確定指示子による理論間関係の論理分析
• 量子Turing機械の局所遷移関数 (情報数理に関連する応用函数解析の研究)
• 26pRF-1 保存法則によって引き起こされる単一量子ビットゲートの最小誤差の研究(量子エレクトロニクス(量子情報),領域1,原子・分子,量子エレクトロニクス,放射線物理)
• 26pRF-2 『乗法的保存量が課す量子測定の制限 : Wigner-Araki-Yanase定理の拡張』(量子エレクトロニクス(量子情報),領域1,原子・分子,量子エレクトロニクス,放射線物理)
• 無限小解析と観測問題(量子力学的観測理論,研究会報告)
• ノンスタンダード・アナリシスと物理学 : 無限小概念の復活
• 観測理論と測定の量子限界(基研長期研究会「進化の力学への場の理論的アプローチ」報告,研究会報告)
• 観測理論と測定の量子限界(基研長期研究会「進化の力学への場の理論的アプローチ」,研究会報告)
• V$^{(\mathrm{B})}$ の Banach 空間論とその応用(数学基礎論)
• Boolean valued analysis and operator algebras(Operator Algebras and Applications)
• 量子コンピュータの計算量(応用函数解析の研究)
• 量子コンピュ-タの計算量
• 量子力学とBoole値解析学(基研短期研究会「進化の力学への場の理論的アプローチ」報告,研究会報告)
• 量子力学とBoole値解析学(基研短期研究会「進化の力学への場の理論的アプローチ」報告,研究会報告)
• 31aSG-8 ハイゼンベルク不確定性原理の再定式化と計算の量子限界
• Nonstandard Representations of Unbounded Self-Adjoint Operators (Topics in Information Sciences and Applied Functional Analysis)
• Measurements of Nondegenerate Observables (Topics in Information Sciences and Applied Functional Analysis)
• エンタングルメントと不確定性原理 (エンタングルメント理論とその展開--"量子もつれ"のミステリー)
• Nonstandard Methods on Representations of the Canonical Commutation Relations
• 波束の収縮という概念と量子論的Bayesの原理
• On the Halting Problem for Quantum Turing Machines
• 量子計算の数理モデル (特集 量子コンピュ-タ--量子計算:理論と実験の最前線)
• 波束の収縮という概念について (III) : 量子論的擾乱
• 通信路容量の物理的限界(量子情報理論と開放系)
• 意識の問題 : 波束の収縮という概念について(III) : 量子論的擾乱
• 『波束収縮と再現性の概念的差異』について
• 波束の収縮という概念について(II) : 部分跡による導出
• 波束の収縮という概念について(?)部分跡による導出
• 波束の収縮という概念について (I)
• ルベ-グ積分--測度 (解析学の0時限)
• 量子論理 (ロジックの面白さ)
• 無限小"解析学" (「解析」ということ)
• Cat Paradox for C*-Dynamical Systems : Invited Papers
• レシニェフスキ-存在論と公理的集合論
• レシニェフスキ-存在論と公理的集合論
• 超実数 (かずかずの数)
• 量子力学的観測とBoole値解析学
• 量子力学的観測と Boole 値解析学 (「たましひ」の問題)
• 情報理論の観測理論への応用(量子力学の基礎について,研究会報告)
• 情報理論の観測理論への応用(量子力学の基礎について,研究会報告)
• 数理論理学と経験科学との接点
• 量子情報技術と科学基礎論 (特集=量子力学の最前線--情報・脳・宇宙)
• 量子力学の論理 (特集 物理と論理--概念規定と論理構造をとらえ直す)
• 量子計算の原理的限界--量子論理のエネルギー・コスト (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
• 不確定性原理と標準量子限界 (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
• 不確定性原理の新展開--古い解釈と新しい定式化 (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
• 量子情報理論のルーツ (特集 量子情報と量子コンピュータ--量子力学と情報科学の壮大な融合)
• 量子力学と超準解析学 (特集 無限と連続--数学における計算可能性)
• 量子測定理論入門(講義,第56回物性若手夏の学校(2011年度) 研究と人生の指針-Beyond the CoMPaSS of your field.-,講義ノート)
• 量子力学における測定・相関・文脈性(基研研究会 量子科学における双対性とスケール,研究会報告)
• 科学の示す実在像について : ボーア=アインシュタイン論争研究の最前線 (特集 ニュートリノ/相対性理論 : 観測がひらく新世界)
• 不確定性原理の発見 (特集 ハイゼンベルク : 対話と討論が生み出した現代物理の礎)
• 不確定性原理の新しい姿 (特集 電子と不確定性の世界)
• 量子測定の数理と不確定性原理(1)量子力学の新しい測定公理
• 量子測定の数理と不確定性原理(2)測定過程論
• 量子測定の数理と不確定性原理(3)不確定性原理を打破する測定モデルと新しい定式化

もっと見る 閉じる

スポンサーリンク