V2EX › akfish 的所有回复 › 第 52 页 / 共 65 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 ... 48 49 50 51 52 53 54 55 56 57 ... 65

❮

❯

2014-05-27 12:34:59 +08:00

回复了 akfish 创建的主题 › 程序员 › 果然科技树只能按照顺序点：量子计算机上的程序无法调试，无法测试，只能依靠编译器在编译时形式化验证

@HowardMei 你的关注点再次偏了，科技树的顺序决定的是发展难易程度，点错了可能会走弯路甚至死胡同，但总是可以回头换个方向。
不是说顺序有个是非对错，而是有好坏之分。

这不叫历史决定论，而是怎样从历史中学习进步。
假如说人类当初真是直接先点了射频电路，然后不断试错最终用了更长的时间撸到了今天的水平。这个时候如果回头再讨论其实有更好的顺序，意义不在于站在上帝视角诋毁人类的伟大成就，而是总结经验教训下次学聪明点。

这个讨论本来就是事后诸葛亮，人类已经有电子计算机了。

2014-05-27 12:24:06 +08:00

回复了 akfish 创建的主题 › 程序员 › 果然科技树只能按照顺序点：量子计算机上的程序无法调试，无法测试，只能依靠编译器在编译时形式化验证

@shyrock 这不是设计逻辑的问题，而是由基础物理理论决定的。
也不是说不完备，而应该认为是一种不同的计算模型。
计算结果以概率密度的形式出现，并不代表对代码只需要大体正确，也不代表结果的正确性没有保证。
量子计算机的非决定性来源于量子比特是处于叠加态，即可能同时处于0，1或者01叠加态，这满足非决定性图灵机的定义：即对于当前状态以及一个特定的输入，可能有多种状态转移方案。这并不代表计算过程本身不确定。
事实上量子逻辑门的一个很独特的特征就是可逆性，即完成一系列的量子逻辑运算后，如果再逆向执行一遍，可以恢复到最初状态。而数字电路里的逻辑门则不行，你不能从1 OR 0的结果1，逆向得到最初的输入1和0.

2014-05-27 11:02:55 +08:00

回复了 akfish 创建的主题 › 程序员 › 果然科技树只能按照顺序点：量子计算机上的程序无法调试，无法测试，只能依靠编译器在编译时形式化验证

@HowardMei No no no 你的关注点偏了，这个帖子说的主要是要按顺序点科技树，和你说的完全不是同一个话题。
你举的例子之所以不是问题，是因为人类已经按顺序点完了科技树，理论储备、工程设施已经这么完备了，才可能做到，说得好像人类一来就撸得出射频电路造手机一样。
量子计算机的这些问题最后应该都能解决，因为人类已经有技术储备，有足够强的运算设备了。

2014-05-27 10:48:13 +08:00

回复了 hoosin 创建的主题 › 分享发现 › 昨天在 github 做了一个运动计划，希望你也 fork 下来。

@hoosin 这样应该就行了，README不需要过长。

2014-05-27 10:44:22 +08:00

回复了 akfish 创建的主题 › 程序员 › 果然科技树只能按照顺序点：量子计算机上的程序无法调试，无法测试，只能依靠编译器在编译时形式化验证

@williamx 不会，量子计算机是非决定性的，给出的解是只是一定的概率。这是由不确定性原理决定的。

2014-05-27 09:59:03 +08:00

回复了 Tr0y 创建的主题 › 问与答 › 你们觉得简历里面写什么最能表现你的能力？

正如某个段子所说，Linus的简历只有两句话：
"I, Linus, created Linux. And fuck you."

有干货最重要，其它都是浮云。

2014-05-27 09:44:38 +08:00

回复了 gonbo 创建的主题 › Android › V2EX 们，我们来搞一个铲子手机吧！Android ROM 加牛逼 MTK 方案！

@loading 卖党员嘛，和锤子合体拉政府采购。