2021-09

Alloy で形式手法を始めてみた！～述語，関数，実行編～ ここでは，述語 (pred) や関数 (fun) の書き方を説明します．その前に，述語内に記述する 条件式について説明します． 条件式 述語を説明する前に，プログラミングでいう i...