理想型演算法 1-13 · 헨트코르