2012-05-13から1日間の記事一覧

スタートAlloyに参加してきた日記

スタートAlloy : ATND 「試行錯誤の過程が一番面白い」全く同意 「形式手法と一言で言っても定理証明系とモデル検査と形式仕様記述言語とは中身が全然違う」 フィールドの宣言で X one -> one Y みたいに多重度を指定できる runで指定するpredicateが引数を…

絵で描くAlloyの反射推移閉包

一般的に言えば関係のアリティが2とは限らないとか色々突っ込みどころはあるとは思いますが、最初の1歩としてはこんな感じの絵でイメージを掴ませる方が入りやすいのかも。