고운문은 별을 관측하고 그림자를 재며 계산하는 술법에 능하니, 현제의 도움이 있다면 새 역법 편찬에도 적잖은 수고를 덜 수 있을 걸세