セマンティクスを利用した回復と分離のアルゴリズム