博文

如何作研究？

2010-4-14 16:07

现在正在努力。感觉还是要再坚持。还有，要提高英文文献的阅读能力。

个人分类: 未分类|4239 次阅读|没有评论

形式语义学基础

2009-10-29 16:40

陈意蕴的 《形式语义学基础》 还有另外两本中文教材： 《程序设计语言的形式语义》 外文的好像有 《程序设计语言的形式语法及语义》（翻译过来的，英文好象是Formal syntactic and semantic of programming language） 还有《指称语义 denotational semantic》 形式语义方面的资料相当多，随便去网上就可下 ...

个人分类: 未分类|11679 次阅读|1 个评论

联想首席科学家——TOP500两台千万亿次机都不合格

2009-10-29 16:34

2008年对于 中国 高性能计算产业而言，是一个很好的年景。在2008年，曙光和联想两家 服务器 厂商推出运算能力达到百万亿次的超级 计算机 ，可谓可喜可贺。 然而，放眼全球，中国高性能产业与 国际 发达国家的水平仍有较大差距。而且，在2008年，可能人们会很多地关注到全球超级计 ...

个人分类: 未分类|5206 次阅读|没有评论

色戒与网戒

2009-9-11 09:07

色戒与网戒 色戒电影大家可能都看过。当时炒作的很厉害。不少人看到里面的色字。我也看了几次，但都没有看完，印象中就是几个人再打麻将 ...

个人分类: 未分类|3836 次阅读|没有评论

学习JAVA语言

2009-5-3 21:32

必须要学习一们语言了.先学JAVA吧

个人分类: 未分类|3801 次阅读|没有评论

本页有 5 篇博文因作者的隐私设置或未通过审核而隐藏