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

Alloyガール完結編

JS: 最近難しい話ばっかり… 僕: ごめんごめん、なんだっけ。 Alloy: JSちゃんが作った「状態遷移するイベントディスパッチャ」の設計をAlloyでモデリングして、何か有益な知見が得られるか試したい、という話ね 僕: そうだっけ… JS: もう2週間も前の話だよ。…

Alloyで論理パズルを生成

Alloyで論理パズルを解くのではなく、Alloyに論理パズルを作らせたい。ここしばらく考えていたのだけども、なかなか行きの電車で座れなかったので(ぇ)解けなかったのだが、今日は妙に電車が空いていたので座ってゆっくり考えることができた。「解が一意にな…