【Alloy】形式言語による仕様記述【VDM】at TECH【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト100:デフォルトの名無しさん 13/09/12 23:22:19.80 .net スプレッドシードに書かれた自然言語の仕様書よりか、 prologの方が危ういって形式手法の危うさでも指すの？ wikipedia読む限り、形式手法が集合論と述語論理を扱う設計手法みたいだし、 その限りじゃprologで十分だよねとは思ったのだけれども、一体、何が悲しくて alloyやZみたく仕様がデカくて、ノウハウを使い回せない言語が乱立してんだろ 101:デフォルトの名無しさん 13/09/12 23:47:46.69 .net 自然言語よりPrologの方が危ういなんて書いてないだろ Prologで十分だというのが仮に事実だとしてそれが何なの？ その事実はPrologが優秀であることの証明にはならないし 他の技術を否定する正当性も与えない 102:デフォルトの名無しさん 13/09/13 00:20:22.87 .net 述語論理を書くならprologは有力なツールでしょうね。 でも、そもそも我々は述語論理を扱いたいんじゃないんです。 むしろ触れずに済むなら、その方がきっといいんです。 目的を忘れて手段を論じても無益でしょう。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch