>>222
> 形式手法を使う意味は半減するよ。
これが文字通り意味が50%になるって主張なら「同時に成立させてはいけない」とは言ってない。
しかし明らかにこの発言には「識別子の字面に引きずられてはいけない」という
否定的な主張が含まれている。
違うかね?
探検
【Alloy】形式言語による仕様記述【VDM】
■ このスレッドは過去ログ倉庫に格納されています
224デフォルトの名無しさん
2013/10/08(火) 21:47:32.85■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【地震速報】青森県で震度6強 沿岸部に津波警報 ★2 [ぐれ★]
- 【速報】高市総理が官邸入り [Hitzeschleier★]
- 【震度6強】政府 危機管理センターに官邸対策室を設置 [ぐれ★]
- 「日の丸にバツ印」掲げた大学生 あいまいな国旗損壊罪に「怖い」 The Mainichi [少考さん★]
- 高市内閣「支持」64%「不支持」19% NHK世論調査 ★2 [少考さん★]
- 東北電力、女川原子力発電所の安全設備に異常は確認されていないと投稿 午後11:52 [少考さん★]
- 高市すごい勢大発生 [256556981]
- 地震 ★2
- 【速報】高市早苗、起床 [779938112]
- 青森で大火事 [579392623]
- 【🏡】岩手ビックウェーブ🏄うおおおおおおおおおおお🌊
- 大地震
