traceur-mini.jsを使うように