John E. Marthinsen (美)约翰·E.彼得曼(John E. Peterman)著 John Carter John von Neumann John J. Craig Peterman