この資料をSMS送信: An introduction to functional programming through Lambda calculus / Greg Michaelson.