単関数の細分割