バナッハ空間
Banach space-valued integral.