|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 不 ： [ふ] 1. (n-pref) un- 2. non- 3. negative prefix ・ 不変 ： [ふへん] 1. (adj-na,n,adj-no) eternal 2. everlasting 3. unchangeable 4. immutable 5. immovable 6. constant 7. permanent 8. indestructible ・ 変 ： [へん] 1. (adj-na,n) change 2. incident 3. disturbance 4. strange 5. flat (music) 6. odd 7. peculiar 8. suspicious-looking 9. queer 10. eccentric 1 1. funny 1 ・ 条件 ： [じょうけん] 【名詞】 1. conditions 2. terms ・ 件 ： [くだん, けん] 【名詞】 1. matter 2. case 3. item
不変条件（英: invariant）とは、コンピュータプログラムの理論における用語で、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。 == 用法 == コンピュータプログラムは一般にそれを実行したときの変化で表されるが、プログラムの不変条件が何であるかを知ることも同様に重要である。これは特にプログラムについて推論するときに便利である。コンパイラ最適化の理論、契約プログラミングの方法論、プログラムの正しさを判定する形式手法など、いずれもプログラムの不変条件を重視している。 プログラマはコード内でアサーションをよく使い、不変条件を明確化する。一部のオブジェクト指向プログラミング言語にはクラス不変条件 (class invariant) を指定する特別な構文がある。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「不変条件」の詳細全文を読む スポンサード リンク
|