アルゴリズムの概念の形式化

アルゴリズムは、計算問題のすべてのインスタンスを解くことができるパターンの振る舞いを表現するものである。