等式とは
・等式
等式（とうしき）とは、二つの対象の等価性・相等関係 (equality) を表す数式のことである。
等式は等号（とうごう、equal sign）と呼ばれる記号 "=" によって、二つの対象 ”a”, ”b” を結合させる二項関係として
のように記される。このとき、”a” と ”b” は（互いに）等しい、（相）等しい、相等であるなどという。また、”a” にあたる対象を等式の左辺、”b” にあたる対象を等式の右辺といい、左辺と右辺を総じて両辺、各々を各辺と呼ぶ。また、この否定を
:a \ne b
で表し、”a” と ”b” は等しくない、あるいは異なるという。記号 "≠" は不等号と呼ばれる。等式の示す相等関係は二項関係として以下の条件を全て満たさねばならない：
等式の情報をYahoo!JAPANで検索
・等式 - Wikipedia
等式の示す相等関係は二項関係として以下の条件を全て満たさねばならない: ... のことである」といっても同じことであり、また等式が数学において最も基本的な同値関係を与えるものであると見ることができる。 ...
・部分的な等号/等式
例えば、交換法則(可換律)を示す等式「x+y=y+x」を考えてみよう。 この等式が表明している主張をていねいに言えば次のようになる。 ... ただし、この等式の前提(解釈の文脈)として、変数x, yが走る領域が決まっ ているはずだ。 ...
・項書換えに基づく 等式システムのための 推論技術に関する研究
きを,代表的な等式システムである代数的仕様記述の検証手続きへと拡張し,最後 ... 近年,計算機科学のさまざまな分野において等式に関する推論を行う必要性が認め ... 語,オブジェクト指向言語などでは,等式に基づいてその意味論が与えられるので , ...
・完備化による等式証明
は等式. にもとづく柔軟な計算法と効率的な証明法を提供できる ... 項書き換えシステムは方向付けられた等式(書き換え ... 動証明における等式推論をリダクションで実行すること. により,証明を効率的な計算に置き換えること ...
・等式 | 学習百科事典 | 学研キッズネット
とうしき【等式】 2つの数または式の等しいことを,等号「=」を使って表した式。 ... また等式には,それにふくまれている文字にどのような数値(すうち)を代入してもつねになりたつ恒等式(こうとうしき)と,それにふくまれている文字に適当(てきとう) ...
等式の情報をGoogleで検索
・等式 - Wikipedia
移動: ナビゲーション, 検索. 等式（とうしき）とは、二つの対象の等価性・相等関係 (
equality) を表す数式のことである。 ... 記号 "≠" は等号否定と呼ばれる。等式の
示す相等関係は二項関係として以下の条件を全て満たさねばならない： ...
・オイラーの公式 - Wikipedia
三角関数を複素変数に関する解析的関数と考えることで、この等式は θ を複素変数と見
ても成立している。レオンハルト・オイラーに帰せられるためこの名がある。この公式は
はじめ、ロジャー・コーツ によって1714年に提出されたが、その証明は曖昧なもの ...
・中一／文字の使用 no.1
（A）等式の両辺に同じ数を足して も等式が成り立つ． A＝B ならば A＋C＝B＋C
, 例 x−5＝8ならば（両辺に5を足すと ... も等式が成り立つ． A＝B ならば A×
C＝B×C, 例 0.1x＝8ならば（両辺に10をかけると） 0.1x×10＝8×10 1x＝80 ...
・等式で遊ぶ
等号は、短い線が平行に並んでいる様子を表している。 等しい、って感じがするで
しょう。 だからこの線を短く書きすぎないほうがいい。ゆったりと少し長めに書く」
長男「ふうん」 私「等式は、左辺と右辺が等しいことをあらわしている。ちょうど… ...
・等式の性質
と、表した。 両方の皿から10（g）ずつ 取ってもつりあうから、. 両辺から10を
引いた式、 ... が成り立つ。 両辺の皿の重さを半分に してもつりあうから、. 両辺を
2で割った式、 ... 両辺に同じ数を足しても（引いても）、等式は成り立つ。 ...
