IPv6はキャリア側で十分に使われているだろう