【Alloy】形式言語による仕様記述【VDM】

[185 デフォルトの名無しさん 2013/10/06(日) 18:43:42.19]

>>182
>形式手法では式を「コトバ」として読んじゃいけない。
>式はあくまで記号列として読まないと「形式」の意味がわからない。

ここは何を言ってるの？記号列として読んでいるのでは意味が分かっていない
と言われそうだけど。