スタートAlloy : ATND 「試行錯誤の過程が一番面白い」全く同意 「形式手法と一言で言っても定理証明系とモデル検査と形式仕様記述言語とは中身が全然違う」 フィールドの宣言で X one -> one Y みたいに多重度を指定できる runで指定するpredicateが引数を…
一般的に言えば関係のアリティが2とは限らないとか色々突っ込みどころはあるとは思いますが、最初の1歩としてはこんな感じの絵でイメージを掴ませる方が入りやすいのかも。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。