なにしろ、用語法が一番の問題だ。ER図を改変した概念モデル図を概念スケッチと呼ぶとして。 まずは単なる有向グラフ ノードに不変性マーカーを許す。不変性マーカーの付け方はまったく制限がない。 スパンに同時単射性マーカーを許す。概念スケッチとしての…