omochimetaru 8/23/2017 10:40 AM

でも f1(_ x: P1) は制約じゃないよ

10:40 AM

f2のほうは制約だけど。