- 1 名前：デフォルトの名無しさん mailto:sage [2013/01/05(土) 21:09:06.67 .net]
- スレがないので立ててみた
参考ページ
en.wikipedia.org/wiki/Formal_methods
ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95
- 293 名前：デフォルトの名無しさん [2015/05/02(土) 20:56:44.49 ID:0dQA+dZy.net]
- どいつもこいつもｗこの分野のやつらはｗ
そんなのを抽象化なんて言うから世間から笑われるんだ
単なるアバウトって言うんだよ
- 294 名前：デフォルトの名無しさん mailto:sage [2015/05/09(土) 05:15:44.76 ID:gLXIswIQ.net]
- >>293
アバウトなのは、抽象に関するあんたの理解。
- 295 名前：デフォルトの名無しさん mailto:sage [2015/08/10(月) 08:36:36.39 ID:R/t8P2/U.net]
- 質問に罵倒なんぞは自然言語でいいが、主張は形式手法言語で書いてくれ。
Event-Bしか読めないけど。
- 296 名前：デフォルトの名無しさん mailto:sage [2015/08/10(月) 23:38:42.28 ID:8/xPnylN.net]
- 形式言語で表現できるのは形式的意味でしかなく
主張するところの、いわゆる意味を示すことはできない
そして論理的に矛盾の無い主張だからといって有意義とは限らない
ここで「偶数+奇数は奇数だ！」と主張したところで
スレチとなるだけ
ま、自然言語から意味を見出しているのも幻想かもしらんが
- 297 名前：デフォルトの名無しさん [2015/12/30(水) 12:08:29.72 ID:z2Nurwun.net]
- Alloyって楽しいな。
コンピュータと対話しながら、記述対象に対する自分の理解を深められるのがとても楽しい。
- 298 名前：デフォルトの名無しさん mailto:sage [2016/03/03(木) 22:41:34.71 ID:tH72Ij/h.net]
- test
- 299 名前：デフォルトの名無しさん [2018/05/23(水) 23:09:57.69 ID:Au5e7VGg.net]
- 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
ZLPAL
- 300 名前：デフォルトの名無しさん [2018/07/04(水) 22:59:43.98 ID:gFgZc5FG.net]
- LGL
- 301 名前：デフォルトの名無しさん mailto:sage [2018/07/06(金) 12:34:31.11 ID:uTPDH9XV.net]
- ZLPAL
|
 |
