何志均（1923年5月13日－2016年6月2日），计算机科学家，教育家