アルゴリズムとそれの実装に必要だったメタ関数系列をざっくり追加