搜索结果: 121-135 共查到“知识要闻 程序设计及其语言”相关记录186条 . 查询时间(3.122 秒)
南京理工大学举办十三届“中兴·图灵杯”人工智能程序设计大赛（图）
南京理工大学 中兴·图灵杯 人工智能 程序设计
2020/12/14
2020年12月5日，由计算机学院主办的第十三届“中兴·图灵杯”人工智能程序设计大赛决赛落幕，来自我校、清华大学、南京大学等高校的百余支队伍报名参赛。本届大赛历时五个月，赛事平台从无到有，赛事宣传从校内走向校外，经历激烈的初赛复赛，最终16支队伍进入决赛。
2020年11月5日，2020CCPC中国大学生程序设计竞赛（长春）在线举行，经过前期的选拔，来自清华大学、北京大学、浙江大学等150所院校，324队伍入围此项赛事。经过激烈角逐，浙江财经大学信息管理与人工智能学院获得了银奖一项，高校排名31，队伍排序44的好成绩。
2020年11月7日12时至17时，长沙理工大学第15届ACM程序设计大赛在云塘校区综合实验楼圆满举行。本次校赛吸引了来自本校计算机与通信工程学院、数学与统计学院、物理与电子科学学院，土木与建筑学院，交通运输工程学院，能源与动力工程学院，经济与管理学院等7个不同学院、6个不同年级的本科生和研究生共计514名参赛选手组成了181支参赛队伍，是长理ACM校赛举办历史上参赛规模最大的一次比赛。
2020年10月18日，在第6届中国大学生程序设计竞赛秦皇岛站中，我校ACM集训队派出的三支参赛队伍均获佳绩，获得三枚银牌。三支队伍分别是:“奔跑的小菜鸡（running_chicken）”队由队员陈纪源（计算机学院）、张瑞星（计算机学院）和薛欣（计算机学院）组成；“铲车人（Die_java）”队由队员王兴罡（计算机学院）、傅云濠（网络空间安全学院）和黄旭民（软件学院）组成；“地址过低（^^^TO...
2020年10月17—18日，2020年第十六届“强智杯”湖南省大学生计算机程序设计竞赛在我校举行。本次竞赛由省教育厅主办、省高教学会计算机教育专业委员会协办、我校承办，分为ACM程序设计、应用开发和机器人三大类竞赛，吸引了全省43所高校240支代表队近千名学生参赛。
由湖南省教育厅主办的湖南省第十六届大学生计算机程序设计竞赛于2020年10月17日至10月18日在长沙理工大学举办。经过5个小时的激烈角逐，我校派出的4支队伍斩获一等奖3项和二等奖1项，并斩获团体总分第二名，获得了自2009年参加省赛以来的历史最好成绩。
近日，由全国高等院校计算机基础教育研究会开展的线上教学优秀案例评选活动成果揭晓，我校宋友教授团队负责的《C语言程序设计》课程荣获“全国高等院校计算机基础教育研究会2020年在线教学特邀优秀案例”称号。全国高等院校计算机基础教育研究会是我国有重要影响的、专门从事高校计算机基础教育研究的全国一级学术团体，对我国高校的计算机基础教育起到重要的推动作用。其为及时推广与交流线上教学宝贵经验，组织开展了在线教...
中国科学院软件研究所发布国内首个量子程序设计平台——isQ（图）
中国科学院软件研究所 量子程序设计平台 isQ 编译器 模拟器 模型检测工具
2019/12/25
2019年12月20日上午，中国科学院软件研究所举行了量子程序设计平台新闻发布会,正式发布了国内第一个较为完整的量子程序设计平台isQ，“isQ”中的“is”代表软件研究所Institute of Software，“Q”代表量子Quantum。isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序...
我国计算机基础理论研究取得进展——编程理论OESPA实现语义计算
计算机基础理论 编程理论 OESPA 语义计算
2019/12/3
计算机应用已经深入到人类社会的每一个角落，可新软件必须通过测试才能投入使用。测试只能发现错误，不能判断是否无错，潜在的错误可能影响我们的生活。科学家们几十年如一日尝试用数学描述和逻辑推理来定义和证明程序正确，测试仍然是软件开发必不可少的步骤。日前，科学出版社出版了国内知名Petri网专家、北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Th...
2019年11月8日，我院吴杰老师课题组研究生黄博博、张一名、张瑞、邹文雄和陈路路等组成的复旦 Starry 战队参加由国际高性能和人工智能咨询委员会（HPC-AI）举办的第七届大学生 RDMA 编程挑战赛，最终和清华团队并列获得第二名。本届比赛得到了包括中国高性能计算专业委员会、华为、Mellanox、NVIDIA 等国内外多家知名机构及企业的大力支持。国际高性能和人工智能咨询委员会于 2008...
2019年10月17日，CCF CCSP竞赛(Collegiate Computer Systems & Programming Contest大学生计算机系统与程序设计竞赛)在苏州职业大学落下帷幕。本次大赛中，由我院教师李建波和杜祥军指导的、计算机科学技术学院学子组成的青岛大学参赛队首次参赛便取得了优异成绩，获得2项银奖、2项铜奖，其中赵现锋、林子豪获银奖，曹光旭、姬忠鲁获铜奖。青岛大学在参赛的...
长沙理工大学在湖南省ACM程序设计竞赛中喜获佳绩（图）
长沙理工大学 湖南省 ACM程序设计
2022/2/5
近日，第十五届湖南省大学生计算机程序设计竞赛在湖南师范大学顺利落幕。在本次比赛的ACM程序设计竞赛中，全省近40所高校派出了138支队伍参赛。长沙理工大学共派出4支代表队12名选手参加了本次比赛。
程序语义表示是长期困扰软件工程领域的基础性难题，对于解决代码搜索、应用程序接口学习、缺陷定位等智能化软件工程任务具有重要意义。近年来，众多研究者持续关注程序语义表示问题，但现有技术很难对自然语言与代码元素进行统一表示，难以度量两者间的语义关系。近期我校在软件工程国际期刊IEEE Transactions on Software Engineering（TSE）发表研究成果，为破解程序语义表示难题提...
2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACM SIGPLAN Conference on Programming Language Design and Implementation，PLDI 2019）在美国凤凰城举行，南京大学计算机科学与技术系程序设计语言研究组冯新宇教授、梁红瑾副教授及其团队的论文“Towards Certified Separate Compil...
