nltk.download('punkt')
でやろうとして、
[nltk_data] Error loading punkt: <urlopen error [Errno 11001]
[nltk_data] getaddrinfo failed>
というエラーが出たので、色々調べた。
会社のプロキシをAnaconda promptで通した後、
python -m nltk.downloader -u https://raw.githubusercontent.com/glowskir/nltk_data/7b505ff1f858a489e5b2d879573bdaaa8ef06732/index.xml punkt
を入力したら、動くようになった。