tarunon 11/22/2017 9:24 AM

同じ具体型なら変数そろえて同一視できる