Massive MIMOはドコモがつながらない「パケ詰まり」を解消するか。アンテナ小型化で都市部への導入が現実的に