仕様記述言語 VDM というものを勉強させていただいています。仕様記述なので「プログラム的に書いた仕様書」であり、この時点で論理的なエラーがないか検出するためのもの見たいなのですが… 結局これ「言語」なんで、ガリゴリコード書いていく形っぽいんです…