Doorkeeper

コミュニティについて

書籍「抽象によるソフトウェア設計 - Alloy ではじめる形式手法 -」を中心にして、Alloyによるモデル検査をみんなで勉強します。

ちなみにこのコミュニティのロゴは下記のAlloyのコードの5番目のインスタンスです。

sig Person{
    liveIn: Place,
    love: some Language
}

abstract sig Place {}
one sig Nagoya extends Place {}

abstract sig Language{}
one sig alloy, coq extends Language {}

pred PeopleInNagoyaLoveCoq {
    all p:Person | p in liveIn.Nagoya & love.coq
}

run PeopleInNagoyaLoveCoq for 10

過去のイベント

2013-08-06(火)
8月
06
10人の参加者
愛知 愛知県名古屋市昭和区福江2丁目9番33号nabi/白金244号室 ITプランニング様

このコミュニティのメンバーが加わっている他のコミュニティ