Proceedings of a Symposium on Large-Scale Digital Calculating Machinery door The Harvardcomputation Laboratory & Harvard Computation Laboratory