アルゴリズムの形式的定義