>>953
でも、mpの形をしていなければ、Pを代入した時に0になる
関数にはならないと思うけど・・・。