2026-05-22
2026-05-21←前　次→2026-05-23
ゲーデルの不完全性定理
ゲーデルの不完全性定理 / 証明不可能性を証明する - YouTube
ゲーデルの不完全性定理
AddyOsmani.com - Don't Outsource the Learning
/nishio/本人の認識よりも高すぎる壁
競技プログラミングで解法を思いつくための典型的な考え方 | アルゴリズムロジック
圏論、型理論
『Introduction to Higher-Order Categorical Logic』
#日誌