世界の鉱業オートメーション市場規模は、2024年の36億米ドルから2029年には51億米ドルへと…