∞∞(σ∧σ*)∞∞ | 細川