多項演算子
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/11 02:16 UTC 版)
二項演算子における記法の多くはそれ以上の任意有限個の被演算子を持つ演算子に対しても、引数を列記する方法を与えるなどの適当な方法で拡張を受ける。さらに、添字集合を適当に指定することによって複数(一般には無限個)の被演算子を一つの被演算子に見立てることも有限的な記述には効果的である。それによって無限個の被演算子を持つ演算子に有限項演算の記法を援用することが可能になる。また、このとき与えた添字もやはり被演算子と解釈することが可能である。 また、前述の log に対する記述とまったく同じ理屈を逆に考えれば、二項演算子のとる二つの被演算子のうち一つを固定する(代入可能な値を代入する)ならば、それによって新たに単項演算子が得られる(あるいは固定する被演算子を添字とする単項演算子の族が得られる)ということが理解される。同様にして、多くの被演算子を持つ多項演算子のうち一つあるいは複数の被演算子を固定することによって、与えられた多項演算子をより制限された数の被演算子を持つ演算子族と読みかえることができる(カリー化)。
※この「多項演算子」の解説は、「演算子」の解説の一部です。
「多項演算子」を含む「演算子」の記事については、「演算子」の概要を参照ください。
- 多項演算子のページへのリンク