学术技术与工程技术是两码事

您老的逻辑是,我用键盘写代码,Linus也用键盘写代码,于是我写出来的也是是超级NB的Linux.




回帖首先要看贴.

Many classes of errors, such as functional correctness
bugs, are difficult to find without executing a piece of
code. The importance of such testing — combined with
the difficulty and poor performance of random and manual
approaches — has led to much recent work in using
symbolic execution to automatically generate test inputs
[11, 14–16, 20–22, 24, 26, 27, 36]. At a high-level,
these tools use variations on the following idea: Instead
of running code on manually- or randomly-constructed
input, they run it on symbolic input initially allowed to
be “anything.” They substitute programinputs with sym-
bolic values and replace corresponding concrete program
operations with ones that manipulate symbolic values.
When program execution branches based on a symbolic
value, the system (conceptually) follows both branches,
on each path maintaining a set of constraints called the
path condition which must hold on execution of that
path. When a path terminates or hits a bug, a test case
can be generated by solving the current path condition
for concrete values. Assuming deterministic code, feeding
this concrete input to a raw, unmodified version of
the checked code will make it follow the same path and
hit the same bug.

啊我想起来了,您老的英语不好.不过这就不关偶的事情了.


另外,您老号称打翻各大SSH的,准备用Java拯救软件工业的自动化生成系统呢?不是说三月发布的么?

这有啥奇怪的，做菜还得买鸡蛋、西红柿啥的，当然也得花钱。那一盘菜卖的是鸡蛋钱啊还是西红柿钱呢？

------------------

--------------------

-------------------

--------------------

哎,你这就叫做扎个稻草人打靶子了.

我说用空气动力学造出来的飞机,可以提高人的旅行速度.你跟我说,空气动力学有什么新玩意,找本相对论的书来看看.什么叫做光速是不可超越的.

我说我们可以用化学知识制造试剂帮人加快提炼金子的速度.你跟我说，你难道不知道化学是根本不可能把石头变成金子吗?

所以说,让你回帖先看帖.自然语言可不是上下文无关的文法.

----------------

别人在说,乘飞机去北京比走路去北京快.你说"你怎么转不过弯来呢?飞机是有适用范围的,你乘个飞机去月球试试看？"
这叫做驴头不对马嘴.



首先,您老不是的眼神有问题,就是思维有问题.您不是教导我们要注意适用范围么?这个帖子的范围是啥，有人在这里说人类智能么?您老怎么不注意适用范围呢?

再次,数学不是万能的,能够推出数学在某一领域内肯定无效吗?数学不是万能的,能够推出你更爱的研究手段比数学更有效吗?
您老就先别研究什么人工智能了,先把自己的智能提高提高再说.

----------------