ローレンツアトラクタの動きをPythonで観察する。