スライド Alloy Analyzer のこと by @mr_konn Alloyガール Alloyガール1 Alloyガール2 Alloyガール3 Alloyガール4 Alloyガール5 Alloyガール番外編「イラストロジック」 Alloyガール6 Alloyガール完結編 その他 Alloyを勉強する日記(0) Alloyを勉強する日記(…

Alloyガール1、Alloyガール2、Alloyガール3の続き。 StateManagerにつながってないStateは良いのか悪いのか？ JS: Stateが3つの例だけが出るようになったー 僕: うんうん、よかったね JS: でもー、さっき全パターン表示した時に気づいたんだけど、StateManag…

Alloyガール1、Alloyガール2の続き。JS: あれれ？おかしいな？ 僕: ん、どうしたの？ JS: Alloyちゃんはこの2つ等価だって言ってたけど出てくるものが違うよ？ sig StateManager { state: set State } sig State {} run { one StateManager }one sig StateMa…