Fugu-MT 論文翻訳(概要): Dynamic Level Sets

論文の概要: Dynamic Level Sets

arxiv url: http://arxiv.org/abs/2602.22530v1
Date: Thu, 26 Feb 2026 02:09:43 GMT
ステータス: 翻訳完了
システム内更新日: 2026-02-27 18:41:22.477081
Title: Dynamic Level Sets
Title（参考訳）: 動的レベルセット
Authors: Michael Stephen Fiske,
Abstract要約: 数学の概念は、2012年の論文 Turing Incomputable Computation で暗黙的に特定され分析される。動的レベル集合と呼ばれるこの概念は、力学系、トポロジー、計算可能性理論に関する標準的な文献における数学的概念とは異なっている。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: A mathematical concept is identified and analyzed that is implicit in the 2012 paper Turing Incomputable Computation, presented at the Alan Turing Centenary Conference (Turing 100, Manchester). The concept, called dynamic level sets, is distinct from mathematical concepts in the standard literature on dynamical systems, topology, and computability theory. A new mathematical object is explained and why it may have escaped prior characterizations, including the classical result of de Leeuw, Moore, Shannon, and Shapiro (1956) that probabilistic Turing machines compute no more than deterministic ones.
Abstract（参考訳）: 数学の概念は、2012年のアラン・チューリング・センテナリー・カンファレンス(マンチェスター、Turing 100)で発表されたチューリング計算不可能計算(Turing Incomputable Computation)で暗黙的に特定され分析される。動的レベル集合と呼ばれるこの概念は、力学系、トポロジー、計算可能性理論に関する標準的な文献における数学的概念とは異なっている。新しい数学的対象が説明され、なぜデ・リュー、ムーア、シャノン、シャピロ(1956年)の古典的な結果を含む以前の特徴づけから逃れたのかが説明される。

関連論文リスト

Free Quantum Computing [0.0]
我々は、量子コンピューティングの公理化を開発し、標準的な連続普遍性仮定を少数の離散方程式に置き換える。また、標準線形代数モデルを圏論的モデルに置き換える自由モデルも開発する。
論文参考訳（メタデータ） (2026-02-18T22:39:58Z)
Solving Linear Systems of Equations with the Quantum HHL Algorithm: A Tutorial on the Physical and Mathematical Foundations for Undergraduate Students [36.94429692322632]
2009年、ハロー、ハシディム、ロイドは、$poly(log N)$の複雑性を持つ方程式の線形系を解くアルゴリズムを提案した。本稿では,学部生を対象としたHHLアルゴリズムの物理・数学的基礎を論じるチュートリアルについて述べる。
論文参考訳（メタデータ） (2025-09-20T11:37:48Z)
Hadamard-$Π$: Equational Quantum Programming [0.5852077003870417]
本稿では,Adamardゲートに対応する1つのプリミティブを持つ古典的可逆プログラミング言語である$Pi$を拡張した小さな量子プログラミング言語を提案する。この言語は、純粋に方程式理論によって特定される、健全で完全な分類学的意味論を備えている。
論文参考訳（メタデータ） (2025-06-07T15:26:33Z)
Programs as Singularities [0.6906005491572401]
我々はチューリングマシンの構造と実解析関数の特異点の構造との対応性を開発する。以上の結果から,オッカムのカミソリと帰納的推論における単純さの意味について,より微妙な理解が示唆された。
論文参考訳（メタデータ） (2025-04-10T19:04:31Z)
Computational Dynamical Systems [0.6138671548064356]
チューリングマシンをシミュレートするスムーズな力学系について、その意味について定義を与える。カオス的」力学系と「可積分」力学系は普遍チューリングマシンを強くシミュレートできないことを示す。より広範に、我々の研究は「機械」が他の機械をシミュレートする意味を解明し、低複雑さの「エンコーダ」と「デコーダ」を定義する必要性を強調している。
論文参考訳（メタデータ） (2024-09-18T17:51:48Z)
On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
CoT推論による現代言語モデル(LM)の性能向上 LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
論文参考訳（メタデータ） (2024-06-20T10:59:02Z)
The Stochastic-Quantum Theorem [0.0]
本稿では、任意の一般化されたシステムとユニタリ進化量子システムとの間の正確な対応を確立する新しい定理を述べ、証明する。この定理はまた、なぜ量子系が複素数、ヒルベルト空間、線型単位時間発展、ボルン則に基づいているのかを第一原理で説明する。
論文参考訳（メタデータ） (2023-09-03T15:28:07Z)
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions [0.0]
インダクティブ・コンストラクションの計算におけるオラクル計算可能性とチューリング再現性の概念を総合的に展開する。通常、合成手法では、メタレベル関数に基づいたオラクル計算の定義を用いる。チューリングの再現性は上半格子を形成し、決定可能性を持ち、真理値の再現性よりも厳密に表現可能であることを示す。
論文参考訳（メタデータ） (2023-07-28T13:16:46Z)
A Categorical Framework of General Intelligence [12.134564449202708]
1950年にアラン・チューリングがこの質問をしたので、直接答えることはできない。 2つの主要な結果とともに、この目標に向けてカテゴリ的なフレームワークを導入します。
論文参考訳（メタデータ） (2023-03-08T13:37:01Z)
Correspondence between open bosonic systems and stochastic differential equations [77.34726150561087]
ボゾン系が環境との相互作用を含むように一般化されたとき、有限$n$で正確な対応も可能であることを示す。離散非線形シュル「オーディンガー方程式」の形をした特定の系をより詳細に分析する。
論文参考訳（メタデータ） (2023-02-03T19:17:37Z)
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
ほとんどの人造システム、特にコンピュータは決定論的に機能する。本稿では、量子物理学が確率法則に従うときの直観的なアプローチである量子情報理論による接続を提供する。
論文参考訳（メタデータ） (2022-09-08T17:55:30Z)
Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformers [50.85524803885483]
本研究は,統計的学習性を示すために近似ネットワークを必要とする統計有意(SM)近似の形式的定義を提案する。回路とチューリングマシンの2つの機能クラスに対するSM近似について検討する。
論文参考訳（メタデータ） (2021-07-28T04:28:55Z)
Error mitigation and quantum-assisted simulation in the error corrected regime [77.34726150561087]
量子コンピューティングの標準的なアプローチは、古典的にシミュレート可能なフォールトトレラントな演算セットを促進するという考え方に基づいている。量子回路の古典的準確率シミュレーションをどのように促進するかを示す。
論文参考訳（メタデータ） (2021-03-12T20:58:41Z)
Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文参考訳（メタデータ） (2021-01-13T15:22:01Z)
Three computational models and its equivalence [0.0]
計算可能性の研究は、1900年のヒルベルトの会議(英語版)においてアルゴリズムの概念を正確に記述することに由来する。数学的詳細を忘れずに、現代の方法で証明を提示するこのギャップを埋めるつもりです。
論文参考訳（メタデータ） (2020-10-26T05:55:19Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)

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