引数
apply function to value
関数を、値に、適用する
関数は数学的であり、戻り値が引数から自明であること ref
parametersとargumentsの違い
これが正式なのかは知らん
apply function to value
関数を、値に、適用する
関数は数学的であり、戻り値が引数から自明であること ref
parametersとargumentsの違い
これが正式なのかは知らん
/mrsekut-book-4007305803/057
Lは以下の物などの集合(全てを含む必要はない)
定数記号
e.g. 0, 1, 2,..
arityが0の関数記号とも捉えられる
from Tutorial for Alloy Analyzer 4.0を読む
Atomも単項関係と見なせば、全てRelation
Alloyの意味論的には全てRelationで表現されている
https://alloytools.org/tutorials/online/sidenote-levels-of-understanding.html
https://alloytools.org/tutorials/online/sidenote-relations-everywhere.html