公称的部分型

nominal subtyping

継承による親子関係で部分型