西比拉神谕

相关

• 抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
• 数字黑暗时代数字黑暗时代（英语：Digital dark age）是指历史上保存的数字文档在未来可能难以读取，甚至无法读取的情况。原因是现存的数字文档和多媒体所采用的数据格式由于过于陈旧而被弃用，或
• 弗朗索瓦·韦达弗朗索瓦·韦达（法语：François Viète；拉丁语：Franciscus Vieta；1540年－1603年12月13日），16世纪法国最有影响的数学家之一。他的研究工作为近代数学的发展奠定了基础。他也是名律师
• 失效安全失效安全（fail-safe）也称为故障保险、失效导向安全，是指一个设备或是实务，即使有特定失效（英语：failure causes）下，也不会造成对人员或其他设备的伤害（或者将伤害最小化），失效安全是安
• LGM-1PSR B1919+21是一颗位于狐狸座的脉冲星，距离地球2283.12光年，自转周期为1.3373秒，脉宽0.04秒。这颗脉冲星于1967年由剑桥大学研究生乔丝琳·贝尔无意中发现，并将之命名为“CP191
• 涂壁花蜂涂壁花蜂，体长约3~6公分，算是中大型的欧洲蜂类。主要分布在温带地区，偶有时会在较高纬度的地区被发现。涂壁花蜂并非群居的蜂类，而是比较像是穴蜂科一样分散式的在墙孔、砖墙的
• 因陀罗尼尔 森古普塔因陀罗尼尔 森古普塔 (孟加拉语：ইন্দ্রনীল সেনগুপ্ত, 印地语：इंद्रनील सेनगुप्ता，Indraneil Sengupta，1974年9月8日－）是印度电影、电视演员、
• 雪乐山雪乐山（英语：Sierra）成立于1979年，是一家美国电子游戏制作商和发行商。公司成立之初的名字是On-Line Systems，创始人是肯·威廉姆斯（英语：Ken Williams）和罗伯塔·威廉姆斯（英语：Rober
• 西区故事 (2020年电影)《西区故事》（英语：）是一部预定于2020年上映的美国爱情歌舞片，由史蒂文·斯皮尔伯格执导，东尼·库许纳编剧。电影改编自李奥纳德·伯恩斯坦和史蒂芬·桑坦的同名百老汇音乐剧。主
• 胡厚宣胡厚宣（1911年12月20日－1995年4月15日），河北保定望都县人，著名甲骨文学家、殷商史学家。1928年，考入北京大学预科，两年后升入史学系。1934年北大毕业，进入中央研究院历史语言研究所