2012-04-11から1日間の記事一覧

Alloyでイラストロジックを解く

ラボで昼休みにAlloyの話をしていたら中谷さん(id:n_shuyo)に「Alloyでイラストロジックは解けるの?」と質問されました。で、頑張ってみた結果、結局解けなかった、という話。イラストロジックのルールと元データに関してはこちらを参照: ルールと解き方〜…

Alloyガール5

ここまでの話はこちら: Alloy 第5回 Alloy: もしかしてStateManager.stateがStateManagerのメンバ変数だとか、State.belongがStateのメンバ変数だとか勘違いしているんじゃない? 僕: えっ、違うの? Alloy: ぜんぜん違う。オブジェクト指向に毒されているわ…