市場概要   マイニングドーザーの世界市場規模は2022年に653億米ドルに達した。今…