|
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。
出典を追加して記事の信頼性向上にご協力ください。（2009年6月） |
演算子（えんざんし、英: operator symbol, operator name）は、各種の演算をあらわす記号・符牒のことである。構文論的には演算と演算子は区別されるべきものだが、誤解の恐れのない場合には、しばしば演算子とそれが表す演算自体とを（意図的に）混同して使用する例が見受けられる。
- 量子力学などの物理学における演算子は、数学的には関数解析学などの分野において扱われ、通例作用素と呼ばれる概念である。
また、演算が作用する対象のことを被演算子（operand; オペランド、被演算数、引数）という。たとえば、n と 3 との和を表す式 "n + 3" において、"+" は演算子であり、その被演算子は "n" と "3" である。
詳細は「被演算子」を参照
数学的には、演算は写像の一種であるので、各写像の性質によって演算子を幾つかのクラスに分けることができる（「演算」という用語の意味は、一般には「入力と同種のものを出力する」というニュアンスをもつことが多いものの、明確な基準があるわけではなく、写像という用語との区分は曖昧である）。
目次
- 1 形式的分類
- 1.1 単項演算子
- 1.2 二項演算子
- 1.3 多項演算子
- 2 意味的分類
- 2.1 算術演算子
- 2.2 関係演算子
- 2.3 論理演算子
- 3 プログラミングにおける演算子
- 3.1 算術演算子
- 3.2 関係演算子
- 3.3 論理演算子
- 3.4 その他の演算子
- 4 脚注
- 5 関連項目
形式的分類[編集]
単項演算子[編集]
被演算子が一つだけの演算を表す演算子を、単項演算子という。その記法には、通常は被演算子の前に単項演算子を置く前置記法（ポーランド記法）を用い、被演算子を明示するための括弧 "( )" を伴うことも多い。
代表的な単項演算子として、平方根を表す根号 "√ " がある[1]。負を表す（減算ではない）負符号もそうである（例 : "−3"）。通常は省略されるものの、正符号も単項演算子として書くことがある（例 : "+0"）。階乗を表す感嘆符（例："n!"）も単項演算子であり、これは例外的に後置記法で書く。絶対値を表す2本の縦線も単項演算子である（例 : |x|）。
関数 f(x) の "f( )" も単項演算子であり、符牒となる文字列 "f" を関数子などと呼ぶ場合もある。関数子としては任意の文字列を使用することができ、代表的なものとして三角関数 "sin", "cos", "tan" などが挙げられる。微分作用素の "d/dx" または "D" や、差分作用素 "Δ" も単項演算子である。関数に「′」も微分作用素である。例えばf(x)の微分をf′(x)と表せる。 また、定数 a を与えるごとに（a が代入可能である限りにおいて）対数関数 loga x が考えられるが、このとき loga は定数一つを含む形で単項演算子として働く（そのような場合、a はその文脈で固定されているために省略を受け、単に log と記して扱われることも少なくはない）。ただし、仮に a をも変化させて扱うならば loga x なる式において log は二つの被演算子 a と x を持つ二項演算子（後述）と解されることになる。 また、loge xをLnxと表すことがある。
二項演算子[編集]
二つの被演算子から一つの結果を得る演算を表す演算子を二項演算子という。数学での写像を表現するのに通常は前置記法で書くのに対して、二項演算子は中置記法で書くことが多い。つまり、"k + 3" のように演算子を二つの被演算子の中間に置く。
二項演算を2変数の関数として、B(·, ·) のように関数子と括弧とコンマを用いた形式で（「·」の位置にそれぞれ適当な被演算子を配置して）表すこともしばしばある。このような形式で被演算子を併記する方法では二項以上の多項演算も表現することができる。明示的な関数子をもたない場合もあり、例えば内積 "<·, ·>", 微分作用素（リー環）の括弧積（リーのブラケット）"[·, ·]", ポアソン括弧 "{·, ·}", ルジャンドル記号 "(· / ·)" などが挙げられる。これらは複数の記号で一つの演算子の働きをする。また、例えば二項係数の2種類の記法
のように、一つの演算に対して複数の異なる記法の（場合によっては形式も異なる）演算子が用いられていることもある。
多項演算子[編集]
二項演算子における記法の多くはそれ以上の任意有限個の被演算子を持つ演算子に対しても、引数を列記する方法を与えるなどの適当な方法で拡張を受ける。さらに、添字集合を適当に指定することによって複数（一般には無限個）の被演算子を一つの被演算子に見立てることも有限的な記述には効果的である。それによって無限個の被演算子を持つ演算子に有限項演算の記法を援用することが可能になる。また、このとき与えた添字もやはり被演算子と解釈することが可能である。
また、前述の log に対する記述とまったく同じ理屈を逆に考えれば、二項演算子のとる二つの被演算子のうち一つを固定する（代入可能な値を代入する）ならば、それによって新たに単項演算子が得られる（あるいは固定する被演算子を添字とする単項演算子の族が得られる）ということが理解される。同様にして、多くの被演算子を持つ多項演算子のうち一つあるいは複数の被演算子を固定することによって、与えられた多項演算子をより制限された数の被演算子を持つ演算子族と読みかえることができる。
意味的分類[編集]
算術演算子[編集]
四則演算のたぐいを表す演算子、たとえば和を表す "+" や積を表す "×" などは二項演算子である。算術演算においては多くの場合、二つの被演算子はひとつの代数系から取られた同種のものであり、結果も同種であることが多い。
関係演算子[編集]
詳細は「関係演算子」を参照
二つの被演算子の関係を示す記号のことを関係子という。関係子を、二つの被演算子の関係が真であるか偽であるかを判定する演算を表す演算子とみなすとき、関係演算子という。数理論理学では、関係演算は二つの数式から真理値（ブール値）を得る演算とみなされる。関係演算子もその多くが二項演算子として機能することから中置記法で記されることが多い。
等号 "=", 不等号 "<", ">", "≤", "≥", "≠", 平行記号 "∥", 垂直記号 "⊥" などが関係演算子である。
論理演算子[編集]
数理論理学における論理演算子は、被演算子の真理値（真・偽）に対する論理積 "∧" や論理和 "∨" などの論理演算を表し、中置記法で書くことが多い。（否定を表す前置の単項演算子 "¬" もある。）
プログラミングにおける演算子[編集]
コンピュータプログラミングにおいては、主に記号を用いて演算を指示するものが演算子と呼ばれる。概ね数式などの記述を模倣しているが、一部の演算子に通常と異なる記号が用いられたり、副作用を持っていることがあるなど、数学の演算子とは異なる点もある。
算術演算子[編集]
算術演算子として、四則演算のうち加減算には、一般的な算術と同じ演算子 "+", "−" を用いる。乗算の演算子には "×" の代わりに "*" （アスタリスク）を用い、除算には "÷" の代わりに "/" （スラッシュ）が用いられる。一般的な算術にはない演算子として、剰余（除算の余り）を求める演算子 "%" （C言語の場合）がある。剰余演算子 "%" の代わりに英字列 "mod" を用いる言語もある。
関係演算子[編集]
関係演算子は、およそ数学とあまり変わらないが、プログラミング言語によって細かい差異が比較的多い傾向にある。以下はその例である。
- = の意味
- C言語の系統では、= を代入に用い、等号には == を用いる。
- 不等号
- 1 < x < 5が「xは1より大きく5より小さい」を意味しないプログラミング言語が多い。そのような場合には論理演算子を使って「1 < x and x < 5」のように記述する。
- ≤, ≥
- <=, >=を用いることが多いが，言語によってはさらに=<, =>を認めるものもある。
論理演算子[編集]
論理演算子には、論理積を表す "and"、論理和を表す "or"、否定を表す "not" などがある。排他的論理和を表す "xor" もよく使われる。また、数値に対して二進法での各桁に論理演算子を適用することで一部のビット演算子が形成される。Cのように論理演算子とビット演算子が独立しているものと、BASICのように両者を兼ねるものとが存在する。また、条件文に対する糖衣構文として条件演算子があるが、これは三項演算子の一種である。
その他の演算子[編集]
このほかにも、プログラミング言語によっては文字列やメモリを扱う演算子もある。例えば2つの文字列を連結する用途に、+演算子が広く使われている。
C++などのように、最近のプログラミング言語では既存の演算子に自分で新たな意味を定義することができるものがある（演算子多重定義）。またHaskell、ALGOLおよびFortran（Fortran 90 以降）では、利用者が自分で新たな演算子を定義することができる（利用者定義演算子）が、これは珍しい例である。
脚注[編集]
- ^ 次数を添字とし、一般の冪根を表す場合の根号は二項演算子である。
関連項目[編集]
- 数学
- 写像
- 算法
- 単項演算
- 二項演算
- 三項演算子
- 数学記号の表
- 情報工学（プログラミング）
- 演算子の優先順位
- 被演算子
