Hamiltonian formalism for systems including Grassmann numbers and canonical quantization by Feynman path-integral with constraints

Hamiltonian formalism for systems with both c-numbers and Grassmann numbers developed by Casalbuoni is re-investigated to be pointed out that the invariance properties of the canonical transformation work also in cases of general potential. Following the quantization procedures of Dirac and Faddeev, a form of Feynman path-integral with constraints for boson-fermion systems is presented. (author)