一个全球独一无二的从2001年启动研究的，我们现已获得互联网唯一报道的"人工智能生成各类软件产品"的普遍性技术,
不用添加一个字，它的自动生成软件部分，能在十分钟内产生各类超高速语言制作的约一千万字节各种大软件.
它彻底实现了二十一世纪傲视群雄的【软件工程技术实现全自动化的大革命】！

首个智能自动化软件构建技术公司
www.hslrj.com/epotang/epotang_software_download.html, tonggaotang@gmail.com, 美国匹兹堡


从二十世纪末开始进入二十一世纪，几乎在所有的领域都采用电脑技术实行了自动化。现今连汽车都开始采用电脑实行自动驾驶。毫无疑问，电脑本身的软件制作也应该自动化。为此，国际的自动化制作软件大会IEEE/ACM International Conference on Automated Software Engineering ，从1986年至今大约连续召开了38 届了。这个课题仍然待进一步彻底解决。现在连chatGPT 等人工智能也要投入这个几乎最后最难的软件自动化课题，说未来要能自动生成电脑软件“程序”代码！可见，要快速地制作大量急需使用的高靠性应用软件，将会是摆在各国各软件公司眼前最富竞争的又躲避不了的课题。

20-21世纪里，各国人数多到 千百 精英试图攻克电脑软件科学如下三大核心课题。最终它们都被唐同诰用数理逻辑方法解决了:
【 数理逻辑学家Mr.Tonggao Tang，以惊人的研究热情与历史责任感，从2001年起，几乎每天从9:00AM编程到半夜3:00AM，睡觉4-5小时。无需基金地奋斗了二十几年】。

1. 全球至今唯一成功地研制了一个崭新的“生成式人工智能 AI”技术， 它能自动生成编程语言的高速软件产品。 人们只要“按一下按钮”，输入六七八个关键意愿词作为提问， 不需要人工修改任何代码的，就能立即自动产生一个百万至千万字节可靠软件作为回答。 IBM，Microsoft，Oracle, OPEN-AI, GOOGL， APPLE 等公司， 在当前的AI技术竞争里，都要争得此类“AI生成软件”的技术。一般公司花千万金钱，也极其难地能在短期内完整地实现这个技术。 (本课题诚意与其他 AI 公司合作，开拓新的研究和使用范围！）

2.全球至今唯一成功的智能化的 自动化软件，理论与工程技术，它已成功用于自动制作全套Window视窗软件，Internet网站平台软件制作全套自动化， 和个人手机部分应用APP软件的自动生成。此外有书本出版与软件下载, 受到官方招待肯定与祝贺。 (各国的电脑应用软件公司，微软, Oracal，IBM等，也应该争先采用，高效率-高可靠的软件自动化制作技术。他们现有的应用软件制作步骤，能70-80% 实行自动化。实现了【高可靠性与可重复使用】， 以及特别做到软件极端重要的【可任意更新的零维护性】。当前世界出现剧烈竞争的人工智能自动化时代里，不赶紧学习跟上时代，即使是一个特大公司，也很难避免像胶卷大公司Kodak 遇到的同样尴尬的遭遇！） 半自动化的Business-Model 都在进一步发展提速了。 Microsoft大公司， Oracle软件大公司，IBM软件大公司，GOOGLE软件大公司，European SAP软件大公司等，都会遇到二十一世纪下半叶一类风行的革命性自动化软件技术。自动化的竞争的失败者，就很难与其它应用软件公司争大利益了。(本课题诚意与其他有众多产品的公司合作，供他们自动制作更多的新的【零管理维护】的应用软件！）

3.计算机软件科学领域里的最核心主题之一:  程序（功能，语意）正确性验证 难题，它从现有的数学和软件理论科学上看，几乎是不可解的。半个世纪以来， 曾经陆续有百千个软件科学家思考这个开放性研究课题，又有多人为此获得世界电脑最高的图灵大奖，但仍然没能彻底解决它。 目前已被我们彻底攻克。今后有条件的大学将从事对一个个特殊语言建立大型的验证工具。此课题已经在SVRC人数众多的会上做过演讲与软件成功的演示（虽然它比不上物理学相对论和麦克斯韦方程组的思想深度， 但它与一般的，解释个别物理化学现象的诺贝尔大奖课题，人们没必要要比较。但事实上，科研成果的先进性的程度，其判别的认知标准显然是从: 历史上参与其科研的人数，其难度与其价值，就可知。 {整个系统用到： 1.符号代数（公式简化）；2.符号算术定理证明；3.符号程序编译器；4.符号程序归纳法（历史难题：一个极其难想象的，用于非数学公式证明的，广义归纳法的攻克）；5.形式化规范（前置-后置条件）} , 但此课题对人类生活与生产的安全性的提高，往往更迫近些!）。(本课题在把所有的研究材料， 从Unix 电脑 转移至 PC Windows 电脑之后， 与有意愿的英国著名大学合作发表论文！）

     (唐同诰 2020 放大)(唐同诰 2017 放 大)tonggaotang@gmail.com
(杰出成就 （网页版）) (逻辑学家攻克了智能的自动化软件生成（网页版）) (History Report 2013),

你原来是复旦大学数学教师，怎么会去搞计算机软硬件的?
因为日本，美国解决了用计算机去“光顺”船体数据，有了正确的船体模型数据，从而能用计算机代替人工去控制船体制造。 一九六七年，上海的造船研究所和计算机技术研究所，邀请了复旦大学数学系三位老师和二位学生加入他们“船体计算机数学光顺” 研究小组。二年下来，仍有一个特大难题解决不了。江南造船厂极其优秀的顾师傅组织领导了一次“攻克难题”大会战。二个半月后，我在原有同事工作的基础上， “模仿人工智能‘机器学习’的方法，使用加‘权’与精选‘权’的非传统方法，使人的意愿和数学公式相结合，攻克了电脑船型光顺的会战难关”，造船厂报喜了 （引自“可视化D++第一册”一书的后言）。这使我看到了计算机的威力。我先打了一份报告，没成功，后又补充打了一份报告，要求在复旦大学内建立“计算机制造厂”。 感谢数学系领导的工宣队张连长的支持，一九六九年，“复旦计算机制造厂”成立了。 次年一九七零年，复旦大学“计算机结构”专业正式成立并招学生。当时，我是计算机制造厂厂长兼任计算机教研组组长，前后做了约十年。 就这样，我走上计算机的道路。

你十年搞计算机硬体之后，怎么会转去搞计算机理论科学？
大家都知道，中国的计算机软件，以及基于电子元件工业基础的计算机硬件，与世界先进水准相差一大截。 我学习理论科技论文极快，我搞计算机理论科学，要赶上世界先进水平，还是有可能的。 一九八零年从厂长回到教师职务后，我决心，在计算机理论科学上，三年达国内先进水平，五年达国际先进水平。 领导安排我去做‘班主任’行政工作，但我晚上也可为计算机系，数学系的学生开专题“讨论班”，作强化训练。几年后，我的愿望达到了。复旦校刊登载了：唐同诰五年左右为学生开了五门新课，获得了教学一等奖。 参加了我的课外学习班的六人中有三位直升国内外博士生（班级），二位考取硕士研究生（要说明一下的是，这些学生自己原先都很杰出）。另外，在我的时态逻辑文章在“中国科学”外文版上发表，又受到美国“数学评论”邀请任评论员。 这样的经历，把我推入了计算机理论科学的最高研究阵地，后获邀请去CMU。