在 Windows 里使用 miniconda

众所周知, 日常使用 Python 的最佳实践是创建一些虚拟环境, 而 miniconda 是一个著名且优秀的 Python 虚拟环境工具.