阳光是金色的

摘要： 最近在学校跟着老师参与了一个代码验证的工作，需要使用Microsoft Research（微软学术）开发的VCC工具，是开源的，托管在Codeplex上。这东西英语资料极其少，中文资料基本没有。我只能看官方给的英文文档。因此，我也就有了心思写几篇简单的博客，也包括文档的一些翻译。留个纪念也好。　... 阅读全文