在我国古代以笔记体裁形式写成的科学典籍中，有一本最早记载了人工磁化的一种简便方法.即“以磁石磨针锋”造指南针。这本典籍是（ ）。