ラムダ計算

• 対話で学ぶカリー化関数・ラムダ計算・計算の本質 ― 🧙‍♂️（博士）と🐣（学生）の長い寄り道 2026-03-15
  カリー化関数の疑問から出発し、同型、クロージャ、Church numeral、情報理論との違い、最小モデルの思想までを🧙‍♂️（博士）と🐣（学生）の対話で掘り下げる。