問題の定式化