tag:speakerdeck.com,2005:/yatabe tag:speakerdeck.com,2005:Talk/1563313 2026-07-04T20:27:10-04:00 2026-07-04T20:28:16-04:00 科学哲学科学史 (演習) 前期 第12回　論理学　（京都大学文学部・矢田部俊介） 「証明を走らせる：カリー・ハワード対応」 2026年7月7日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1560337 2026-06-28T01:02:46-04:00 2026-06-28T01:04:49-04:00 科学哲学科学史 (演習) 前期 第11回　論理学　（京都大学文学部・矢田部俊介） 「ハーモニー：三層モデルと保存拡大」 2026年6月30日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1557175 2026-06-20T22:59:19-04:00 2026-06-20T23:07:12-04:00 科学哲学科学史 (演習) 前期 第10回　論理学　（京都大学文学部・矢田部俊介） 「論理学の哲学——意味とは何か（Tonkと推論主義）」 2026年6月23日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1554179 2026-06-14T02:51:41-04:00 2026-06-14T02:52:53-04:00 科学哲学科学史 (演習) 前期 第9回　論理学　（京都大学文学部・矢田部俊介） 「正規化の停止性——ヒドラゲームによる証明」 2026年6月16日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1551387 2026-06-06T23:49:19-04:00 2026-06-06T23:52:30-04:00 科学哲学科学史 (演習) 前期 第8回　論理学　（京都大学文学部・矢田部俊介） 「正規化定理の証明」 2026年6月9日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1548641 2026-05-31T02:09:12-04:00 2026-05-31T02:10:06-04:00 科学哲学科学史 (演習) 前期 第5回　論理学　（京都大学文学部・矢田部俊介） 「 命題論理の証明まとめ」 2026年6月2日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1545560 2026-05-24T03:05:16-04:00 2026-05-24T03:06:17-04:00 科学哲学科学史 (演習) 前期 第5回　論理学　（京都大学文学部・矢田部俊介） 「 かつとまたはの規則」 2026年5月26日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1542408 2026-05-17T04:06:19-04:00 2026-05-17T04:08:08-04:00 科学哲学科学史 (演習) 前期 第5回　論理学　（京都大学文学部・矢田部俊介） 「 ならばの問題演習・proof net・かつの規則」 2026年5月19日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1539456 2026-05-10T02:15:05-04:00 2026-05-10T02:16:44-04:00 科学哲学科学史 (演習) 前期 第1回　論理学　（京都大学文学部・矢田部俊介） 「ならば（→）の導入と証明ネット」 2026年5月12日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1534086 2026-04-26T02:51:26-04:00 2026-04-26T02:56:00-04:00 科学哲学科学史 (演習) 前期 第1回　論理学　（京都大学文学部・矢田部俊介） 「形式言語と四つのキーワード：メタ・構成・意味論・ハーモニー」 2026年4月28日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1530952 2026-04-18T22:49:23-04:00 2026-04-18T22:50:58-04:00 科学哲学科学史 (演習) 前期 第2回　論理学　（京都大学文学部・矢田部俊介） 「論理的な正しさはどこにあるのか」 2026年4月21日（火）1645〜1815（予定） 第2回では「論理的に正しい」とはどういう意味かを問います。2000年以上続いてきた「必然性による正当化」がいかに脆いかを確認した上で、より手堅い答えとして「有限の記号操作として追跡できること」を提示します。人間の推論をシステム1/2の二分類から捉え直し、形式言語が人間の再帰的言語能力の外部化であることまでを解説することを目指します。 Shunsuke Yatabe (@yatabe) tag:speakerdeck.com,2005:Talk/1527950 2026-04-11T03:23:32-04:00 2026-04-11T03:25:10-04:00 科学哲学科学史 (演習) 前期 第1回　論理学　（京都大学文学部・矢田部俊介） 「ハルシネーションを外部世界との対応を考えずに見分ける方法」 2026年4月14日（火）1645〜1815（予定） Shunsuke Yatabe (@yatabe) 2026-07-04T20:27:10-04:00