“石の上にも三年” という格言を Alloy でモデリングします。まあ、格言は実はどうでもよくて、Alloyにおける、数値(Integer)の扱いについて確認したかったんです。Alloy 教科書 の131ページには 整数の演算が必要に思えるなら、考え直したほうがいい。 よ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。