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

過去のイベント

8月
06
愛知県名古屋市昭和区福江2丁目9番33号nabi/白金244号室 ITプランニング様

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