アルゴリズム
アルゴリズム（）とは、解が定まっている「計算可能」問題に対して、その解を正しく求める手続きをさす。あるいはそれを形式的（formal）に表現したもの。