Higher Derivatives and Canonical Formalism

A canonical formalism for higher-derivative theories is presented on the basis of Dirac's method for constrained systems. It is shown that this formalism shares a path integral expression with Ostrogradski's canonical formalism.