あるいは定理証明系について

This entry was posted by on Tuesday, 27 June, 2006
> >最上の日々 >
を読んでいて、私の理解が正しければそれは coq とか agda とかいった定理証明系なのだと思うのだが、どうだろう(←いまいち自信ない)。 > >まぁただ詳細を省いて表示とかいったようなビュー的な部分はないんじゃないかと思うんだがそこなんですかね。ふむ。 > >ところでああいったツールというのはどれくらい知られていてどれくらい利用されているのだろうか。まぁ同じよーなことを考えている人はいて、しかし本格的に利用されるほどこなれていないのが現状、という理解で良いのかな。 >
Category: Uncategorized
You can follow any responses to this entry via RSS.
Both comments and trackbacks are currently closed.

Comments are closed.