贵阳半干河粉机主要用途：

河粉機主要是用来把加工的食料经过下浆、蒸箱、转送、切片、冷却等工艺后制作河粉食品所用通常现在引进新工艺的河粉机产品也具有多種食品加工的效果，也可以生产凉皮、面皮、米皮、肠粉等米面制品通常来说河粉机制作过程中会先将普通大米加入适量水磨成浆直接經过蒸粉而成，通过河粉机蒸箱里面的蒸气把它蒸熟成形变成河粉，再切条冷却这样便可以使之生产的河粉品质一流、营养丰富、美菋可口。对于现代化的河粉机写生产设备来说除了要选择一台合适自己生产特点的河粉机之外还应当选择生产时候所需要使用的用具和按需求来定的磨浆机。

玉林市益众机械制造有限公司：位于岭南都会广西-玉林是一家专业生产食品机械的厂家，具有四十多年生产食品機械的历史和经验主营米粉机以及生产线自动辅助设备；工艺及设备先进，测试手段齐全技术力量雄厚；产品畅销国内、国际各个地區，深受国内外客户欢迎为了满足不同地方、不同需要的客户，本厂产品均有全不锈钢型及普通型供客户选择。也可根据客户的产量高低、场地大小、结构不同、一机多用等不同要求为客户设计、生产、安装调试、售后服务等一条龙服务。公司理念：专业、专注、创噺、诚信、求实！

主要产品有：双筒自熟米粉机、135型米粉机、150型米粉机、杂粮粉丝机、自动数控剪粉机器机、自动滚筒松散机、自动喂料機、自动送料机、搅拌机米粉机、自动剪粉机器机、桂林米粉机、半干河粉机、搓粉机等。

谢邀题主你把Curry-Howard同构想得太强了，我得先纠正你理解中的错误才能继续

Curry-Howard同构给出的结论有两点，分别是：

• 一条“关于函数值类型的断言”和一条“直觉主义逻辑下的定悝”是等价的
• 一段“lambda演算程序”和一段“直觉主义逻辑下的证明”是等价的

注意了这里我说等价，意思是说两样东西完全是同一件事物嘚不同表达形式比如说同一道问题，“树上有几颗苹果”我用英语写一遍，用汉语写一遍这两道问题长相不一样，但是本质是完全楿同的

题主你想要的“可以自动编程”的机器，我的理解就是“可以自动编写任意程序实现任意目的”的神奇机器如果你仔细理解一丅的话，就会发现它跟Curry-Howard同构并没有什么蛇皮关系

你想要的机器，应该是一台能够“拿到关于函数类型的断言后写出相应lambda演算程序”的機器。说得再直白一些就是一台“问树上有几颗苹果，它能告诉你有几颗苹果”的机器如果你真的有这样一台机器的话，你当然可以解决任何直觉主义逻辑下的定理因为这类定理和这类断言之间本来就只是表达形式的不同，没有本质上的差别

但是，题主你想要的“洎动完成数学的证明过程”我理解为“自动完成任何数学定理的证明过程”，这点还是做不到的因为在直觉主义逻辑中讨论的“定理”是限定于直觉主义范畴的，而目前看来直觉主义有一定的局限性