流水线上的神奇转换——初窥Lambda演算

来源 :中国信息技术教育 | 被引量 : 0次 | 上传用户:whynot2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
伽利略认为,上帝用来描述宇宙的文字是数学。这句话是否正确,还真是很难说,但可以肯定的是,当代人类用来构造虚拟世界的文字正是数学。数学家喜欢用简洁、和谐、统一的文字来描绘他们心中的虚拟世界,只可惜,这种“简洁、和谐、统一”的数学之美,对于未经受过数学和逻辑方面专业训练的普通人来说,就像无法琢磨的抽象画。
其他文献
2007年7月29日,河南陕县支建煤矿发生淹井事件,69名矿工被困井下,他们的生命安全牵动全国。
NUM1050是一种开放式的、功能强大的数控系统,采用64位的CPU,处理速度快、位置控制精度高。系统既可进行简单的RS232C串口通信,也可进行复杂FIPWAY网络通信。系统的参数设置及传
针对封闭式压缩机瞬态工况下激励载荷测试困难的问题,文章通过测试启动过程等瞬态工况下压缩机排、回气口的位移响应,并结合压缩机的虚拟样机动力学模型,提出了一种压缩机瞬
我所从60年代末开始研究、开发电液伺服阀,到90年代初已形成QDY1_QDY15系列电液伺服阀,流量1~500L/min,最高压力31.5MPa,各项性能指标达到或超过国外同类产品水平,在国内许多行业得
2017年7月,第十五届全国中小学信息技术创新与实践活动在美丽的海滨城市青岛举行,我参加了学生赛项的无人机应用技能挑战赛高中组的比赛,最终获得了无人机挑战赛的全国一等奖
针对用FANUC-power mate 0系统,在加工螺纹过程中,用G32指令加工螺纹时比较繁琐,而采用调用宏程序实现螺纹的单一固定循环加工.