林惠民

✍ dations ◷ 2025-04-25 03:59:22 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。

相关

  • 肿瘤学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学肿瘤学(英:Oncology)是一种研究肿瘤(尤其
  • 辞职辞职是在职业上一个员工辞别自己原先的工作岗位及组织,让出其职位予新接任人。与之词意相近的是离职、退职,但不包含退休。员工离职时,要先与下一位接手之人指导其岗位职务上需
  • 页面构成原理页面构造原理是书籍设计中用来描述页面比例, 书籍中空白和文字区域的构成的一套原则.在20世纪中末期 扬·奇肖尔德 在前人 J. A. van de Graaf, Raúl M. Rosarivo, Hans Ka
  • 银河系天文学银河系天文学是研究我们的银河系和其所有内容。相对来说,星系天文学是研究在我们银河系之外的一切,包括所有其他的星系。不要将银河系天文学和星系的形成和演化混淆,后者一般是
  • 激活素激活素(英语:Activin,亦成为激活蛋白或活化素)与抑制素(英语:inhibin)是一种用于抑制卵泡刺激素分泌的与组合的梭氨酸 。参与在月经周期的调节中。抑制素包括一个由二硫键链接起来
  • 韭部,为汉字索引中的部首之一,康熙字典214个部首中的第一百七十九个(九划的则为第四个)。就繁体和简体中文中,韭部归于九划部首。韭部只以左、右、下方为部字。且无其他部首可用
  • 出生缺陷先天性障碍,又称先天性疾病、先天畸形、先天缺陷,是指发育中的胎儿因为遗传性疾病或发育环境等因素导致某个部位特征结构畸形,导致在婴儿出生时即有的病症,包括了身体(英语:Physic
  • ΠPi(大写Π,小写π,中文音译:派),是第十六个希腊字母。大写字母Π:小写字母π:西里尔字母的П及拉丁字母的P都是从Π变来。
  • 嵌合体嵌合体(英语:chimera、genetic chimerism、chimaera),又名奇美拉现象,是动物学的一种特殊现象,指动物的两颗受精卵融合在一起身为一个个体并成长。嵌合体的英文名称Chimera,是源自
  • 因果关系 (法律)客体 · 行为(作为 · 不作为) 危害结果 · 因果关系 · 犯罪主体 主观要件(故意 · 过失) 未遂 · 既遂 · 中止 · 预备阻却违法事由 正当防卫 · 紧急避难心神丧失