リーマン積分
Generalized Riemann integral