全自动化编译技术 【计】 fully-automated compiling technique