目次:
定義-不変式とはどういう意味ですか？
不変式とは、プロセスの実行中に一貫性があることが期待される値または条件です。 不変式は、アルゴリズムの結果とコンピュータープログラムの整合性をテストするのに役立ちます。 それらの予測可能性は、論理アサーションの有効性を評価するプロセスを簡素化でき、不変式は周囲のコンテキスト内の参照ポイントとして見ることができます。
TechopediaはInvariantについて説明します
不変現象の最初の公開された観察は、カール・フリードリヒ・ガウスの18世紀後半の数論に関する広く影響力のあるテキスト「Disquititiones Arithmeticae」に存在すると言われています。 1840年代初期のCambridge Mathematical Journalでそれについて。 このテーマを拡大した他の著名な研究者には、オットー・ヘッセとアーサー・ケイリー（どちらも19世紀のヨーロッパの数学者）が含まれます。
