SRF — Structural Reconstructability Framework
ja
論理構造図 — 再現性評価の前提としての問題同一性
ノードにホバーで詳細表示
§1.1 先行研究
Leonelli（2018）再現性の三水準
§1.2 先行研究
Ioannidis（2005）再現性危機の統計的分析
§1 命題（本節の帰結）
再現性評価は問題同一性を暗黙の前提とする
§2 自然言語の失敗 → 形式的枠組みの必要性
「同じデータ・方法・結果」では問題同一性を保証できない
§3 問題空間（定義1）
M₁ = (S₁, τ₁, Γ₁)
§3 問題空間（定義1）
M₂ = (S₂, τ₂, Γ₂)
D — 差異保持（整理1 §4.2）
φ が全単射 → 状態の区別可能性保存
T — 遷移保持（整理2 §4.2）
τ₁ ↔ τ₂ が双方向に保存
C — 制約保持（整理3 §4.2）
Γ₁ ↔ Γ₂ が双方向に保存
D · T · C は相互に論理的独立（命題1 §4.3–4.4） — いずれか一つの崩壊が問題同一性の失敗をもたらす
§4 定義2（D∧T∧C）
M₁ ≅ M₂（問題同一性の構造的成立）
§5 Condition E（独立入力・方法論的制約）
保存表現 E：有限生成性 ∧ 構造的閉包性
∧（AND）
§5.6 命題2（DTC 十分性定理）
D ∧ T ∧ C ∧ Cond E ⟹ R（再構成可能性）
§5.7 命題3（DTC 最小性）
¬D / ¬T / ¬C ⟹ ¬R
§5 定義8
R（再構成可能性）の成立
§7 前提成立
再現性の成否を問える
§6 事例分析
DTC 崩壊診断（4事例）C崩壊が全例共通
§5.9 SPO
Structural Problem Ontology
§7–8 中心命題・区別命題
再現性の失敗 ≠ 問題同一性の失敗（形式的に区別可能）
§6.5・§8.2 Γの明示化が再現性向上の最優先事項
§8.3 SRF-g / SRF-t / R⟹DTC（未解決）
先行研究・前提
§2 自然言語の失敗
定義・問題空間・SPO
DTC条件・同型成立
Condition E（独立入力）
定理・R・中心命題
最小性・崩壊診断
暗黙の前提
構成的定義
論理的推論