バナッハ環
Banach algebra cohomology