ヒビルテ(2011-09-25)

日々の流転

2011-09-25 [長年日記]

ProofSummit2011 にて、「自動定理証明の紹介」という題でLTの発表を行いました。内容的には、この日記のtheorem-provingタグで書いていたものから、適当にピックアップした感じです。

資料(PDF, PPT):

自動定理証明の紹介 from Masahiro Sakai

ustream.tvによる録画:

なお、PowerPointのテンプレートとして「交差点の真ん中で」の「037:(2006/11/21)」を使わせていただきました。この時期にあった素敵なテンプレートを、ありがとうございます。