날짜 관련 precondition, postcondition 추가