JSからTSへ移行した Vue.jsプロダクトの型チェックを 漸進的に強化する