首页 >
林惠民
✍ dations ◷ 2025-04-03 12:39:53 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
相关
- 爱沙尼亚– 欧洲(绿色及灰色)– 欧盟(绿色) —爱沙尼亚共和国(爱沙尼亚语:Eesti Vabariik),通称爱沙尼亚(爱沙尼亚语:Eesti,爱沙尼亚语发音: .mw-parser-output .IPA{font-family:"Charis S
- 巴拿马市巴拿马城(西班牙语:Panamá)是中美洲国家巴拿马的首都。它位于巴拿马运河太平洋端的入口,拥有880,691人口,而都市圈更有1,272,672人口居住,而该城亦是巴拿马的政治、行政及文化中
- 恩纳恩纳(意大利语:Enna),是意大利恩纳省的一个市镇。总面积357.18平方公里,人口27963人,人口密度78.3人/平方公里(2009年)。ISTAT代码为086009。
- 尤因氏肉瘤尤文氏肉瘤(英语:Ewing's sarcoma)又称为尤因肉瘤、未分化网状细胞瘤。原于骨髓内的原始细胞,是常见骨的恶性肿瘤。系美国的病理学家詹姆斯·尤因(James Ewing)于1921年首先报道
- 心sub火/sub在传统中医学里的脏象学说中,心是五脏六腑中最主要的部分,在五行中属火,为神之居,血之主,脉之宗。心与生物学中的心脏大致上是同一个构造。型态描述上,《医宗必读》形容心为“心象
- 四川话四川话(四川话拼音:Si4chuan1hua4;国际音标: ),是流行于中国四川省、重庆市(巴蜀地区)及周边省份临近地区的主要汉语言,包括汉语西南官话中的成渝片及灌赤片。四川话目前约有1亿2千万
- 罗兰之歌罗兰之歌(法语:La Chanson de Roland)是一首法兰西11世纪的史诗(武功歌),改编自公元778年查理曼统治时期发生的隆塞斯瓦耶斯隘口战役。它是现存最古老的重要法语文学,在各种手稿中
- 于塞城堡于塞城堡(法语:château d'Ussé)是位于法国城市里尼于塞的一座法式城堡。为夏尔·佩罗的童话睡美人之城堡原型,且内有故事相关情节之场景与蜡像供游客参观。自1931年开始,于塞城
- 陶里亚蒂陶里亚蒂 (俄语:Толья́тти)是俄罗斯萨马拉州的一个城市、斯塔罗夫波尔县县治。2010年人口719,632人,是俄罗斯最大的非联邦主体首府城市。 在国际上,这座城市最着名的是
- 俄罗斯联邦宪法俄罗斯联邦宪法(俄语:Конституция Российской Федерации, Konstitutsiya Rossiyskoy Federatsii; 发音.mw-parser-output .IPA{font-family:"C