数式
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/01/13 04:39 UTC 版)
数学における（すうしき、mathematical expression、mathematical formula）は、数・演算記号・不定元などの数学的な文字・記号（および約物）が一定の規則にのっとって結合された、文字列である。
構文と意味
一般に数式には、その値（英: value）が定められており、数式はその値を表現すると考えられている。数式の値の評価（英: evaluation）は、その数式に用いられる記号の定義あるいは値によって決まる。すなわち、数式はそれが現れる文脈に完全に依存した形で決まる。
構文論
各数式は構文論（シンタックス）的に構築され、正しく並べられた（well-formed: 整形の）ものでなければならない。それはつまり、使用が許された演算は、正しい場所に正しい数の引数を持ち、それら引数を構成する文字列は有効かつ演算の順番が明確であるようになっていなければならない、などを意味する。与えられた記号からなる文字列が構文規則に違反するということは、それは正しく並んでおらず数式として有効ではないということになる。
例えば、通常の算術において式『1 + 2 × 3』は正しく並んでいるが『× 4)x + , / y』は有効な式ではない。
意味論
数式にそれが表す意味を与えることを研究するのが意味論（セマンティクス）である。形式的意味論は、構文論的に正しい文字列として形式的に与えられる数式に、形式的に意味を付与する。
代数学において数式は「値」を指定することに利用できる（値はその式に現れる変数に割り当てられた値に依存してよい）。この「値」を決定する問題は、数式を構成する各記号に割り当てられた意味論に依って異なり、意味論の選択はその数式が属している文脈に依存して決まる。例えば、構文論的には同じ式『1 + 2 × 3』でも、演算の優先順位が文脈によって異なれば、異なる値（この場合、7 かもしれないし 9 かもしれない）を持ち得る。
このような意味論規則の中に、どのような値も持たないある種の数式（例えば、零除算を含む式）を宣言することは可能である（そのような式は「値が定義されない」とはいえ、それでもなお正しく並べられた式であることに変わりはない）。一般には、数式の意味は「指定された値」に制限されるものではない。例えば、その数式は条件を指定するものであるかもしれないし、それは解かれるべき方程式であるかもしれないし、あるいは数式それ自体をある種の規則によって操作可能な数学的対象と見なすことだってできる。ある種の数式では、それが値を指定するものであると同時にそれが持つと仮定された条件をも表すということも起きる（例えば、演算子 ⊕ を含む数式が、直和という演算を施すこととその演算を施した結果として得られる対象を同時に表している、というようなこと）。
形式言語とラムダ計算
形式言語によって、正しい数式（英: well-formed expression）の概念を形式化することができるようになる。
1930年代に「λ式」と呼ばれる新たな種類の数式が、アロンゾ・チャーチおよびスティーヴン・クレイニにより、函数とその評価を定式化するために導入された。λ式はλ計算—数理論理学およびプログラミング言語理論において用いられる形式体系—の基礎を成している。
任意の二つのラムダ式に対して同値性判定を行うことは決定不可能な問題である。実数を表現する数式に対する（つまり、整数から始めて四則演算や指数対数を用いて実数を構成する）場合もである（リチャードソンの定理）。
変数
数式には（どくりつへんすう、英: independent variable）、（じゆうへんすう、英: free variable）あるいは（ふていげん、英: indeterminate）と呼ばれる、その数式自体の中では値を持たないような記号を含むものもある。独立変数の評価は数式を含む文脈から外因的に与えられる。対して（じゅうぞくへんすう、英: dependent variable）または（そくばくへんすう、英: bound variable）と呼ばれる記号はその評価が特定の独立変数に結び付けられており、その対応する独立変数の評価が行われ値が決定されるごとに、従属変数自身の評価が同時に（従属的に）行われる。
回帰分析などにおいては、モデルの独立変数を（せつめいへんすう、英: explanatory variable）と呼び、従属変数を（おうとうへんすう、英: response variable、responding variable）とか（もくてきへんすう、英: target variable）[注 1]などと呼ぶ。確率論や統計学の分野では確率変数の独立性などについて「独立」という言葉を多く用いるため、誤解を避けるため独立変数という言葉はあまり用いられない（説明変数は確率論の意味で独立でなくてよい）。
数式の種類
Template:Synthesis
| 含む要素＼表示の形式 | 算術式 | 多項式 （多項式表示） |
代数式 （代数的表示） |
閉じた式 （閉じた表示） |
解析式 （解析的表示） |
（一般）数式 |
|---|---|---|---|---|---|---|
| 定数 | Yes | Yes | Yes | Yes | Yes | Yes |
| 初等算術 （四則演算） |
Yes | 除法を除き yes | Yes | Yes | Yes | Yes |
| 有限和 | Yes | Yes | Yes | Yes | Yes | Yes |
| 有限積 | Yes | Yes | Yes | Yes | Yes | Yes |
| 有限連分数 | Yes | No | Yes | Yes | Yes | Yes |
| 変数 | No | Yes | Yes | Yes | Yes | Yes |
| 累乗 （自然数冪） |
No | Yes | Yes | Yes | Yes | Yes |
| 累乗根 （自然数冪根） |
No | No | Yes | Yes | Yes | Yes |
| 有理数冪 | No | No | Yes | Yes | Yes | Yes |
| （自然数の）階乗 | No | No | Yes | Yes | Yes | Yes |
| 無理数冪 | No | No | No | Yes | Yes | Yes |
| 対数 | No | No | No | Yes | Yes | Yes |
| 三角函数 | No | No | No | Yes | Yes | Yes |
| 逆三角函数 | No | No | No | Yes | Yes | Yes |
| 双曲線函数 | No | No | No | Yes | Yes | Yes |
| 逆双曲線函数 | No | No | No | Yes | Yes | Yes |
| 代数的に解けない 多項式の根 |
No | No | No | No | Yes | Yes |
| ガンマ函数 （非整数の階乗） |
No | No | No | No | Yes | Yes |
| ベッセル函数 | No | No | No | No | Yes | Yes |
| 特殊函数 | No | No | No | No | Yes | Yes |
| 級数（無限和） ・冪級数 |
No | No | No | No | 収束に限り yes | Yes |
| 無限積 | No | No | No | No | 収束に限り yes | Yes |
| 無限連分数 | No | No | No | No | 収束に限り yes | Yes |
| 極限 | No | No | No | No | No | Yes |
| 微分 | No | No | No | No | No | Yes |
| 積分 | No | No | No | No | No | Yes |
代数式と超越式
代数式とは加減乗除冪根の6種類の符号によって連結されている数式をいい、それ以外の式を超越式という[1]。代数式には有理式と無理式がある[2]。
数式
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/12 09:17 UTC 版)
数字が置き換えられた記号を変数と考えて数式をたてて解くことができる。必要に応じて各記号にそれぞれ行番号と列番号を添えて区別することがある。数式には等式、不等式、合同式などが考えられる。 例題において、和の一の位の「ン」に対して、「ナ+ナ」が繰り上がるため、十の位の「モ」は1だけ増えるので、「モ=ン+１」 となる。 例題において、和の百の位の数字は、十の位から1だけ繰り上がるので、合同式を用いて「バ+バ+１ ≡ ナ (mod 10)」と表される。
※この「数式」の解説は、「覆面算」の解説の一部です。
「数式」を含む「覆面算」の記事については、「覆面算」の概要を参照ください。
数式
「数式」の例文・使い方・用例・文例
- 数式
- 本を見ながらその数式を求めました。
- その数式を使い、当てはまる数字を求めました。
- 数式.
- 分数式.
- 代数式
- 一次方程式のすべての数式項が、一次である
- 別の式が導き出される数式
- 括弧を使用し、演算子の優先順位の原則が定められた数式を形成するための表記法
- 成分の範囲を定めるために括弧を使わない数式を形成する記号法
- 各オペレーターがそのオペランドに先行する数式を作るための括弧のない表記法
- 演算子をオペランドの前に置く数式を形成する括弧のない記号法
- 指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号
- （等式や不等式などの）数式間の関係
- 特定のシステム、材料、または手順の効率を表す数式
- 一次式という数式
- 数学において,等号や不等号の右側の数式
- 文字や文章,数式などのある部分の前後をかこって,他との区別を明らかにするための記号
- 数式中のそれぞれの項
- 二つ以上の数値や数式を加えてその結果を求める計算法
数式と同じ種類の言葉
- >> 「数式」を含む用語の索引
- 数式のページへのリンク
