トップ «前の日記(2011-09-19) 最新 次の日記(2011-10-16)» 月表示 編集

日々の流転


2011-09-25 [長年日記]

λ. 自動定理証明の紹介

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

資料(PDF, PPT):

ustream.tvによる録画:


Video streaming by Ustream

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

関連