林惠民

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

相关

  • 窒息窒息(英语:asphyxia)在医学上,是人体严重缺氧的一个状况。它的成因很多,严重可导致死亡。在急救上的定义为“气道遭外来物件阻塞而无法呼吸”。在法医学上则指因缺氧而死亡,窒息是
  • 迈锡尼迈锡尼希腊语是希腊语的已知最古老的形式,多利亚人入侵前,在迈锡尼时期(公元前16至前12世纪)使用于希腊大陆和克里特岛上。它保存在线形文字B写的题字中,这种文字是公元前14世纪
  • 弗洛伊德西格蒙德·弗洛伊德(德语:Sigmund Freud,出生名:Sigismund Schlomo Freud,1856年5月6日-1939年9月23日),奥地利心理学家、精神分析学家、哲学家,犹太人。生于奥地利弗莱堡(今属捷克),后
  • 霍奇金氏病霍奇金氏淋巴瘤(英语:Hodgkin's lymphoma)又称霍奇金氏病、何杰金氏病,或何杰金氏淋巴瘤,为淋巴瘤的一型,是一种淋巴细胞的癌变,症状包含发烧、夜间盗汗(英语:Night sweats),以及体重减
  • 克里奥尔语克里奥尔语(英语:Creole Language或Creole)是一种稳定的自然语言,由皮钦语进一步发展而成。其特征为混合多种不同语言词汇,有时也掺杂一些其他语言文法的一种语言,也称为混成语或
  • 结膜病结膜炎(英语:Conjunctivitis,亦称Pink Eye),俗称红眼症,是一种发生在结膜的炎症,也会发生在眼睑内侧表面,会让眼睛泛红或带有粉红色,可能会很痒、疼痛、有灼热感或搔痒感,罹患结膜炎的
  • 面粉厂面粉厂,是第二产业的工厂,把小麦、大麦、皮麦、青稞(元麦)、黑麦、燕麦等粮食磨成粉,成品是面粉、麦粉等。在供应链上游是农作物供应商,而下游是面粉批发商人。
  • 伯明翰伯明翰(英语:Birmingham i/ˈbɜːrmɪŋəm/,本地发音:/ˈbɜːrmɪŋɡəm/)是英国英格兰西米德兰兹区域西米德兰兹郡的大型工业城市,据2013年统计数字,该城人口有1,092,330人,是
  • Ausub2/subOsub3/sub三氧化二金(Au2O3),又称氧化金,是不稳定的氧化物,因为金活性非常小,很容易就会被其他活性比它大的元素抢走氧气。三氧化二金是呈红棕色至棕褐色的固体,不溶于水,溶于浓无机酸、冰醋
  • 精子银行精子银行 (Sperm bank)是保存年轻男性精子的储存机构,精子放入银行暂时贮存,以备自己今后使用,或捐献他人使用。适用者包括夫妻两地分居者、少精症者或取精困难者、患病者、暂时