CAPE論理学上級Ⅱ「構成的型理論」 開催予定日（中継urlは本ポスト下部を参照してください） ① 3月26日（土）1030-1230「ラッセルのパラドックスと3つの対策」 ② 3月26日（土）1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 ③ 3月27…