実行時に型が決まるってことはないの?