媒介変数
函数を定義することには、一つまたは複数の変数を、独立変数として指定することが含まれる。補助変数を含む形で函数を定義することもできるが、ふつう補助変数はその函数のとる引数としてはリストしない。補助変数を含めて考えるとき、実際には一つの函数ではなく函数の族の全体を定めているのだと考えなければならない。例えば、一般の二次函数を
と宣言する場合、この函数の引数は x であり、a, b, c は(a がゼロでないという条件を満たす)「任意定数」である。この「任意定数」 a, b, c の値を一つ決めるごとに個々の特定の二次函数が決定されると考えることができるという意味で、a, b, c はこの二次函数の族のパラメータである。二次函数のグラフを描いたとき、パラメータ a が放物線の形を決定しており、パラメータは個々の二次函数を特徴付ける量である。 函数がパラメータに依存して決まることを陽に表すために、パラメータを函数名に含めてることができる。例えば、底 b-の対数を定義するのに定義式として
と書けば、左辺で対数函数の記号 log に付けられた添字 b は今どの対数が用いられているかを指し示すパラメータである。