>>496
φ(..)じゃ代理