refinementsの時の名前空間の切り方がわからない...。Oj側を書き換えてるけど、Oj側を汚染して良いものなのか...。