>>6
型抜きって何なの?