論計舎Live配信20230318

(32:11)

論計舎Live配信20230107

(29:20)

論計舎Live配信 16 Sep. 2023

(30:25)

[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」

(2:4:36)

論理学友の会例会#14よりyak_exさん発表「Coqのふんいき」

(38:23)

論計舎 おすすめ教科書：数理論理学編

(3:52)

論計舎代表のVlog：研究する日常編[習作]

(1:42)

[2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」

(2:13:35)

論理学友の会例会#14よりAaronさん「連続発表第1回ラムダ計算でコーディング」

(42:9)

論計舎 川井おすすめの数理論理学入門書

(4:48)

論理学友の会第0会Alweさん発表「Goodsteinの定理の証明」

(24:25)

【層の理論】Sheaf theoryとLie型単純群の既約指標【表現論】

(29)

論理学友の会例会#17より松本さん発表「Church Rosser性の証明」

(47:38)

符号化~数値計算から情報処理へ~

(23:52)

論理学友の会第二回よりカワイ発表「カリーハワード対応から始める数理論理学（初回）」

(20:10)

論理学友の会第1回より松本さん発表「直観主義論理の連言断片」

(41:1econd)

論計舎の紹介

(5:50)