>>622
OOPの「継承」は部分型多相では?