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