リーマン積分
As a generalization of the Riemann integral.