草草的看了一遍,感觉实际意味不是很大(我知道通常说这些话都会是错误的)。主要是弹验证程序正确性问题。唯一的印象是目前为止也没有一个很好的验证方法。等什么时候有空再自习读一遍吧。 第6个问题有点意思,咖啡罐问题。