ラボで昼休みにAlloyの話をしていたら中谷さん(id:n_shuyo)に「Alloyでイラストロジックは解けるの?」と質問されました。で、頑張ってみた結果、結局解けなかった、という話。イラストロジックのルールと元データに関してはこちらを参照: ルールと解き方〜…
ここまでの話はこちら: Alloy 第5回 Alloy: もしかしてStateManager.stateがStateManagerのメンバ変数だとか、State.belongがStateのメンバ変数だとか勘違いしているんじゃない? 僕: えっ、違うの? Alloy: ぜんぜん違う。オブジェクト指向に毒されているわ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。