>>265
｢プログラムあるいは仕様を数学的な記号で表現できる｣ ってところが
本質的な所のようだが。
どこまでそれができている？Haskellのこと？ググればいいプログラム
例ある？