そう考えると非可算集合に一種の和みたいな実数値割り当てる積分って神だな…