レコードをメール: A rigorous derivation of the Hamiltonian structure for the Vlasov equation