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