试错的方法与形式化的方法

晓木虫 · 发表于 2015-1-31 15:15

当年在研究生阶段学计算机有关课程的时候，有两个概念让我印象非常深刻。一个是在做程序语言Fortran77作业的时候，有一个经常出现的问题，就是写好的程序不会第一次就能在机器上通过编译，要么是哪个语句写得不对，要么就是缺个逗号之类，或者语句中有前括号而没写后括号。当机器给出编译问题后，自己唯一能做的就是根据机器的提示把错误改过来。有时，改了一次或几次之后，以为下次编译就能通过了，结果下一次很可能还是没通过，又发现了另外的问题。所以只好这样不停地改下去，直到最终能通过为止。这就是所谓试错法。其实，我们在学习和工作中经常会使用这样的方法，做一件事，不会一开始就成功，总会出现这样那样的问题，有问题怎么办，只能去改呗，还能有什么别的办法？所以试错法给我印象比较深。

编译不能通过还有别的原因，就是整体上的程序设计思路就有问题，比如陷入死循环，这根本就成了无解的了。这就需要重新考虑程序设计的思路问题。一般说来，解决单个问题的小程序，出现这样问题的机率倒不是很大。而一个稍大些的程序就有可能出现这样的问题。这时，就涉及到第二个问题，形式化问题。当年麦中凡老师很强调这个形式法的方法，把程序分成若干模块去做，就会少犯错误，而效率会更高一些。

后来，我在写文章的时候，就会有意无意地使用这样一种类似于形式化的方法。先把文章的主旨想好，然后就分成若干个模块，先把每个模块的大意写出来，然后根据这个大意，一段一段地再具体地填充里面的内容。这样做的结果，会有以下几个好处：层次会比较清楚，而且不会把主旨搞得混乱不清，也不会弄出重复的段落来，更不会出现在观点上前后不一致的情况。这样写起来，还会在有些段落中扩展一些内容，而不至于让文章整体显得臃肿和零乱。

或许，有的人在写文章的时候，会有突发的灵感，不需要这样先做形式化或者模块化的工作。长篇大论，一气呵成，这自然是很高的境界。但是在更多的情况下，这种灵感不一定就有这种飘飘欲仙的状态，所以形式化的方法在更多的情况下会更适用。写文章使用形式化的方法，主要的好处就是效率高。在很多情况下，人们在写文章的时候，如果只是打个腹稿，而没有做更多的这类形式化的工作，那么就有可能在写着写着，就不知道怎么写了，不知道该写什么了，甚至于会有无话可说的尴尬。这样的文章即使后面再续下去写，总不会让人看着那么顺畅。如果使用类似于形式化的方法，那么这样的尴尬就有可能少一些。至少我会知道原来设计的每个模块应该写些什么，或增或删，游刃有余。当然，发现有必要时，也可增加一些模块，插入其中，这样做也不会太复杂。

不过，写博客有点例外，基本是天马行空，想到哪儿写到哪儿，因为不要求那么严谨，所以就随意也无所谓啦。

至于试错法，其实，我们做任何工作都会面临这样的情况。几乎没有一件事是一下子从头至尾就成功的，总会出现这样那样的问题、缺陷或者错误。这里的问题在于，我们最先要解决哪个方面的问题，即先要改正哪个方面的错误。这里恐怕也是有讲究的。眉毛、胡子都有毛病，那么是先解决眉毛的问题呢，还是先解决胡子的问题，这是要根据具体情况来看的。假设涉及到生存方面的问题，比如，胡子太多太密会影响进食，从而影响健康，那自然先要解决胡子方面的问题。但如果要着重解决脸面方面的问题，或许解决眉毛的外观就成了要解决的问题首选。这事都不能绝对地确定。

在试错过程中，有主动的一面，也有被动的一面。所谓主动，就是指事先考虑好若干方案，这每个方案所得到的结果都不确定，都有成功的因素，也都有失败的可能，那么预先考虑好的失败因素，也就为下一步的修正打下了基础；所谓被动，就是在设计的方案中，有些因素并没有事先考虑到，而在实施中发现了这类因素的存在，所以在面临这样的问题时，还得重新来思考原来的方案，把这种新发现的因素重新考虑进去。简单一句话，不折腾得一遛够，你是找不出最终解决问题的方法的，也是不可能最终取得成功的。

试错这种事，有时是会让人心烦意乱的。怎么回事？怎么总出问题？什么时候才能看到曙光？什么时候才能得到解脱？这些问题可能一直会把人纠缠得要死要活（这里用欲仙欲死好像不太恰当）。但没办法，这就是工作，这就是生活。最终的乐趣就是在这一大堆烦恼与厌恶中产生出来。
本文来自互联网。

试错的方法与形式化的方法

cappuccino · 发表于 2016-9-29 02:02

大家都不容易！

男人、必自强 · 发表于 2016-9-29 06:20

大家都不容易！

kangmaj · 发表于 2016-9-29 06:39

以后多分享一些这样的有价值的帖子啊

xiao木虫 · 发表于 2016-9-29 11:04

好东西一定要看看！

常佳乐 · 发表于 2016-9-29 15:26

好东西一定要看看！

蝶水琪 · 发表于 2016-9-29 15:34

论坛有你更精彩！

kangmaj · 发表于 2016-9-29 15:41

好东西一定要看看！

wx5048 · 发表于 2016-9-29 20:00

谢谢您的分享！

feiyang · 发表于 2016-9-29 22:26

论坛有你更精彩！

maxinlan126 · 发表于 2016-9-30 04:39

以后多分享一些这样的有价值的帖子啊

辑文编译4044 · 发表于 2016-9-30 05:09

大家都不容易！

little薄荷 · 发表于 2016-9-30 10:08

以后多分享一些这样的有价值的帖子啊

20068851 · 发表于 2016-9-30 10:15

以后多分享一些这样的有价值的帖子啊

努力的小蚂蚁 · 发表于 2016-9-30 10:47

谢谢您的分享！

lijiaw2009 · 发表于 2016-9-30 11:34

谢谢您的分享！

王军礼 · 发表于 2016-9-30 13:41

好东西一定要看看！

yinkaiting · 发表于 2016-9-30 15:38

好东西一定要看看！

账号		自动登录	找回密码
密码			注册会员

试错的方法与形式化的方法

晓木虫

试错的方法与形式化的方法