国立天文台図書室。今日の調べものは終了。