この記事では以下これを「算法」と呼んでいる(理由は最後の節を参照)。