多重に定義された型(多重定義型)ある型は複数のクラスの要素かもしれない。そのとき、この型は「多重に定義された型」であるという多相性クラスは複数の型を要素として取るので、複数の型をひとまとめにして、「あるクラスの要素である型は...」と、取り扱いたくなるこのようなとき、複数の型をひとまとめにして、型aは、と言ったりする。(1)はてなブログをはじめよう!ryamadaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。