昨日の日記 の続き。 id:koji8y さんから、トラックバックで じゃあ，昨日のスタート Alloy の演習中に僕らが表現したかったこと， sig A { r: B -> C }で，各 A の各 r が one to one の関係 (functional かつ injective な関係) となること*1を表現するに…

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

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