Chang Chang said: "Mathematicians are logically rigorous, those computer programs must be able to look at them, and people who want to change to other disciplines are estimated to not even know what computers are at your age." ”

Although the old man Wenjun knew that this was a sycophant, he was still comfortable.

Chang Chang said: "I take the liberty to ask, what research do you do, I have also learned a little bit of mathematics." ”

"Proof of theorem. The old man blurted out, "Machine theorem proofing is the process and technology that turns people to prove mathematical theorems and deductive reasoning in daily life into a series of symbolic calculus that can be automatically realized on a computer, have you ever heard of it?"

Others may not know such a long professional language, but they still know it for a long time: "This is very useful, this is the foundation for computer logic and programming languages, and artificial intelligence, I can't imagine that you have a research ...... in this area."

In the early years, I have been doing the automatic compiler system for a long time, and I have read a lot of books on this subject, and when it comes to the mechanical automatic proof of mathematical theorems, it seems that there is a Chinese that is the key, cracking the entrance to this world, it seems that it is also called Wen Jun, and it has reached the top of this field...... The world is really small, as the years increase, the things in the dream have become clearer and clearer, and after coming to this world, you can meet some admired characters everywhere.

Thinking of this, Chang Chang suddenly stood in awe, raised his glass and asked: "You have worked hard, I don't know how far you have studied, I also have some experience in this, I don't know if I can 'exchange' it." ”

The old man Wenjun was very interested, asked a few questions casually, answered them one by one for a long time and made some extensions, the old man was overjoyed when he heard it, grabbed his hand for a long time and said: "I hate to see each other late, although I said this, I just started to learn computers, ten tricks and nine passes, your ideas are very good, very inspiring, very inspiring." ”

Chang smiled and said: "It's nothing, everyone's industry is different." If you have also studied abroad, why don't you stay outside, the academic environment there should be better. ”

The old man laughed and said humorously: "Look what you think, I have two mentors, one is a foreigner, and he kept me, saying that you can make a lot of money abroad." The other says it's up to you, as long as you have the heart, there is learning everywhere. I'm coming back. ”

After laughing for a long time, the two raised their glasses again.

The old man said: "But it's not bad to come back, the traditional culture of the Chinese nation is really inexhaustible, and some ancient mathematical classics are indeed very valuable for research, and my current research has drawn a lot of nutrients from them." ”

I have known this for a long time, and I remember that this great fighter is like this, always so much admired traditional mathematical research, and made world-renowned contributions. And whether it's true or not, at least people are experts and authorities, saying that the formula deduced from ancient Chinese books, you have to believe it if you don't believe it, who makes you can't surpass others in this regard.

Just for this, when the float is white.

The old man's words gradually increased, mostly about computers. listened quietly for a long time, and took the trouble to answer for the old man.

At the end, the old man said: "It would be great if I could have my own dedicated computer, so that I don't have to compete with others for the time, so that today I still have an old face to quarrel with others, hehe." ”

"That's nothing. A little drunk, Chang immediately replied, "I'll give you a 'get' in a few days, if you don't dislike it, wait for me to run a business here, and the machine will be used by you." ”

"That's a good feeling!" The old man was also drunk and hazy, but he didn't seem to take long-term words seriously at all, how could he give someone a computer.

I got acquainted with a senior who was a cow again, and I felt for a long time that my trip was worthwhile, and it was worth the fare.

In the next few days, Chang Chang and the old man chatted there all day, by the way, he 'exchanged' some academic things, Chang was only self-taught, and the depth was naturally not as good as that of this great mathematician, but he was an expert in computer programs for a long time, and the two of them knew each other's knowledge and corroborated each other, and there was a feeling of a thousand miles a day.

A few days later, after a long time, he was almost going to report to the Ministry of Electronics, so he said goodbye to the old man, and the old man Wenjun also inscribed a pair of words to him when he left, which was regarded as a memory.

When I appeared in the Ministry of Electronics for a long time, I don't know which minister received it, but it was very warm anyway. The man claimed to be the king, and he was making tea and tobacco, and he didn't mean to be surprised by his young man for a long time, and he made him restless for a long time.

"I really didn't expect you to come here by yourself, this is an oversight of our work. Vice Minister Wang said embarrassedly, "Where you live, we will arrange it for you." ”

Changjiu: "Don't bother, I'll stay with a friend." ”

Vice Minister Wang: "In this way, the meeting will not start until a few days later, and then we will have a meal first, and then I will accompany you to visit the city of Beijing, and tomorrow we will go to climb the Great Wall. ”

Chang Chang wanted to say that he had crawled several times a long time ago and didn't want to go again, but the deputy minister was very talkative, and people were enthusiastic, and he didn't find a chance to refuse for a long time, so the matter was stopped.

Seeing that it was almost time, Vice Minister Wang began to contact the dinner, calling one phone call after another, and pulling many ministers and directors to accompany him, and he was embarrassed to listen to it for a long time.

The location is in Quanjude, and I eat roast duck, every time I see these three words, I can't help but think of the cross talk of Feng Gong of the herd, and I don't know how to fight this report.

"There is no need to report, there is a special 'door' reception fee for this meeting, so you don't have to worry. Vice Minister Wang said with a smile.

I can't help but pour it for a long time, and the feelings are not to rub other people's food, or to solve the problem of Harazi by others.

"Good. Chang Chang smiled, "Minister Wang, can you not be so polite, I am embarrassed to call you, you and I'm embarrassed." You call me Cao. ”

"Hehe, you are a big entrepreneur, and you are also a big scientist in terms of knowledge, all of which are professions that I admire, and I have taken care of them above, I want to receive you well, this can't be changed!"

I can really fool around, I wiped a handful of sweat for a long time, and I didn't expect that I could wear such a big hat.

This meal was a storm, and during the banquet, I knew a lot of powerful figures, talked a lot and drank a lot.

After eating, a group of people was still unsatisfied, so they held a symposium in the conference room, and each person made a cup of Longjing and began to talk about it.

Originally, they were all interesting things, but with a long time here, the topic gradually turned to investing in factories.

All kinds of preferential policies and precedents are quite tempting for a long time.

To be honest, it is also interesting to start a company in China for a long time, but when I think of those strange policies and countless troublesome things, I feel that the reform and opening up is good, and economic development is indispensable, but now it is in a transition period, and various businesses are not easy to develop, and to be honest, it is also a downstream enterprise of chips in China, which is really not suitable for people who are afraid of trouble for a long time.

After thinking about it for a long time, it is better to find a few agents, it seems that in the future, there will be a kind of entrepreneurs in China who are still working in state-owned enterprises, which is a good time to attract people.

"Xiao Cao, you are a capable person, the program-controlled 'delivery' replacement machine you invented is really good, as long as the people who have used it praise the "sex" can be good, save maintenance, as long as you build a computer room and put it there, you don't worry about problems at all, even if there is a failure, just change a component. A leader of the Ministry of Posts and Telecommunications boasted.

"This model is definitely much better than those foreign goods, and the price is fair, unlike devils who want to kill people with knives. Another one said, "It's a little early to get on the road in Fujian, and the devil goods you buy, the whole machine is really cheap, but a spare part actually costs tens of thousands of thousands, you don't buy it, the world has goods for his family, and it makes people suffocate when they think about it." ”

Chang smiled and said: "That is, our own people can still pit our own people." ”

"But it's still inconvenient!" said a leader, "We still have to import to do your business, and we have to find the leader to approve the slips, and the time has been delayed when we come and go." Hurry up and build a factory in China, which can be regarded as benefiting the common people. Let me give you a message in advance, we have this meaning, the introduction of your technology, the joint venture, the profits are shared by shares, you consider it. ”

"It's okay to build a factory, but can you guarantee my rights?" asked Chang Chang, "how to divide the shares, who owns the management rights, and how much the state procures, I have to consider these policies." ”

"As long as you can come, everything is easy to talk about. The leader patted his chest, "The state still takes care of this aspect, after all, you are different from those capitalists, hehe." ”

"That's good, leaders, please draw up a plan, I will also draw up a plan, we can negotiate, do business, you have to bargain. Chang Chang smiled.

"That's, that's. "The leaders speak in unison, they are still concerned about the long-term "delivery" replacement project, visited the world's "delivery" replacement manufacturers, there is no happy answer, either the asking price is too high or a lot of conditions are attached, if there is not a long-term anomaly, I am afraid I have to pinch my nose to buy.