第十五章 Z3与技艺