結局変分法ってなんなん?