さて、スタートAlloy中、頂いたテクニカルな質問のうち1つに、当日うまく答えられませんでした（すいません… orz）。ちゃんと考え直したので(^^; ここに書いておきます。（thx to @masahiro_sakaiさん） 質問 以下のようなシグネチャ宣言があったとする。 si…

cf. http://atnd.org/events/27160ヒジョーに適当な準備だけで（テキトーな資料でホントすいません）、しかも「習うより慣れろ」と吹いてAlloy言語のレクチャーほとんどなしに演習やってもらうという無謀な試みにも関わらず、（Alloy初心者の方々も含め）全…