鉱山工学(こうざんこうがく)とも。