63.4 NAG의 수학적 정의와 갱신 규칙 유도