【Alloy】形式言語による仕様記述【VDM】at TECH
【Alloy】形式言語による仕様記述【VDM】
- 暇つぶし2ch185:デフォルトの名無しさん
13/10/06 18:43:42.19 .net
>>182
>形式手法では式を「コトバ」として読んじゃいけない。
>式はあくまで記号列として読まないと「形式」の意味がわからない。
ここは何を言ってるの?記号列として読んでいるのでは意味が分かっていない
と言われそうだけど。
次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch