元朝郭守敬为制定历法，进行了全国规模的天文观测，研制利用了不少天文观测仪器，他制定的历法是（）。