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

---

256:デフォルトの名無しさん
13/10/16 09:28:13.23 .net
>>255
> 「主義」をはずせばよい。
formal methodsからformalismを取ったら何が残るの？ばかなの？

> それに、いくら形式的定義を辿ってもhogeが円周だとはわからないよ
hogeを円周と読むなって話だということが理解できない？ばかなの？

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch