世界で初めて最新のAndroid 4.0を搭載したスマートフォン『GALAXY NEXUS』をドコモが11月発売へ