tarunon 4/14/2017 3:09 AM

型消しに共変性に近い機能を+する