0228デフォルトの名無しさん
2013/10/08(火) 21:59:09.82形式的な意味しかない記号の列を作って「仕様書いてます」と言えるの？
【Alloy】形式言語による仕様記述【VDM】
■ このスレッドは過去ログ倉庫に格納されています
形式的な意味しかない記号の列を作って「仕様書いてます」と言えるの？
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【文春】安藤美姫(36)が16歳教え子と手つなぎデート [おっさん友の会★]
- 【東京】タクシー運転手に「君に払う金はない」と言い、顔を殴った疑い…デジタル庁職員を強盗容疑で逮捕 [おっさん友の会★]
- ほとんどの日本人は海外旅行に行けなくなってしまった…日本が目を背ける「悲しい現実」 ★2 [ぐれ★]
- 「電動スーツケース」で走行か 女性書類送検、大阪府警が初摘発 三🧳 [少考さん★]
- 【静岡】富士山頂火口で登山客とみられる3人発見 いずれも心肺停止の状態か 山岳救助隊が活動続ける [ぐれ★]
- 【岡山】「我慢できなかった」 徒歩で帰宅中の20代女性にわいせつな行為をした疑い 中学2年生（14）の少年を逮捕 [シャチ★]
- 【悲報】ドラゴンボール「孫悟飯とピッコロの最強形態がこちらです」→ダサすぎると話題にwwwwwwwwwwww [426633456]
- 【動画】あのちゃん(16)、コミュ障すぎて可愛い✨✨ [632966346]
- お絵描きAIくん、バルンバルンの女の子も作れる
- 🏗🏡 建設人手不足です 浪人様お願いします
- とうすこが解禁されたホロアンに攻め込むお🏡
- テレビタレントとYouTuberでは格か違う