Alloyの図的記法
これ、インスタンス生成の図とは別のもの？
集合に対して abstract であるという印を付けることもできる (箱の中にabstractキーワードを書くか、名前をイタリックにすればよい)。
chatgptに聞いても分からなかった
どうやってその機能を使うのかがわからない
白抜きの矢印とか見たこと無いし
versionの問題なのかな
all a: A | a.R !みたいに!とか?とかを使った記法があるようだが
Alloy 本の付録 D の話であれば、単に「Alloy の記法を ER 図に対応させるとこうなる」という説明に過ぎないと思います。 ref という感じらしいmrsekut.icon
だからこのノートのタイトルに「Alloyの」と付けるのは変だな