野球場がドーム化すると人工芝化はほぼ避けられないだろう