조선 수학의 신, 홍정하