bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2012-01-01から1年間の記事一覧

シグネチャのフィールドにある関係の多重度 続き

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

シグネチャのフィールドにある関係の多重度

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

スタートAlloyやりました

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

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

「イラストロジックはAlloyに向かない」 って書いておくと id:bonotake さんが解決してくれないかな(チラッ) ちょwww いやいや、そういうムチャぶりはやめてください(^^; というか実際のところ、自信ありません(^^;;;イラストロジックがAlloyに向くか向…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。