56858b1bb91d028

http://nhiro.org.s3.amazonaws.com/0/7/07acee5fcb00f305f8c93a9cc95ca8ea.jpg https://gyazo.com/07acee5fcb00f305f8c93a9cc95ca8ea

(OCR text)

余談: Alloyのone述語

29

Alloyでは変数の集合に対して

「この集合の中の1つだけがTrueである」

と宣言する述語oneが存在する。