演算子の関数化と高階関数