今天非常开心的事情是跟Gemini说了一个长久以来的想法：小野宽晰在子结构逻辑中分离合取（conjunction）和融合（fusion）的做法，可以用来精确的描述“并行”和“并发”的区别。得到了Gemini的肯定，“Compelling”，一刚。

当然这只是问题的一半，另一半是我们需要一个与之有Curry-Howard-Lambak同构的演算系统。但至少，这是一个比Hoare的CSP和Milner的Pi-Calculus想法更好的想法，也比Harper在书里的模糊其词好多了（当然他是学者，不能象我一样把八字一撇拿出来说。