Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Shunsuke Yatabe

Shunsuke Yatabe

yatabe
0 Stars

Decks

[2026前期火５] 論理学（京都大学文学部 前期 第12回）「証明を走らせる：カリー・ハワード対応」
Avatar for Shunsuke Yatabe yatabe
0
58
[2026前期火５] 論理学（京都大学文学部 前期 第11回）「ハーモニー：三層モデルと保存拡大」
Avatar for Shunsuke Yatabe yatabe
0
130
[2026前期火５] 論理学（京都大学文学部 前期 第10回）「論理学の哲学——意味とは何か（Tonkと推論主義）」
Avatar for Shunsuke Yatabe yatabe
0
150
[2026前期火５] 論理学（京都大学文学部 前期 第9回）「正規化の停止性——ヒドラゲームによる証明」
Avatar for Shunsuke Yatabe yatabe
0
140
[2026前期火５] 論理学（京都大学文学部 前期 第8回）「正規化定理の証明」
Avatar for Shunsuke Yatabe yatabe
0
190
[2026前期火５] 論理学（京都大学文学部 前期 第7回）「命題論理の証明まとめ」
Avatar for Shunsuke Yatabe yatabe
0
76
[2026前期火５] 論理学（京都大学文学部 前期 第6回）「かつとまたはの規則」
Avatar for Shunsuke Yatabe yatabe
0
370
[2026前期火５] 論理学（京都大学文学部 前期 第5回）「 ならばの問題演習・proof net・かつの規則」
Avatar for Shunsuke Yatabe yatabe
0
330
[2026前期火５] 論理学（京都大学文学部 前期 第4回）「 ならば（→）の導入と証明ネット」
Avatar for Shunsuke Yatabe yatabe
0
480
[2026前期火５] 論理学（京都大学文学部 前期 第3回）「形式言語と四つのキーワード：メタ・構成・意味論・ハーモニー」
Avatar for Shunsuke Yatabe yatabe
0
570
[2026前期火５] 論理学（京都大学文学部 前期 第2回）「論理的な正しさはどこにあるのか」
Avatar for Shunsuke Yatabe yatabe
0
980
[2026前期火５] 論理学（京都大学文学部 前期 第1回）「ハルシネーションを外部世界との対応を考えずに見分ける方法」
Avatar for Shunsuke Yatabe yatabe
0
1.1k

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade