up: 📁プログラミングパラダイム 不定式プログラミング invariant programming. 再帰的に呼ばれる度に, 数学的に真になる式. 不変条件 - Wikipedia References Invariant-based programming - Wikipedia