VDM http://en.wikipedia.org/wiki/Vienna_Development_Method
Z http://en.wikipedia.org/wiki/Z_notation
探検
集合論に基づいた言語を作りたい
■ このスレッドは過去ログ倉庫に格納されています
360デフォルトの名無しさん
2014/09/24(水) 22:19:34.82ID:u+CQqrHx■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】「女芸人No.1決定戦 THE W」9代目女王にニッチェ！ ７年ぶり３度目で悲願の優勝 [牛丼★]
- 中国・ロシア両軍の爆撃機が東京方面へ向かう「異例のルート」を共同飛行…核も搭載可能、連携して威嚇か ★7 [ぐれ★]
- 731部隊の新資料、中国が公開 「日本が細菌戦の罪を自白」と主張 ロシアが引き渡し [少考さん★]
- 【広島】ペルー女性の国保加入を誤って認め、福山市が医療費４８４万円を肩代わりするミス…入院して手術を受ける [ぐれ★]
- 東京の自販機そばに金塊4200万円分、何者かに持ち去られる…札幌の５０代が8000万円振り込んだ後に上京して被害 [どどん★]
- 山田邦子 ひょうきん族時代の年収は１２億円「ただ税金が８０％」 [muffin★]
- テメェは俺を怒らせたオラァ👊💢😅💢👊🏡
- 【実況】博衣こよりのえちえちダンガンロンパ2🧪
- 中国 わりとオブラートに包んでわーくにを牽制してしまう「軍国主義復活の企みは失敗する」 [163661708]
- ブレイキングダウンの前日記者会見ビンタされて失神してる奴出てるやん
- 好きな人じゃない仲良い人からどうでもいい報告ラインが来る
- おさかなさんあつまれえ