というか鉱山開発は10年以上がざらなので、今から大急ぎで鉱山開発しても間に合わんのが普通