> 推导