Как называется это аниме?

Это не аниме.
Это Вокалоид (англ. Vocaloid) — программное обеспечение фирмы Yamaha Corporation, имитирующее поющий голос человека на основе заданной мелодии и текста. Использует технологию полного синтеза речи по правилам с использованием предварительно запомненных отрезков естественного языка. Включает в себя редактор для работы с текстом и мелодией, синтезатор поющего голоса и библиотеки исполнителей, также называемых вокалоидами.

Аниме с ними не будет, т. к. Crypton Future Media выступает против создания аниме, в котором вокалоиды будут персонажами, чтобы заданность характеров героев и сюжета не связывали фантазию авторов песен. Однако возможно создание аниме на основе производных персонажей (например, аниме по песне Black Rock Shooter вокалоида Хацунэ Мику) .

На арте действительно Хацунэ Мику.
Мику Хацунэ (яп. 初音ミク Hatsune Miku?) — вторая голосовая героиня из серии Vocaloid2 Character Vocal Series, выпущенная 31.08.2007. Многие ошибочно полагают, что она была первым вокалоидом, выпущенным на движке Vocaloid2, однако первой была выпущена Sweet Ann. Название-имя выбрано путём сочетания слов хацу (яп. 初?, первый) , нэ (яп. 音?, звук) и мику (яп. 未来?, будущее) . Основой для «голоса» Мику Хацунэ стал голос японской сэйю Саки Фудзита (англ. Saki Fujita). В отличие от других речевых синтезаторов, программа настроена, прежде всего, на создание J-pop песен обычно играющих в аниме, но возможно создание также и песен других жанров.

хатсуне мику Vocaloid 2