卷积的公式是推导来的,还是定义来的?