ポリモーフィズム （ 英: polymorphism ）とは、それぞれ異なる型に一元アクセスできる共通接点の提供 、またはそれぞれ異なる型の多重定義を一括表現できる共通記号の提供 を目的にした、 型理論 または プログラミング言語理論 （ 英語版 ） の概念および実装である。 この用語は、有機組織および生物の種は様々な形態と段階を持つという 生物学 の概念からの借用語である 。 多態性 、 多相性 と邦訳されることが多い。 ポリモーフィズムは、通常以下の三種に分けられる。