「初音ミク」ってなに？

最近いろいろ見かけるけど、「初音ミク」ってなんなの？DTMソフトの一種で？音声合成で歌ってくれて？う～んワカラン。