看板Programming
标 题Re: 程式...
发信站台大电机 Maxwell BBS (Sat Aug 12 16:41:06 2006)
转信站ptt!ctu-reader!ctu-gate!news.nctu!news.ntu!news.au!zoonews.ee.ntu!bbs.
喔
有新的概念了,之前只有物件,GC...,programming的东西
space explosion 是只使用空间太大吗,不会是宇宙膨胀吧
程式码我是都有debug过
※ 引述《[email protected] (Har)》之铭言：
: ※ 引述《[email protected] (枫)》之铭言：
: : 怎麽去确认程式的正确性阿
: : 如果有上千行的话,上亿个执行结果
: 我认为你问的这个是一个很好的问题。虽然我在之前就想过，
: 并尝试过一些解决方案。
: 至於那些建议慢慢阅读说明书，自己去搜查的……嗯，不觉得
: 这不是一个很有效率的方法吗。
: 老程序员常有的问题，就是以老生常谈的方法去把一切当作理
: 所当然，而忽略了更新解决方案的潜在。
--
※ Origin: 台大电机 Maxwell 站 ◆ From: 219-68-167-147.adsl.dynamic.giga.net.tw
1F：推 march20:search space. verification 的complexity 71.137.24.57 08/13 01:53
2F：推 march20:动不动就是 EXP-TIME @@ 71.137.24.57 08/13 01:54
4F：推 march20:(推文好像别的站看得到吗@@?) 71.137.24.57 08/13 02:07