連続的反転を持つ代数.