ストリング図／カップリング図の応用範囲

お絵描き 本編ネタ 機械学習っぽい

代数符号理論は取り込める気がする。

絵 確率 テンソル データベース 論理
プレーンスパイダー カップリング 連想配列 テーブル 論理式セット
足（エッジ／ワイヤ―） 変量 インデックス カラム 論理式
足切り 周辺化 (なし) 射影 減
順序スパイダー 変量順序付きカップリング 配列 カラム順序付きテーブル 論理式リスト
装飾済みスパイダー 装飾済みカップリング 多行列 装飾済みテーブル シーケント
意味である射 インフルエンス 多線形写像 多値関数 証明
絵の変形 確率推論 ？ 正規化など シーケント推論
既存図法 因果グラフ、因子グラフ ペンローズ図 ER図など 証明図

論理のシーケント（自然演繹証明プロファイル）とシーケント推論／シーケント証明の区別が付かない現象が他でもあるので注意。

プレーンスパイダーに対する装飾〈decorate, decoration, decorated〉とは：

  1. 足の二分〈bi-partitioning〉 2n 通り
  2. 二分した足のそれぞれの順序付け〈ordering, fattening〉 k!×ℓ! 通り
  3. InOut割り当て
プレーンスパイダー  --(修飾)→  修飾済みスパイダー

装飾の種類は、
{\displaystyle \sum_{(k, l),\, k + l = n} k! \times l!}