2009-06-19 メモ λc.λk.c(k・f) λk.k(a) ├─────────→ λk.k(b) ↑ ↑ │ │ │ │ │ │ │ │ │ │ │ │ ┴ f ┴ a ├─────────→ b