ラムダ定義可能な関数