インターネット上で使われる日本発のキャラクター「初音ミク」の正式名称は？

初音ミクの正式名称は、「クリプトン・フューチャー・メディア株式会社製作音声合成ソフトウェア」です。初音ミクは、2007年にクリプトン・フューチャー・メディアが発売した音声合成ソフト「VOCALOID 2」を使用したキャラクターで、日本国内外で人気を博しています。音声合成技術を用い、ユーザーが自由に歌詞とメロディを入力することで、初音ミクが歌を歌うことができます。芸術分野においても注目されています。