>>974
> p(↑W)
p は2形式なんだよね。これなんか型おかしくない?