wow the music video is really good!
The music is indeed very catchy as well; time to go download it~
yeah that is Hatsune Miku
She is one of the so-called "Vocaloids"--a singing synthesizer, or virtual "singers"--that can be programmed by us.
For more infos on them, you can check out "Vocaloids <3 <3" post in Music section