明確に定義されたステップの有限個の記述からなり、
どのような入力に対しても停止することが保証されている
ものがアルゴリズム。
保証がないものは、アルゴリズムとは呼ばない。