変分にテイラー展開なんて出てきたっけ?