白板推导实现