関数を変数に格納したり，他の関数の引数にしたり，返り値にできるプログラミング言語の性質あるいは関数のことを指す言葉．