■

第177回CAPEレクチャー(2021/09/12)

日時: 2021年09月12日(日) 16:00-18:00
開催方法:Youtubeにて中継

タイトル:

構成と解体：原始再帰関数の計算と推論の共通点

アブストラクト:

推論と計算はよく似ていると言われ、多くの共通点が指摘されています。その中で、本レクチャーでは、「必ず有限ステップで答を出さなければならない」という性質に着目し、計算と推論（証明）がともに、有限ステップの「構成」と「解体」という操作に分解でき、本質として同じで表現の仕方が異なるのだということを紹介します。

資料

構成と解体:原始再帰関数の計算と推論の共通点 from Shunsuke Yatabe

参考資料

www.academia.edu

中継