Pythonの型チェック環境