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

**デフォルトの名無しさん** · 2013/01/05(土) 21:09:06.67

**デフォルトの名無しさん** · 2015/05/01(金) 23:33:52.21

>建前としては仕様が実装に先行するのだから
>検証の対象は実装より抽象度が高くなる

>抽象化しないと現在の計算機・理論ではまともに検証できない

積極的に抽象化すべき理由じゃなくて単なる結果だな。

**デフォルトの名無しさん** · 2015/05/02(土) 00:16:55.31

自然言語の曖昧さの排除という使命がある以上
闇雲に抽象化すればいいってもんでもないだろ

さらに言うなら「単なる結果」でない
形式手法を使う積極的理由なんてあるのか？

**デフォルトの名無しさん** · 2015/05/02(土) 09:28:39.94

皆独り言を言っている。

**デフォルトの名無しさん** · 2015/05/02(土) 20:56:44.49

どいつもこいつもｗこの分野のやつらはｗ
そんなのを抽象化なんて言うから世間から笑われるんだ
単なるアバウトって言うんだよ

**デフォルトの名無しさん** · 2015/05/09(土) 05:15:44.76

>>294
アバウトなのは、抽象に関するあんたの理解。

**デフォルトの名無しさん** · 2015/08/10(月) 08:36:36.39

質問に罵倒なんぞは自然言語でいいが、主張は形式手法言語で書いてくれ。
Event-Bしか読めないけど。

**デフォルトの名無しさん** · 2015/08/10(月) 23:38:42.28

形式言語で表現できるのは形式的意味でしかなく
主張するところの、いわゆる意味を示すことはできない

そして論理的に矛盾の無い主張だからといって有意義とは限らない
ここで「偶数+奇数は奇数だ！」と主張したところで
スレチとなるだけ

ま、自然言語から意味を見出しているのも幻想かもしらんが

**デフォルトの名無しさん** · 2015/12/30(水) 12:08:29.72

Alloyって楽しいな。
コンピュータと対話しながら、記述対象に対する自分の理解を深められるのがとても楽しい。

**デフォルトの名無しさん** · 2016/03/03(木) 22:41:34.71

test

**デフォルトの名無しさん** · 2018/05/23(水) 23:09:57.69

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

ZLPAL

**デフォルトの名無しさん** · 2018/07/04(水) 22:59:43.98

LGL

**デフォルトの名無しさん** · 2018/07/06(金) 12:34:31.11

ZLPAL