だろうじゃ分からん。たしか代数解析で特異点解消を使っている気がしたけど