ポーランド空間
Effective Polish space.