“公元年德国已有著作对地下工程某些几何问题以及罗盘测量在地下巷道的应用进行了较全面的叙述