theory-formalism-translator

形式体系の翻訳

表面的な類似性ではなく、構造的な同値性を探してください。

目的は、概念の名前を変えることではありません。
目的は、次のいずれに当たるかを判断することです。

• 2つの形式体系が同じ不変な構造を符号化している；
• 一方の形式体系が、より強力なツールを提供する；
• または、類似性が比喩的なものにすぎない。

---

手順

1. 元の形式体系を示す

概念を、それが属する分野固有の言葉で説明してください。

次を明示してください。

• 対象；
• 演算子；
• 制約；
• 力学系；
• 最適化の目標；
• 該当する場合は確率論的な解釈。

例：

Original formalism:
Random walk on a graph with transition matrix P,
analyzed through mixing time and spectral gap.

次のような曖昧な要約は避けてください。

Diffusion process on networks.

---

2. 中核となる構造的対象を特定する

記法の背後にある数学的構造を取り出してください。

次を探してください。

• 状態空間；
• エネルギーまたは目的関数；
• 保存則；
• 不変測度；
• 遷移演算子；
• 幾何；
• 対称性；
• 平衡条件；
• エントロピー；
• 曲率；
• 流れ；
• 距離計量。

例：

Core objects:
- Markov operator P
- stationary distribution π
- spectral gap γ
- diffusion dynamics
- local-to-global information propagation

この手順は用語よりも重要です。

---

3. 翻訳先の形式体系を定義する

翻訳先の形式体系を明示してください。

翻訳先の候補：

• 最適化；
• 確率論；
• 情報理論；
• 統計力学；
• 力学系；
• 制御理論；
• グラフ信号処理；
• 変分推論；
• 最適輸送；
• スペクトル理論。

例：

Target formalism:
Optimal transport interpretation of graph diffusion.

---

4. 形式体系間で対象を対応付ける

明示的な対応関係を構築してください。

例：

元の形式体系	翻訳先の形式体系
ランダムウォークの遷移	輸送カーネル
定常分布	平衡測度
スペクトルギャップ	縮約率／混合率
拡散距離	ワッサースタイン型の幾何
コミュニティの境界	輸送のボトルネック

対応関係の不一致を省略しないでください。

対応付けが部分的にしか成り立たない場合は、そう明記してください。

---

5. 保たれる構造を特定する

翻訳後も何が保たれるかを示してください。

例：

Preserved:
- equilibrium structure
- diffusion locality
- entropy decay
- conservation of probability mass

次を区別してください。

• 厳密な同値；
• 漸近的な同値；
• 発見的な類似性。

---

6. 失われるものを特定する

どのような翻訳でも情報は失われます。

例：

Lost:
- discrete graph combinatorics
- exact path interpretation
- local neighborhood semantics
- node-level interpretability

翻訳先の形式体系が厳密に優れていると主張しないでください。

---

7. 翻訳によって何が容易になるかを特定する

新しい形式体系が、次を提供するかどうかを検討してください。

• より強力な定理；
• より簡潔な最適化；
• より優れた幾何；
• より鋭い集中評価；
• 安定性解析；
• 計算上の利点；
• 別の直観。

例：

Optimal transport formalism may provide:
- metric geometry tools;
- contraction analysis;
- curvature interpretation;
- continuous relaxation methods.

---

8. 翻訳が本物かどうかを確認する

次を区別してください。

• 構造的な同値；
• 再利用可能な手法；
• 記法の変更にすぎないもの。

悪い翻訳：

Graph diffusion is basically attention.

より良い例：

Both can be interpreted as weighted information propagation operators,
but attention is data-adaptive and non-Markovian,
while graph diffusion is typically fixed and stochastic.

---

9. 翻訳によって利用可能になる新しいツールを提案する

翻訳が有用であれば、新たに利用可能となる具体的なツールを特定してください。

例：

新しい形式体系	利用できる可能性のあるツール
最適輸送	ワッサースタイン幾何、シンクホーン法
力学系	安定性解析、リアプノフ関数
情報理論	エントロピー境界、相互情報量
スペクトル理論	固有値摂動
制御理論	可制御性、可観測性

本当に新しいツールが得られない場合は、そのことを明記してください。

---

ルール

• 対応関係を明示しない限り、同値性を主張しないでください。
• 類似性だけでなく、不一致も明らかにしてください。
• 次を区別してください。
  • 厳密な同値；
  • 漸近的な類似性；
  • 発見的な類似性。
• 翻訳の際は仮定を保ってください。
• 記法の共通性を構造の共通性と混同しないでください。
• 翻訳が概念の名称を変えるだけの場合は、その旨を述べてください。
• 物語的な類推よりも、演算子や対象の明示的な対応付けを優先してください。

---

出力形式

# Original Formalism

State the original framing precisely.

# Core Structural Objects

List the key operators, invariants, constraints, and dynamics.

# Target Formalism

State the destination framework.

# Structural Mapping

| Original | Target | Notes |
|---|---|---|
| ... | ... | ... |

# Preserved Structure

- ...

# Lost Structure

- ...

# What Becomes Easier

- ...

# Mismatches / Non-Equivalences

- ...

# New Tools Enabled

- ...

# Verdict

Choose one:
- Deep structural equivalence
- Useful reframing
- Partial analogy
- Mostly notation change

Reason:
...