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公開セミナー] 論理学
![基礎演習 I 論理学](https://cdn-ak-scissors.b.st-hatena.com/image/square/06a15c64ba0ceec233d86d71001ebb29a9dcbf5d/height=288;version=1;width=512/https%3A%2F%2Fcdn.blog.st-hatena.com%2Fimages%2Ftheme%2Fog-image-1500.png)