自动化，搞理论的那种