1-3-1引数としての手続き、1-3-2 lambdaの途中まで