invariant の語源ストーリー
invariant は、ラテン語 variare「変える」の現在分詞をもとに、打ち消しの in- を付けた語です。19世紀半ば、イギリスの数学者シルベスターが数学の用語として使い、広まったとされます。座標を回したり図形を動かしたりしても、変わらずに残る量のことです。たとえば三角形をどう動かしても、3つの角の和は180度のままです。物理では、光の速さがどの観測者にも同じだという不変性が、相対性理論の土台になりました。プログラミングでも、処理の間ずっと成り立つ条件を invariant と呼びます。
(語源の出典・確認先:Online Etymology Dictionary / Merriam-Webster / Wiktionary 参考文献の一覧)


