自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:>6...

原创 S. Lippman的访谈

http://forum.blogchina.com/forum/viewtopic.php?t=28914搞笑的一句:记得1991年Java出现的时候,人们预言c++将会消失,可这并没有发生,而是SmallTalk消失了。当Linux出现的时候,人们又说微软有麻烦了,可实际上是Sun有了麻烦。:...

2004-09-21 03:18:00 2572 0

原创 Marktoberdorf暑期班的讲义

其实偶很惭愧:一直不知道Marktoberdorf暑期班是什么来头,虽然自己也算小半个研究形式化方法的学生。昨天看到Marktoberdorf暑期班讲义 ,尤其是Manfred Broy的讲义,才知道,原来每年的暑期班也是计算机理论界的盛会,大牛云集。大牛们讲的东西也多半名动江湖。当年班里的新鲜玩...

2004-09-18 07:11:00 2446 2

提示
确定要删除当前文章?
取消 删除