美国IBM公司的约瑟夫·奥列基博士运用计算机技术提出了（ ）。