haskell-ja > Archives > 2012/11/12

ありがとうございます。
ご存じのように形式的仕様記述の方法は既に多数
提案されていますが、それらはどれも、形式検証
の能力は備えているのではないでしょうか？
しかしそれは形式的仕様としては当然の条件であ
り、むしろ何をどう書かせるかの方がより本質的
なのではないかと思っています。それではどんな
のがよいのか私などには具体的なアイデアを示す
ことはできないのですが、少なくとも関心や評価
の中心はそちらの方に向かうべきではないかと思
っています。