名詞
不変式。数学やプログラムで、ある操作の前後で常に成り立つ条件・量を指す。
📝 専門用語(数学・計算機科学)。ループ不変式などで用いられる。
循环不变式是证明算法正确性的关键。
(xúnhuán búbiànshì shì zhèngmíng suànfǎ zhèngquèxìng de guānjiàn.)
ループ不変式はアルゴリズムの正しさを証明する鍵である。
这个几何量在变换下是一个不变式。
(zhège jǐhé liàng zài biànhuàn xià shì yí gè búbiànshì.)
この幾何量は変換のもとで一つの不変式となる。
程序员在设计时明确了类的不变式。
(chéngxùyuán zài shèjì shí míngquè le lèi de búbiànshì.)
プログラマーは設計時にクラスの不変式を明確にした。
⚖️ 類義語との比較
「变量」は値が変わりうる量を指すが、「不变式」は操作を通じて常に保たれる条件・量を指す。
生成: claude-opus-4-8 ／
生成日:
2026/07/12 21:17
／
v1
／
★★★☆ 高性能AI生成
🔗 「不变式」を他の辞書で調べる
(13件)
広告エリア (Detail Footer)
