の原始関数
  とすると