プログラムと実行機構を一つの状態遷移として捉える
Endogenous Interpretation
この論文をやさしく読む
ひとことで言うと
プログラムやインタープリタを別々のものとしてではなく、同じ計算を異なる状態や手順で表したものとして見る提案です。逆解析を、複雑に広がった表現から簡潔な同等表現を取り戻す作業と捉えます。
何に役立つ？
考えられる用途は、実行表現の変換や逆解析で「複雑さがどこへ移ったか」を整理することです。要旨では有限状態の実現について、縮約の計算と拡散比の定量化を示しています。
この研究の面白いところ
意味を保った変換で計算そのものが消えるのではなく、状態空間や一段階の粒度へ移るという見方を採ります。双模倣に基づく有限状態の縮約を、ほぼ線形時間で求められるとしています。
どこまで分かった？
取得された要旨は「For nondeterministic realizations observed up to traces, minimal contraction is」で途切れています。非決定的な場合の結論は欠けているため補っていません。ほぼ線形時間という結果は、記載された有限状態・双模倣の設定に関するものです。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
内生的解釈を提案する。プログラム、インタープリタ、機械、そして派生する実行言語は、互いに切り離された意味的対象ではなく、一つの実行可能な状態遷移関係を異なる形でパラメータ化したものである。各実現は、命令の基底、状態の符号化、制御の移動、有限の基盤によって課される構造上の制約である、暗黙の制約バイアスを持つ。 この見方では、操作的意味論における「意味の隔たり」という比喩は誤解を招く。意味を保存する変換は、実行に必要な計算を消し去ることはできず、別の状態空間と遷移の粒度へ再配分する。これを意味的拡散と呼ぶ。したがって、リバースエンジニアリングは、より低い複雑さを持つ意味的縮約を回復することと捉えられる。 本研究では、最初の定量的な例を与える。双模倣までを区別する有限状態の実現では、縮約は標準的で、ほぼ線形時間で計算でき、抽象化に依存しない拡散比が得られる。決定的な実現では、これはトレース同値へ拡張される。トレースまでを区別する非決定的な実現では、最小縮約は……。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We propose endogenous interpretation: program, interpreter, machine, and derived execution language are not disjoint semantic objects but different parameterizations of one executable state-transition relation. Each realization carries an implicit constraint bias, the structural restrictions imposed by its instruction basis, state encoding, control transfers, and finite substrate. From this viewpoint the "semantic gap" metaphor is misleading for operational semantics: a semantics-preserving transformation cannot remove the computation required for execution; it redistributes it over another state space and transition granularity (semantic diffusion). Reverse engineering is then the recovery of a lower-complexity semantic contraction. We give a first quantitative instance. For finite-state realizations observed up to bisimulation, the contraction is canonical and computable in almost-linear time, yielding an abstraction-independent diffusion ratio; for deterministic realizations this extends to trace equivalence. For nondeterministic realizations observed up to traces, minimal contraction is
著者のコメント
15 pages. Working paper; comments welcome. Sections 6-8 contain the formal results; Section 7.5 describes proposed experiments not yet carried out
arXiv ID: 2609.23514 ／ 要約の誤りについて