理想型演算法 1-13 · Hentkor