0263デフォルトの名無しさん垢版
2013/10/16(水) 11:28:49.24それを「細かいこと」なんて言う人が
形式手法に何の用があるんだい？あほ？
【Alloy】形式言語による仕様記述【VDM】
■ このスレッドは過去ログ倉庫に格納されています
それを「細かいこと」なんて言う人が
形式手法に何の用があるんだい？あほ？
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【NHK】「ママチャリとトラブル」動画を“さらし”拡散 法的責任問われる可能性 ★4 [Hitzeschleier★]
- タンス預金50兆円が狙われる！4月1日から銀行口座とマイナンバーが紐付けられる『口座管理法』とは…トラブル続出制度に新たな火種 [少考さん★]
- 【ドジャース】大谷翔平、今季3度目3安打に1盗塁と躍動 打率.360まで上昇！チームは今季初の完封負けで2カード連続負け越し [フォーエバー★]
- 命がけで飼い主を守った犬は瀕死の重体…酔ったナンパ男4人、被害女性の犬を暴行し逃走「酷い、鬼です！」「絶対に許せない」 [ごまカンパチ★]
- 専門家「南海トラフに沈み込むプレートの中で起きた」 余震に警戒を [蚤の市★]
- コロナワクチン接種後死亡 遺族ら13人が国を集団提訴 約9150万円の賠償を求める「マイナス情報を広報せず、被害を広げた」 ★3 [Hitzeschleier★]
- 【WOWOW】UEFAチャンピオンズリーグ・ヨーロッパリーグ 決勝トーナメント★20
- 【WOWOW】UEFAチャンピオンズリーグ・ヨーロッパリーグ 決勝トーナメント★21
- ドジャースvsナショナルズ 7
- 【D専】
- こいせん祝勝会 全レス転載禁止
- わしせん
- 腸内の調子が良くない助けて
- 白人観光客「日本はまともな国だと思ってたのに、誰も英語が喋れなくてショックをうけた」１０万いいね [207516352]
- しょこたんって今何歳なの？
- 最近のアニメの作画がこれ、感想よろ [207516352]
- 【画像】「東京の年収中央値399万円」にTwitter騒然「金持ちじゃないのに東京住むやつバカじゃん」 [389296376]
- 【悲報】「100日後に死ぬワニ」ってシステムは完璧だったよな… [112948759]