2021-01

Alloy で形式手法を始めてみた！～集合の演算と数値編～ ここでは，集合に対する演算と数値の扱いについて説明します． 集合の演算 集合の演算には， +, -, &, -> の四つがあります． + + は和集合を表します．...

Alloy で形式手法を始めてみた！～特殊なシグネチャ編～ ここでは，シグネチャ編で話さなかった，以下の内容を話します． "継承" したときに，継承元のフィールドはどうなるか？ Enum とはなにか？ 特殊な集合 i...