プログラミング言語の機能で、さまざまなデータ型に対して同じロジックを適用できるコードを記述するための仕組み