Class Invariants By Abstract Interpretation

最近，微软开发了一个新的软件 - Class Invariants By Abstract Interpretation，简称CIBAI。虽然还只是一个在研究阶段的project，但是这几天，这个话题已经在Twitter里闹得好不热闹，尤其是星马两带的网民，更不断地在Twitter里发表CIBAI伟论。

详情请浏览以下网址：

1. http://izreloaded.blogspot.com/2009/05/microsoft-names-research-project-cibai.html
   
2. http://josh.my/2009/05/microsoft-cibai-microsoft-names-new-software-after-slang-term-for-vagina/
   
3. http://www.mrbrown.com/blog/2009/05/cibai-the-latest-trending-topic-on-twitter.htm

有谣言说微软准备为以上的软件提供课程还有证书，暂名为MCCP - Microsoft Certified CIBAI Professional。如果这是真的话，试想想拿到证书后应征工作，面试时可能会出现的对白：

老板："你说你拿过一些课程，并得到了证书。那是什么课程呀？"

面试者："噢，我拥有微软认可的CIBAI专业证书。I'm a Microsoft Certified CIBAI Professional！！"

想到这里，顿时泄气。这个课程，我打死都不拿。