オブジェクト指向入門によると、動的束縛の実現手段として多相とサブタイプによる再定義があって、…という話の流れでした (edited)