文化4年(1807年)には、「玄武洞」を命名している。