型替え手順の基本です。