2021-02

Alloy で形式手法を始めてみた！～集合の演算・発展編～ ここでは，集合に対する発展的な演算を説明します． 集合と関係式の演算 集合と関係式の演算には，ドットジョインがあります． ドットジョイン Alloy では，集合と関係式，あるいは関...