2006-11-29から1日間の記事一覧
受理されたようです.発表するのは共著者の予定. 前の日記でも少し触れたが,最近Coqにハマっている. とりあえずtree transducer関連のものを片っ端から定式化しているけども, まだgoal-directedの証明に慣れてない所為かcut規則を使いまくっている. 知…
受理されたようです.発表するのは共著者の予定. 前の日記でも少し触れたが,最近Coqにハマっている. とりあえずtree transducer関連のものを片っ端から定式化しているけども, まだgoal-directedの証明に慣れてない所為かcut規則を使いまくっている. 知…