遂に関東進出．自分もちょー行きたかったけど知人の結婚式とかぶるので・・・残念 知り合いが行くことになった模様なので，今度聞いてみよう． http://d.hatena.ne.jp/ripjyr/20080823

Otterの後継にあたるTheorem Prover． Otterは触ったことあるけど，これはないや． 日本語だとどっちが正しいのだろう．定理証明機？定理証明器？定理証明システム？ Prover9 is an automated theorem prover for first-order and equational logic, and Mac…