In the 20th and 21st centuries, our mathematical logicians have achieved complete or great success in all three major fields of computer software science, which are fought for by thousands of elites from all countries From the perspective of theory and software system, why is it difficult for all other teams to achieve such a high goal? Someone has to climb, and he spent 24 years, almost 17 hours/day (more than 100,000 hours) to climb to the top of computer software technology, solving urgent problems for mankind!
1. One of the core topics in the field of computer software science: the problem of  Program (function, semantic) correctness verification , which is almost unsolvable from the perspective of existing mathematics and software theory science. For half a century, hundreds of thousands of software scientists have been thinking about this open research topic, and many people have won the world's highest computer Turing Award for this, but they still have not been able to completely solve it. It has now been completely conquered by us. This topic has been presented and successfully demonstrated at a large SVRC conference (although it is not as profound as the ideas of relativity and Maxwell's equations. but it is not less difficult than the Nobel Prize-winning topics that are really great and explain individual physical and chemical phenomena {The whole complex system need uses: symbolic algebra (formula simplification); symbolic arithmetic theorem proof; symbolic program compiler; symbolic program induction (priceless solution to century-old problems); formal specification (precondition-postcondition)} , and its improvement of the safety of human life and production seems to be more imminent!)


2. The world's only successful automated software engineering technology, with book publishing and software downloads, official reception, affirmation and congratulations. (Computer software companies in various countries will also compete to adopt high-efficiency and high-quality software automation production technology. In the current era of fierce competition in the world of artificial intelligence automation, simply introducing successful innovative technologies and calling it advertising-style "boasting" without urgent follow-up will make it difficult for even a very large company to avoid the same embarrassing experience that Kodak, a major film company, encountered!)

3. Enhanced "Generative Artificial Intelligence AI++" can automatically generate programming software products, and can create a complete VC++ high-speed small software from a few words with just a "click of a button"
(created the miracle of software that can be used directly without manual modification of a symbol)

############################################################################################################################################################ In the more than 20 years since 2004, the Internet has honestly reported that our company hslrj.com's automation software technology is currently the only successful one in the world (there is software and theory, the software can be downloaded, and a book has been published). It is undoubtedly an innovative technology that needs to be jointly developed and used in the 21st century. (There is no need to point out which authoritative figures recognize this technology here)
It should be pointed out in particular that any new computer software technology, including AI, is just a good helper for programmers. Celebrities who know little about computer software, don't brag that AI will make programmers unemployed!

1. Our company is the only company in the world that has overcome the difficulty of [Generative Artificial Intelligence] to generate high-quality software in tens of seconds in the future.
It can generate a high-speed, complete, and high-speed software product written in high-level C language from any few words, press a key once, without people typing and adding new program codes!
This kind of software that can be generated in seconds can be used quickly in the controllers of spacecraft far away from people to avoid possible disasters.
In order to attract and train elite scientific and technological talents, any person or organization that can create the same [Generative Artificial Intelligence] software generation method within two years and automatically generate a super-high-speed complete application software product written in C language will be hired as the company's CTO and granted 50% of the company's assets.
(Please note that
a. All software automation technologies are advanced tools used by software programs. Tools cannot replace programmers. I hope that celebrities in other fields who have not used C language to program software for decades will stop shouting that "programmers are no longer needed in the future."
b. The company's innovative technology is too advanced and is not at the same level as other units. There is no intention to compete here, but a desire to cooperate with each other to make up for the gap.)

2. Successful implementation of automated software engineering technology __ 2008. It automatically generates a full set of VD++ design language for large-scale application software from the software order given by the customer in just a few tens of minutes
(It has also tried to automatically generate a full set of Internet platform CGI and mobile phone APP software! Tsinghua University Press published the book "VD++ Design Language" __ 2013)

In the decades since 2004, the Internet has reported that our company hslrj.com’s automation software technology is the only one in the world (it has software and theory, the software can be downloaded, and a book has been published), and no company can surpass it before 2050.
The global super "software automatic generation" technology, methods and theory are summarized as follows (full web page introduction): It is particularly important to point out that all new technologies are programmers' helpers. Don't bullshit them and put programmers out of work!

For decades since 2004, the Internet has reported that our company hslrj.com's automated software technology is the only one in the world (there are software and theories, the software can be downloaded, and a book has been published), and no company can surpass it before 2050.
The world's super "software automatic generation" technology, methods and theories are summarized as follows (full webpage introduction): It should be pointed out in particular that all new technologies are helpers for programmers. Don't brag about them and make programmers unemployed!

Top 【Gennerating AI- word generation software products】 download -- The number one in the world！(Updating)
An international version that popularizes computer culture for mankind and can also be tried by primary school students; it will be used in unmanned spacecraft in the future to modify the spacecraft software in real time

超级【生成式人工智能 AI --几个词生成软件产品】下载(更新中）