問題の有限化