「型の理論」入門（５）「論理的推論２ -- Natural Deduction」

(5:54)

「型の理論」入門 (5) -- 論理的推論（２）推論ルール -- Natural Deduction

(15:27)

「型の理論」入門 (4) -- 論理的推論（１）判断と論理式

(12:26)

働き方改革は循環型社会の実現の妨げ？日本の社会課題を徹底議論【リディラバ安部敏樹さん】

(8:46)

「型の理論」入門（４）「論理的推論１ -- 判断と論理式」

(4:1econd)

サルでもわかる『論理的思考能力』！岡田斗司夫さんが『論理的思考』について分かりやすく解説します【岡田斗司夫/切り抜き/SE/説明/解説】

(4:25)

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

(2:4:36)

「数理論理学」解説(5) 3.2.1節～3.2.2節「命題論理の意味論」

(49:42)

保存必須！賢くなれる本3選

(28)

論理的思考を鍛える方法【2021/10/15】《ひろゆき切り抜き》 #Shorts

(19)

10秒でできたらIQ120越え？の計算問題#ネタ#計算#まちがいさがし

(25)

[2021後期火５]哲学(演習)　論理学　後期第12回授業（京都大学文学部・矢田部俊介）「古典命題論理の推件計算」

(1:25:37)

デキる人の論理的思考法 #shorts #図解 #デザイン #ロジカルシンキング #tiktok教室

(15)

「型推論」特別講義 第5回 (プログラミング言語の基礎理論シリーズ）

(48:48)

サイバーフィジカルシステム入門 5-(2) 同期型リアクティブモデル

(10:8)

ロジカルシンキングを身につけるコツとは？#shorts

(17)

[2020後期火５]哲学(演習)　論理学　後期第05回授業（京都大学文学部・矢田部俊介）「最小論理＋矛盾律＝直観主義論理」

(1:36:40)