讲座 | 用程序合成来实现自动化程序设计