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

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

【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch137:デフォルトの名無しさん
13/09/15 19:26:34.98 .net
>>135
だからそのAIを作るのは数学者やコンピュータサイエンティストで
言語のユーザでも言語屋さんでもないだろ

>>136
気にした方が良い結果になることが多いだろうが
気にしないと使えないなら未熟だってこと
形式仕様を書くのは形式的な検証が主目的とは限らない

次ページ

続きを表示

1を表示