基礎演習 I 論理学CAPE論理学上級Ⅱ「構成的型理論」 開催予定日（中継urlは本ポスト下部を参照してください） ① 3月26日（土）1030-1230「ラッセルのパラドックスと3つの対策」 ② 3月26日（土）1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 ③ 3月27日（日）1030-1230「証明論的意味論としてのマーティン・レーフの構成的型理論」 ④ 3月27日（日）1430-1630「認識論の機械化：証明の正規化と証明支援系」 ①3月26日（土）1030-1230「ラッセルのパラドックスと3つの対策」 [2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」 from Shunsuke Yatabe ②3月26日（土）1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 [2021CAPE公開セミナー] 論理学
