Invariant (computer science)

ウィキペディア

不変条件

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2014/05/06 03:44 UTC 版)

不変条件（英: invariant）とは、コンピュータプログラムの理論における用語で、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。