【Alloy】形式言語による仕様記述【VDM】at TECH【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch264:デフォルトの名無しさん 13/10/16 19:10:23.13 .net>>263 アスペの上に、言葉づかいの癖から見てクズのようだからもう相手しないが >それを「細かいこと」なんて言う人が それが細かくない(本質的である)と思っているということは、君は未定義動作や実装依存をなくせばCのソースも形式仕様だと言うんだな それから、形式的ということと細かいということは同じことではないんだよ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch