invariant

数学や物理学、コンピューターサイエンスなどの専門的な文脈で使われる言葉であり、ある操作や変換を加えても、その値や性質が変化せずに保持されることを指します。日本語では不変のや不変量と訳されます。日常会話で使われる constant（一定の）とは異なり、単に値が変わらないことではなく、特定の条件下での変換に対して不変であるという相対的な不変性を強調するニュアンスがあります。

概念的な使い分け

invariant は、あるシステムに何らかの変化（回転、移動、座標変換など）を与えた後でも、結果として変わらずに残っている要素を指します。例えば、図形を回転させてもその面積は変わりません。このとき、面積は回転操作に対して invariant であると言えます。

constant: 常に一定であること（例：光速は定数である）
invariant: 特定の操作を受けても変化しないこと（例：座標系を変えても物理法則は不変である）

注意すべき点

この単語は非常に専門的な用語であるため、一般的な変わらないという意味で使うと不自然に聞こえる場合があります。例えば、彼の性格は不変だと言いたい場合に invariant を使うことはなく、unchanging や constant を使用します。

❌ 彼の意見は不変だ：His opinion is invariant.（不自然です）
✅ 彼の意見は変わらない：His opinion is unchanging.

また、プログラミングの文脈ではループ不変量（loop invariant）のように、アルゴリズムの実行前後で常に真である条件を指す際に頻繁に登場します。