『管子・地数の巻』に見る鉱脈捜索法の論理分析