ラムダ抽象の構文を少し変更