4元数はハミルトニアンだろ