- 225 名前：デフォルトの名無しさん mailto:sage [2013/10/08(火) 21:50:53.87 .net]
- >>223
いや、実際その例はまやかしだよ。
じゃあ
pi = 3.1415926532
だったらどうする？
piを円周率だと思って読み進めて地雷作る？
eだろうがpiだろうが3.14159だろうが3.1415926532だろうが
「記号として書いてある通り」
に理解して
「記号として定義されている通り」の振る舞いについて
validityを評価するしかあるまい？
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
【Alloy】形式言語による仕様記述【VDM】
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef