手続き型を宣言して、それにキャストすれば良いのでは