對聯：一代司天監
下聯：千秋說夢溪