よく分らんが、UMLみたいなモデリングに関するものって
形式的仕様記述と呼べる物なのか？おれは代数学を
使わないとそうは呼べないものだと思っていたが。論理で
ゴリゴリやるのもそう読んでいいかもしれんけど。