12 2015 档案
摘要:这是两种不同角度考虑事情并进行推理的方式,其作用并不止于用在推理小说中。我们解决问题的过程都依赖此种科学的方式,尽管很多人可能已经忘记了。 记得大概是在初中课本中的数学归纳法第一次开始在课本中提到此种方式,具体是用归纳法来证明什么已经不记得了,所以找资料看了下,是用证明一个三角形的内角和来举例子的...
阅读全文
摘要:原文在http://rerun.me/2014/10/06/akka notes actorsystem in progress/ 像我们前面看到的,我们可以用 ActorSystem 的 actorof 方法来创建Actor。其实你可以用ActorSystem做更多事。我们可以先看下Conf...
阅读全文