>>940
コンパイル時に具体型が決まる必要はない
抽象型が決まれば呼び出せるメソッドも定まる