ベン図 / オイラー図

ベン図とオイラー図とは

ベン図は重なり合う円を使って、集合の集まりにおけるすべての可能な論理的関係を示します——各交差が実際に要素を含むかどうかにかかわらず。オイラー図はより一般的な形式で：円は実際に関係が存在する場合にのみ描かれ、ある集合が別の集合に完全に含まれる場合はネストされた円として示され、2つの互いに素な集合はまったく重なりません。John Venn が1880年に固定重なりの形式を導入し、Leonhard Euler が1760年代に一般的な集合包含の形式を記述しました。

教育者は集合論を教えるために使用し、データアナリストはセグメント間のオーディエンス重複を示すために使用し（メールリスト ∩ モバイルユーザー ∩ 有料購読者）、生物学・言語学・医学の研究者は分類学的または概念的な階層をマッピングするためにオイラー図を使用します。Schematex は1つの DSL で4つの一般的な使用パターンをすべてサポートしています——宣言的なカウント・要素の列挙・領域ラベル・オイラーサブセット/互いに素/重複関係——1つの図で混在させることもできます。背景については ベン図のウィキペディア記事 と オイラー図 を参照してください。

1. 最初のベン図

最小限の実用的な図：2つの集合、1つの重複、2つの排他的領域。

4つのルールで使用例の80%をカバーできます：

1. venn で始め、必要に応じて引用符付きのタイトルを続けます。
2. 各集合を set ID "Label" で宣言します——id は内部で使用され、ラベルが図に表示されます。
3. A & B : value で交差に、A only : value で排他的領域に値を割り当てます。
4. config: 行で外観を設定します；図のモード（venn vs euler）は明示的に設定するか auto のままにします。

コメントは独立した行で # から始める必要があります。

2. 集合

集合の宣言は図に1つの円を作成します。

set ID "Label" [color: "#hex"]

集合は領域または関係行で参照される前に宣言する必要があります。

3. 領域

領域は交差または排他的エリアに値を割り当てます。4つの DSL モードを1つの図で混在させることができます。

3.1 宣言モード——カウントとパーセンテージ

名前付き領域に数値またはパーセンテージを割り当てます。領域キーは、交差の場合は & で区切られた集合 id のリスト、排他的部分の場合は ID only です。

A & B : 320          # 整数カウント
A & B & C : 45       # 3方向交差
A only : 1450        # 他のすべての集合を除いた A
A & B : 18.5%        # パーセンテージ値

3.2 領域ラベル（テキスト）

region キーワードプレフィックスを使用し、数値の代わりに引用符付き文字列を割り当てます。文字列は領域内にレンダリングされます。

region A & B : "Nurture"
region B & C : "Convert"
region A & B & C : "Loyal customer"

3.3 列挙モード——要素リスト

各集合の実際の要素をリストします。Schematex はすべての交差を自動的に計算します。

ID = { element1, element2, element3 }

要素はカンマ区切りの裸の単語または引用符付き文字列です。列挙集合には明示的な set 宣言は不要です——宣言は暗黙的です。

4. オイラー関係

オイラー関係は、ある集合が別の集合のサブセットであること、2つの集合が完全に互いに素であること、または単に重複することを表す構造的な包含または分離を表現します。set で宣言済みの集合 id を参照する必要があります。

from subset to    # from は to の内部に完全にある（別名：「in」）
from in to        # subset のエイリアス
from disjoint to  # from と to は重複しない
from overlap to   # from と to は部分的に重複する（明示的——関連のない集合のデフォルト）

5. 設定

config: 行でダイアグラムの動作を調整します。各行は独立した行です。

設定はヘッダー行にインラインでも記述できます：venn "Title" [proportional: true, showPercent: true]。

venn "Segment overlap"
config: proportional = true
config: showPercent = true
config: blendMode = screen

レイアウト選択：

• layout venn — config: diagram = venn の別形式（同じようにパース）。
• layout euler — config: diagram = euler の別形式。
• layout auto — config: diagram = auto の別形式。

6. ラベルとコメント

• タイトル： venn "My diagram" — 最初の行のみ。
• 集合ラベル： set A "Email subscribers" — set 行の引用符付き文字列。
• 領域値： : の後に割り当てられた整数・パーセンテージ・引用符付き文字列・要素リスト。
• コメント： # を行頭に記述（先頭のホワイトスペースの後）。

7. 予約語とエスケープ

行頭の予約語： venn（ヘッダー）、set、config:、layout、region。

領域キーの予約演算子： &（交差）、only（排他的領域）。

オイラー関係キーワード： subset、in、disjoint、overlap ——集合 id として使用不可。

ID ルール： [A-Za-z][A-Za-z0-9_-]* にマッチする必要があります。スペースを含むラベルは引用符付きの "Label" フィールドに記述します。

8. よくある間違い

9. 文法（EBNF）

document       = header (blank | comment | config | layout-stmt | set-decl | enum-decl | euler-rel | region)*

header         = "venn" ( ":"? WS quoted-string )? ( WS "[" config-props "]" )? NEWLINE
quoted-string  = '"' any-char-but-quote* '"'

config         = "config" WS ":" WS config-key WS "=" WS config-value NEWLINE
config-key     = "diagram" | "proportional" | "palette" | "blendMode" | "showCounts" | "showPercent"

layout-stmt    = "layout" WS ( "venn" | "euler" | "auto" ) NEWLINE

set-decl       = "set" WS id WS quoted-string ( WS "[" set-props "]" )? NEWLINE
set-props      = "color:" quoted-hex | "fill:" quoted-hex

enum-decl      = id WS "=" WS "{" element-list "}" NEWLINE
element-list   = element ( "," element )*
element        = quoted-string | bare-word

euler-rel      = id WS euler-op WS id NEWLINE
euler-op       = "subset" | "in" | "disjoint" | "overlap"

region         = "region"? WS region-key WS ":" WS region-value NEWLINE
region-key     = id WS "only"
               | id ( WS "&" WS id )+
region-value   = integer | percent | quoted-string | "[" element-list "]"

percent        = number "%"
id             = [A-Za-z] [A-Za-z0-9_-]*
comment        = "#" any NEWLINE

権威ある情報源：src/diagrams/venn/parser.ts。パーサーとの相違がある場合は、パーサーが優先されます——Issue を作成してください。

10. ロードマップ

計画中 — まだパース不可。 現在生成された DSL ではこれらを使用しないでください；パーサーが拒否または無視します。

• 3方向と N 方向のオイラーネスト — レンダラーは現在ベンモードで最大3集合をサポート；複雑な包含を持つより大きなオイラー図はまだ完全にはレイアウトされていない。
• fill: カラーエイリアス — set の fill: プロパティはパーサーが受け付けます（color: のエイリアス）が、レンダラーは現在 color: のみ使用。
• 領域の label: — 別個のラベル vs 値のための region A & B [label: "Core"] 構文。
• 面積比例オイラー — proportional: true は現在ベンモードにのみ影響；オイラー包含レイアウトはフラグを無視。
• and キーワード — A & B : 120 のエイリアスとしての自然言語 A and B : 120。

これらのどれかが早急に必要な場合は GitHub Issues でトラックしてください。

関連する例

サンプルギャラリーからすぐに使えるシナリオ：