琴葉姉妹の数学キソ論:第4回「愛と平和とストーカー」
2018/1/22
琴葉姉妹の数学キソ論:第2回「光と闇のパラドックス」
2018/1/13
頭を使うクイズ3
2007/9/6
宇佐見教授の哲学パラドクス講座⑤ ~怪奇!!皆既日食
2009/12/13
【東方人形劇】蓮子とメリーの秘封倶楽部活動 番外編 ~悪魔の証明
2009/6/16
哲学の「て」第3回 ヴィトゲンシュタイン+クリプキ=パラドックス
2009/3/20
若き日のサール、ウィトゲンシュタインを語る その1
2008/9/21
【VOICEPEAK解説】ずんずん命題論理(8)健全性の2
2024/4/10
直観主義論理の気持ち @第29回日曜数学会
2024/3/17
【VOICEPEAK解説】ずんずん命題論理(7)健全性の1
2024/2/16
【VOICEPEAK解説】ずんずん命題論理(6)証明の3
2024/2/13
琴葉茜と シーケント計算LKの健全性
2024/1/3
【VOICEPEAK解説】ずんずん命題論理(5)証明の2
2023/12/24
【VOICEPEAK解説】ずんずん命題論理(4)証明の1
2023/10/15
【VOICEPEAK解説】ずんずん命題論理(3)統語論
2023/5/27
【VOICEPEAK解説】ずんずん命題論理(2)意味論
2023/4/9
琴葉茜と 一階述語論理のα同値性
2023/4/7
【VOICEPEAK解説】ずんずん命題論理(1)導入
2023/3/29
【論理学】ひろゆきが使う詭弁対策講座 ブーメラン編【VOICEROID解説】
2022/12/21
【ゆっくり解説】それって本当に因果関係?因果関係の詭弁と誤謬【第1論】
2022/8/9
【後編】モデル検査入門【作ってみよう】
2022/8/4
【前編】モデル検査入門【作ってみよう】
2022/8/3
【ゆっくり論理学解説】ひろゆきvs勝間和代編
2022/6/6
琴葉茜と 表現的適格性と演繹定理
2022/5/7
琴葉茜と 一階述語論理の統語論と意味論
2022/4/9
【ゆるく解説】並列処理の基礎知識
2021/9/25
【ゆっくり解説】飛行機でよく聞く(らしい)Fish or chicken?は論理学的に正しいのか
2021/5/21
【ボイスロイド解説】犯人がどうしても見つからない殺人事件のパラドックス
2020/11/28
【ゆっくり解説】ロジカルシンキングとは?論理的とは?
2020/6/14
実数について
2020/6/3
多重否定について
2020/5/29
【作ってみた】SATソルバを作ってみよう【論理学】
2020/5/19