"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
如果你想理解大脑,你不应该只看单个神经元。你应该关注大量神经元之间的相互作用。
教师必须为形成较好人类而献出一切。