华中科技大学软件学院

相关

• 类型论在最广泛的层面上，类型论（英语：type theory）是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖
• Acetylcysteine乙酰半胱氨酸（Acetylcysteine），又称为N-乙酰半胱氨酸（N-acetylcysteine）或N-乙酰-L-半胱氨酸（N-acetyl-L-cysteine），常简称做NAC。本品可用于治疗对乙酰氨基酚（普拿疼）中毒，且可用于解
• 北美自由贸易协定北美自由贸易协议（英语：North American Free Trade Agreement，NAFTA，法语：Accord de libre-échange nord-américain，ALÉNA，西班牙语：Tratado de Libre Comercio de América del
• 斯托克顿市斯托克顿（Stockton，或译史塔克顿），当地华侨通译为斯托克顿，位于美国加利福尼亚州中部，是圣华金县的县治所在，人口约29万（2010年）。老一辈华侨通常称斯托克顿为“三埠”（大埠指旧金山，二
• 李斯法家系列条目战国：李悝、吴起、慎到、申不害、　　　商鞅、李斯、韩非李斯（前284年－前208年），字通古，楚国上蔡（今河南省上蔡县西南方）人，是秦朝著名的政治家、文学家和书法家。李斯曾
• 汾河谷地汾河谷地又称汾河川，位于山西省中南部，原为东北-西南走向的新层地堑。南接渭河平原，北接滹沱河谷地。从霍山口，可将其分成两个部分：以北也称为太原盆地，海拔多在700~800米，方言基本
• 多元分类在机器学习中，多元分类是将实例分配到多个（多于两个）类别中的其中一个（将实例分配到两个类别中的其中一个被称为二分类）。显然，分类算法可以分为二分类和多分类两种，而多分类算法可
• 周刊朝日《周刊朝日》是朝日新闻社发行的周刊，日本知名的杂志之一。1922年2月25日创刊，当时为旬刊，每月5日、15日和25日发售。自同年4月2日其改为周刊。在昭和30年代前半期曾创下发行量
• 直线卑钩蛾直线卑钩蛾（学名：）是鳞翅目钩蛾科的一种，体长9～11毫米，头部棕色，有紫色毛丛。触角灰褐色，雄性为双栉形，雌性为叶片形。身体背背面灰棕至灰褐色，腹面黄褐色。双翅13～16毫米，灰紫色至紫褐
• 歌剧院一个歌剧院是一个剧院的建筑用于歌剧表演，它由一个的阶段，一个乐池，观众座位，并为后台设施的服饰和一组建筑。尽管有些场馆是专门为歌剧建造的，但其他歌剧院却是大型表演艺术中心