isolated singularityの場合が結構難しかった