>>53
>形式的仕様ってその程度で満足してもらえるんだ。進まんはずだ。
ほら、この日本語文1つ取っても書いた本人以外には意味不明だろ？
探検
【Alloy】形式言語による仕様記述【VDM】
■ このスレッドは過去ログ倉庫に格納されています
2013/02/01(金) 04:35:25.45
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【地震速報】青森県で震度6強 沿岸部に津波警報 ★2 [ぐれ★]
- 【速報】高市総理が官邸入り [Hitzeschleier★]
- 【震度6強】政府 危機管理センターに官邸対策室を設置 [ぐれ★]
- 「日の丸にバツ印」掲げた大学生 あいまいな国旗損壊罪に「怖い」 The Mainichi [少考さん★]
- 高市内閣「支持」64％「不支持」19％ NHK世論調査 ★2 [少考さん★]
- 東北電力、女川原子力発電所の安全設備に異常は確認されていないと投稿 午後11:52 [少考さん★]
- 高市すごい勢大発生 [256556981]
- 地震 ★2
- 【速報】高市早苗、起床 [779938112]
- 青森で大火事 [579392623]
- 【🏡】岩手ビックウェーブ🏄うおおおおおおおおおおお🌊
- 大地震