📝不変式プログラミング

January 18, 2023

up: 📁プログラミングパラダイム

不定式プログラミング #

invariant programming. 再帰的に呼ばれる度に, 数学的に真になる式.

• 不変条件 - Wikipedia

References #

• Invariant-based programming - Wikipedia