変数と関数は区別できない　λ式ってどうして導入されないんだろう。