>>383
PRIMS < Proc. AMS < Bull. LMS < JMSJ
かな