zckinghao的空间
http://wiki.hudong.com/u/bAQReRlFZX0BYV1wC
http://wiki.hudong.com/u/bAQReRlFZX0BYV1wC
- Curry-Howard同构
- 2006-07-20 12:04:50
- 简介 Curry-Howard 对应是在计算机程序和数学证明之间的紧密联系；这种对应也叫做 Curry-Howard 同构或公式为类型对应。已经采用了一些不同的公式化，它的原理现在被认为是由美国数学 [进入词条]
- 埃迪·霍维
- 2006-01-02 10:17:53
- 姓名：埃迪·霍维 英文名：Eddie Howe 性别：男 国籍：英格兰 出生城市： 出生日期：1977年11月29日 身高：178cm 体重：74.45kg 场上位置：后卫 场上编号：2... [进入词条]
- 周锦辉
- 2006-12-17 01:56:05
- 基本资料姓名：周锦辉生卒：1950—描述：澳门繁荣促进会创会会长，1996年获选为第六届立法会议员籍贯：香港个人概述职业生涯1981年从美国移居澳门。澳门繁荣促进会创会会长，1996年获选为第六届立法... [进入词条]
- 顾宜之
- 2008-04-13 13:47:00
- 顾宜之 参与制作过的电影: 夜夜盼郎归 (1958) .... 编剧 未出嫁的妈妈 (1958) .... 编剧 [进入词条]
- 鱼头为何无鱼鳞?
- 2006-10-12 19:53:58
- 鱼（确切的说指硬骨鱼）全身有鳞。不！若仔细观察就会看到餐桌上的大马哈鱼，或者鱼缸中游动着的金鱼的头上果真有鳞吧？这个“鱼头无鳞之迷”与我们的头骨出现的秘密有关。头骨和牙齿实际上是“外骨”。最初的鱼身上... [进入词条]
- 猫猫的年龄是这样计算的！
- 2006-10-12 19:54:19
- 这是我从一本名叫《宠物精养－猫》的书上抄下来的－ 猫的一般寿命为18-20岁。人在18岁时正值青春期，可猫在18岁时已是高龄阶段。而猫的青春期则在1-2岁之间。10岁的猫基本上可认为进入老年社会了。这... [进入词条]
- 金玉婷
- 2009-01-12 14:44:09
- 金玉婷，中国大陆女演员，毕业于上海戏剧学院表演系，荣获1998年“金鹰奖”提名奖。 概述 描述：清纯玉女 姓名：金玉婷 拼音：jinyuting 生日：11-21 现住地： 上海 籍贯： 上海 民族： [进入词条]
- 褐矮星
- 2008-08-10 16:54:56
- 褐矮星brown dwarf，褐矮星是构成类似恒星，但质量不够大，不足以在核心点燃聚变反应的气态天体。其质量在恒星与行星之间。褐矮星是处于最小恒星与最大行星之间大小的天体，由于这一原因褐矮星非常暗淡 [进入词条]
- 甲状软骨
- 2006-02-20 05:15:19
- 甲状软骨 颈部前面的方形软骨,左右各一,在颈部的正前方连接在一起,下部跟环状软骨相连.男性的特别突出,也叫喉结. 相关连接 野生动物 软骨 爬行类 [进入词条]
- 拉安戈斯图拉坝
- 2006-10-12 20:09:22
- 拉安戈斯图拉坝 La Angostura Dam 概 述 拉安戈斯图拉坝位于墨西哥恰帕斯州境内的格里哈尔瓦(Grijalva)河上。心墙堆石坝，最大坝高146m，... [进入词条]
添加好友 
.gif){kind=small}
发送消息 
