moonmile solutions 分室

ソフトウェア開発者の情報収集をリアルタイムで垂れ流し...という具合に行きます。

VMD 形式仕様記述言語

VDM++による形式仕様記述
http://research.nii.ac.jp/~f-ishikawa/vdm/index.html

直感的に、昔から「むかむか」するのは何故だろう?

No Thank You な「言語」である。