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

[174 デフォルトの名無しさん 2013/10/05(土) 05:33:52.83]

>>164
>だからZは要らんと言っとる

つまりZの言語仕様はデカくないという意見に反論できないってことね。
理由も言えずに「要らん」としか表現できない人が形式仕様とか、鼻で笑っちゃうねw