楽天ブックスでシンプルに目的の本を探す。鉱山発達史 (農商務省鉱山局)の本を買う。