[正版新书] 多面体编译理论与深度学习实践 赵捷、李宝亮 清华大学出版社 编译技术;深度学习;芯片设计 视频