2011-09-25 [長年日記]
λ. 自動定理証明の紹介
ProofSummit2011 にて、「自動定理証明の紹介」という題でLTの発表を行いました。 内容的には、この日記のtheorem-provingタグで書いていたものから、適当にピックアップした感じです。
自動定理証明の紹介 from Masahiro Sakai
Video streaming by Ustream
なお、PowerPointのテンプレートとして「交差点の真ん中で」の「037:(2006/11/21)」を使わせていただきました。 この時期にあった素敵なテンプレートを、ありがとうございます。