計算可能性とラムダ計算
#読書
https://images-na.ssl-images-amazon.com/images/I/41geYA2yb6L._SX342_BO1,204,203,200_.jpg
§1 計算可能な関数