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

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

【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch101:デフォルトの名無しさん
13/09/12 23:47:46.69 .net
自然言語よりPrologの方が危ういなんて書いてないだろ

Prologで十分だというのが仮に事実だとしてそれが何なの？
その事実はPrologが優秀であることの証明にはならないし
他の技術を否定する正当性も与えない

次ページ

続きを表示

1を表示