语言
没有数据
通知
无通知
ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語
元に戻り得ること。
これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。 実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。 計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)
反数がある。 1つの二項演算を持つ集合であって左右の逆元が常に存在するもの（代数的構造）はループと呼ばれる。 以下に具体例をいくつか挙げる。ここで e はネイピア数、i は虚数単位、r は複素数の絶対値、θ は複素数の偏角を表す。また、z は複素数 z の共役複素数、|a| は数 a の絶対値を表す。
物の大きさや量・状態などを測定する器具。 計量器械。 メーター。
半群であるという。 逆半群（任意の元が（一般化）逆元を唯一つもつ半群）や左群（任意のふたつの元 a, b に対して ca = b となる元 c が唯一つ存在する半群）、右群（任意のふたつの元 a, b に対して ac = b となる元 c が唯一つ存在する半群）などはすべて可逆半群である。 半群
数学において，可逆層（かぎゃくそう，英: invertible sheaf）とは，環付き空間 X 上の連接層 S であって，OX 加群のテンソル積に関して逆元 T が存在するものである．可逆層は直線束という位相的な概念の代数幾何学における対応物である．カルティエ因子との相互作用のため，代数多様体の研究で中心的な役割を果たす．
(1)数をかぞえること， また数えて得た数値。
搜索 
