地図作成速度を3倍以上にするFacebook製AIが実用化へ