現代のレコーディング現場に欠かせないピッチ補正ソフト「Auto-Tune」を作った数学の天才に迫る