idempotent
冪等
冪等の意味がわからん...softwareの世界で聞いたような...
大雑把に言って、ある操作を1回行っても複数回行っても結果が同じであることをいう概念である。
これが意味することはわかる。
二項演算において、...例えば、実数の乗算で冪等な数は 0 と 1 だけである。
なるほど。
単項演算... これは写像の合成を "o" としたとき、f o f = f が成り立つことと等価である
なるほど。
HTTP の GET 要求は冪等とみなされる1。Webの機構は基本的にその前提で要求結果をキャッシュに保持する。HTTP の POST 要求(フォーム送信に使われる)は冪等とはみなされないため、POST 要求はキャッシュされない。 よく知ってる話だ。
ラテン語の "idem"(同じ=same)と"potere"(冪=power)から来ている。 wikipediaはありがたい。