アルゴリズム(英: algorithm)とは、解が定まっている「計算可能」問題に対して、その解を正しく求める手続きをさす。あるいはそれを形式的(formal)に表現したもの。 加えて、アルゴリズムの効率性も重要となり、速く大量な計算を実現可能とする。このようなアルゴリズムを、コンピュータへソフトウェア的に実装するものがコンピュータプログラムである。