Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

技術的要約：計算可能な構造主義（Computable Structuralism）

問題提起
神話や物語の比較分析は、二つの衝動間の方法論的な緊張に直面している。一つは、意味は局所的かつ文脈依存的（社会的、儀式的、歴史的な条件）であるという主張であり、もう一つは、物語は体系的な変換（置換、反転、役割交換）を通じて比較可能であるという構造主義的な見解である。構造人類学（例：レヴィ＝ストロース）は、神話が変換のシステムとして機能することを確立したが、現代の文化分析には、再現可能で、異議を唱えることができ、かつスケールアップ可能な手法が求められている。現在のアプローチは、多くの場合、類似性に基づく指標（例：モチーフの重複、埋め込みの類似性）に依存しており、これらは近接性を定量化するものの、明示的なオペレーターの制約下での「法則的な輸送（lawful transport）」を表現するには至っていない。本論文は、レヴィ＝ストロース的な変換を操作化する上でのギャップを特定している。すなわち、構造的変換を数学として記述しつつ、同時に物語分析として読みやすく、かつ反証可能な制約を備えた形式的な枠組みが存在しないという点である。

方法論
著者らは、物語を、結合された二レジスタ状態 $(X, Y)$ に作用する**型付き書き換えプログラム（typed rewrite programs）**としてモデル化する形式的枠組みを提案する。

1. 二レジスタ構成 ($Z = (X, Y)$):

   • レジスタ X (日常／社会): エージェント、制度、生存制約、政治的紛争、および物質的条件を追跡する。
   • レジスタ Y (象徴／正当化): 法、タブー、予言、契約、儀式、道徳的制約、および宇宙論的秩序を追跡する。
     モデルは、Xにおける変換は、Yにおいて認識または承認された場合にのみ結果をもたらし、Yにおける混乱は、Xを再編成する場合にのみ現実となることを仮定している。

2. エンコーディング・スキーマ:
   各物語は、四つのスロットを持つ関数的スキーマ $(a, b, x, y)$ にエンコードされる：

   • $a$: 焦点となるエージェント（変換の担い手）。
   • $b$: 対立する／攪乱する力（敵対者、混沌、制度）。
   • $x$: 変換を可能にする媒介者（道具、契約、助け手）。
   • $y$: 制約する／正当化する秩序（法、タブー、規則）。

3. 更新ポリシーと自然変換:
   本フレームワークは、構成に対する二つの体系的な更新ポリシー（エンドファンクタ）を定義する：

   • 直接ポリシー ($U$): レジスタの役割を維持する更新（媒介者は媒介者のまま、制約は制約のまま）。
   • 標準的ポリシー ($V$): 構造化されたスワップ＋反転の動きを実行する（例：制約が紛争の対象となり、紛争が制約として再構成される）。
   • コヒーレンス条件: 標準的変換は、自然変換 $\eta: U \Rightarrow V$ の存在として定義される。提案された変種間の輸送 $h$ について、図式は可換でなければならない：$V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$。
   • 反証可能性: 自然性の式が失敗する場合、それは特定の誤り、すなわち、誤った対立の設定、不正なオペレーター輸送、あるいは不適切なレジスタ割り当てを診断する。これにより、構造分析は「コーパスに直面した型チェック」へと変貌する。

4. 文脈への感度:
   文脈は、構造化されたオペレーターの選択を通じて内部化される。許容される書き換えオペレーターおよび輸送規則は、特定の物語ファミリー（例：民話対フランチャイズ）に固有のものである。これにより、「あらゆるものがあらゆるものへマップされる」という崩壊を防ぎ、特定のオペレーター輸送が宣言された文脈に違反する場合に、それを不正なものとする。

5. 順序シグネチャ不変量 (Key):
   逐次的な順序効果（例：トリックスターの横断、タイムループ）を考慮するため（例：「スワップしてから反転」 $\neq$ 「反転してからスワップ」）、各物語にはKey（アーキタイプ A–E）が割り当てられる。これらのKeyは、編み込み（braid）のアーキタイプと計算可能な不変量を用いて順序効果を要約し、コンパクトな構造的指紋として機能する。

コーパスおよび実験設計
本研究は、以下の四つのメディア・ファミリーに等分された、80の物語からなる層化コーパスを利用する：

• 民話 20（例：『シンデレラ』、『赤ずきん』）
• 宗教的神話 20（例：『アダムとイブ』、『ノア』）
• スーパーヒーロー物語 20（例：『バットマン』、『スパイダーマン』）
• フランチャイズ 20（例：『スター・ウォーズ』、『ハリー・ポッター』）

この設計は、ジャンルの支配を防ぎ、メソッドがメディアを越えて移動できるようにバランスが取られている。サブセット ($n=20$) に対する二段階のコーディング監査により、高い検者間信頼性（$x$ と $y$ に対して $\kappa = 0.95$）が示された。不一致は、$x/y$ の境界（媒介者と制約の区別）に集中しており、これはモデルが明示的に標的としている部分である。

主な結果

1. 操作的コヒーレンス: 本フレームワークは、物語を型付き書き換えとして正常にモデル化している。自然性の条件は診断ツールとして機能する。実行例（『赤ずきん』）において、妥当な誤ったタイピング（ハンターの役割を媒介者 $x$ から制約 $y$ へ入れ替えること）が自然性の失敗を引き起こし、構造的不整合を特定した。
2. 制約の普及: 80の物語のうち 59/80 (74%) において、$y$ レジスタは規範的な制約（法、タブー、契約、予言）を明示的に記述している。これは、二レジスタ抽象化の妥当性を支持している。
3. メディア横断的安定性: 関数的役割 $(a, b, x, y)$ は、メディアを越えて理解可能である。実現形態は異なるが（例：民話における「王宮」対スーパーヒーローにおける「登録法」）、制約システムとしての $y$ の構造的機能は持続する。
4. Keyの感度: マイクロテスト ($n=10$) では、Keyは保守的な正規化の下では安定しているが（10ケース中8ケース）、「最悪のケース」のストレス・テスト（$x$ と $y$ の入れ替え）の下では変化することが示され、不変量が物語の特定の構造的論理に対して敏感であることを裏付けた。
5. 制約の類型学: $y$ レジスタの分析により、コーパス間で異なる「制約タイプ・シグネチャ」が明らかになった（例：スーパーヒーロー／フランチャイズは法的／制度的制約に偏り、宗教的神話は神的／宇宙論的制約に偏る）。

意義と主張
本論文は、構造人類学と文化分析の間のテスト可能な架け橋を提供することを主張している。その主な貢献は以下の通りである：

• 形式化: レヴィ＝ストロース的な標準的変換を、緩やかなテンプレートではなく、テスト可能なコヒーレンス条件（自然変換）へと昇華させた。
• 操作化: 比較を「類似性」から「法則的な変換」へと移行させ、構造的主張を明示的、移送可能、かつ反駁可能にした。
• 診断能力: モデルの失敗は欠陥ではなく、分析がどこで崩壊したか（例：媒介者と制約を混同している等）を特定する診断となる。
• 解釈可能性: $a, b, x, y$ のスキーマとKeyを通じて、精読のための解釈可能性を維持しつつ、コーパスレベルの計算を可能にしている。

著者らは、これは操作化のためのデモンストレーション・セットであり、世界の物語の普遍性を主張するものではないことを明言している。本フレームワークは、何がエンコードされ、何が推論され、何がテストされるのかを明確に分離し、変換の主張を明示的かつ議論可能なものにするよう設計されている。今後の課題として、エンコーディングを単発の要約からエピソードレベルのグラフへと拡張すること、および再現用パッケージを公開することが挙げられている。