Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Shunsuke Yatabe

yatabe

0 Stars

Decks

[2026前期火５] 論理学（京都大学文学部前期第14回）「計算は、証明ではない——ハルシネーションを三層ハーモニーで診る」

0

110

[2026前期火５] 論理学（京都大学文学部前期第13回）「走って、止まって、積み上がる」

0

140

[2026前期火５] 論理学（京都大学文学部前期第12回）「証明を走らせる：カリー・ハワード対応」

0

210

[2026前期火５] 論理学（京都大学文学部前期第11回）「ハーモニー：三層モデルと保存拡大」

0

180

[2026前期火５] 論理学（京都大学文学部前期第10回）「論理学の哲学——意味とは何か（Tonkと推論主義）」

0

210

[2026前期火５] 論理学（京都大学文学部前期第9回）「正規化の停止性——ヒドラゲームによる証明」

0

200

[2026前期火５] 論理学（京都大学文学部前期第8回）「正規化定理の証明」

0

240

[2026前期火５] 論理学（京都大学文学部前期第7回）「命題論理の証明まとめ」

0

85

[2026前期火５] 論理学（京都大学文学部前期第6回）「かつとまたはの規則」

0

440

[2026前期火５] 論理学（京都大学文学部前期第5回）「ならばの問題演習・proof net・かつの規則」

0

360

[2026前期火５] 論理学（京都大学文学部前期第4回）「ならば（→）の導入と証明ネット」

0

510

[2026前期火５] 論理学（京都大学文学部前期第3回）「形式言語と四つのキーワード：メタ・構成・意味論・ハーモニー」

0

600

[2026前期火５] 論理学（京都大学文学部前期第2回）「論理的な正しさはどこにあるのか」

0

1k

[2026前期火５] 論理学（京都大学文学部前期第1回）「ハルシネーションを外部世界との対応を考えずに見分ける方法」

0

1.2k

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