狠狠撸

狠狠撸Share a Scribd company logo
shunsukeyatabe

Shunsuke Yatabe

18 狠狠撸Shares22 Followers19 Followings
18 狠狠撸Shares22 Followers19 Followings
Personal Information
Organization / Workplace
Kobe Japan
Occupation
非常勤讲师
About
I am a logician, and I am interested in logical theories of the circularity. So I am studying set theories and truth theories within non-classical logics.

Presentations(18)?

See all
[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」
[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」
[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」
?
[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン?レーフの構成的型理論」
[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン?レーフの構成的型理論」[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン?レーフの構成的型理論」
[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン?レーフの構成的型理論」
?
[2021CAPE公開セミナー] 論理学上級 Ⅱ-2「カリー?ハワード対応と『証明のデータ型としての命題』観」
[2021CAPE公開セミナー] 論理学上級 Ⅱ-2「カリー?ハワード対応と『証明のデータ型としての命題』観」[2021CAPE公開セミナー] 論理学上級 Ⅱ-2「カリー?ハワード対応と『証明のデータ型としての命題』観」
[2021CAPE公開セミナー] 論理学上級 Ⅱ-2「カリー?ハワード対応と『証明のデータ型としての命題』観」
?