ポーランド空間
Effective Polish space