유의어 사전
이 프로그램의 코드에는 몇 가지 중요한 불변사항이 정의되어 있습니다.
수학적 증명 과정에서 불변사항을 찾는 것은 문제를 해결하는 핵심적인 방법입니다.
상수 고정값 불변값 정수 변치 않는 것
변수 가변값 유동적인 것 변하는 것