82.5 풀링 연산의 일반적 수학적 형식화