祖文远说：“这里有个问题，让重复信息减少是可以的。只是这个冗余是个什么东西？”
华罗说：“就是一个大家停下来之后，依旧做着强大运算的怪异东西。”
祖文远说：“这个东西怎么用数学来表达呀？”
华罗说：“听说你们的自动证明机2.0已经可以使用，可以计算这个吗？”
祖文远说：“网路冗余这个命题需要用简单的逻辑符号表示出来才可以做这个工作呢！”
华罗说：“能不能把大斜边计划的构架用简单逻辑符号表示出来，运算出这种冗余？”
吴俊说：“你可以找孔丘明那里的人问问吗？毕竟网络是他们做出来的。”
华罗说：“只是我和他的领导不太一样，会不会遭嫌疑？”
吴俊说：“别乱想，那是他们高层的问题，你可是需要解决当下的问题呀。如果你解决不了净化网络的问题，你还得离开你的岗位。”
华罗想了想有些道理，他马上联系夏商卜来讨论，虽然夏商卜因为这个事情近期被孔丘明警告了，但是他没有灰心，还是很兴奋的积极来到咖啡屋。此刻是四个人开始讨论这个问题了，他们跟夏商卜说了情况。
夏商卜说：“我致力于想写一个操作系统，可以为什么会出现这些问题？这个我也想不出来。我甚至想用最简单的方式来进行运算的。简单到根本不想掺杂任何没有用的东西。”
华罗说：“你的操作界面看起来确实是
第四十五章 自然虫(1/5)