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