トップ «前の日記(2012-08-26) 最新 次の日記(2012-09-23)» 月表示 編集

日々の流転


2012-09-02 [長年日記]

λ. Omega test and beyond

ProofSummit2012 にて、Omega test and beyond という題での発表を行いました。内容は Coq の omega タクティック他で広く使われている Omega test という決定手続きの概要とその周辺の簡単な紹介です。Keynote使うのが初めてだったので、スライド作りにはちょっと苦戦してしまった。

資料 (PDF, Keynote)

関連