複数の概念に対する多項関係で、その関係が言語的にコンパクトではないが、図解的にはコンパクトなことがある。これは面白い、掘り下げる価値がありそう

関連

「言語的にコンパクトでない」の正体は、言語が多項関係を「対関係の列挙」か「関係の名詞化」のどちらかでしか語れないことだと読みました。図は配置の整合性（同じものは紙の一箇所にしかない、囲みは一筆で複数を含む、重なりは領域として現れる）で対関係を書かずに運びます。代償は特定性で、「ベン図を丸で表現する罠」はこの同じ性質の裏面です。

本体を横断すると、名前が無かっただけで実物が既に複数ありました。

交差しているしていない（2024-09） が最初の実物です。x∈A∩B（領域）と x=(A,B)（辺）を同じ図で読み替え、「3個以上ならハイパーグラフだね」まで書いてあります。

辺ラベルは三項関係（2021-12）と線を引くUI（2023-01）。多項関係の「線」はUIコストで退きましたが、KJ法の囲みは多項関係そのものなので、Kozanebaは囲みの形で持ち続けています。

kozaneba-dev-ai の2026-06ジャンクションノード案は、関係ノードを立てて二項線で結ぶ二部グラフ化で、言語側が払う名詞化の代償を図に持ち込む案になっています。評価軸として一つ足しました。

図的シンボル（2026-08） の「言語と簡単に対応づけられない」の機構候補として置けます。実例の構造記述（vt-wikiの索引）では「非言語的シンボルの例」は3ノードで媒介Cが挿入される図、「交差」は重なりが架け橋に描き直される図で、どちらも項が3つ以上かつ配置の変化が主張を担っています。

外部文献（Larkin & Simon 1987、Shimojimaのfree ride、Stenning & Oberlanderのspecificity、Peirceの価数）は言い換え検索で本体に未出と確認した上で、AI補足として分離して書きました。

未了が一つあります。図的シンボル実例の画像はGyazoが「temporarily unavailable」で見られず、vt-wikiの構造記述で代替しました。掘り下げ先は3案（図的シンボルは項≥3か配置変化を伴うかの機械検証、Kozanebaの囲みを多項関係として扱う、2023-12-17の三記法を表現力の軸で描き直す）を末尾に置き、どれを進めるかは判断に残してあります。