다항함수/추론