连续语义学及其分析量词位置和辖域问题的尝试

来源 :重庆理工大学学报:社会科学 | 被引量 : 0次 | 上传用户:dhgczjd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
“连续”概念从最初萌芽到正式提出再到现在被广泛应用到计算科学、形式语义学、逻辑学等领域,经历了半个多世纪的历程,到目前仍被沿用。“连续”在词的层面上可视为该词出现的语境。“连续”在计算科学领域指某个函数的“未来”,即与该函数相关并使得计算得以继续的新函数。在形式语义学领域,“连续”类似于某些语法(如组合范畴语法)中的类型提升操作,但不同的是,连续语义学将整个语法做了类型提升。第一部分介绍“连续”概念的涵义,第二部分给出连续语义学示例,第三部分介绍计算科学界著名的值传递和名字传递两种化简方式对应的连续语义,
其他文献
屈赋的地域特点主要表现在三个方面——楚地风物:山泽、草木、巫风神话,这些为屈赋提供了地域性素材;楚言楚语:楚辞方言词语以及特殊句法,加深了屈赋的地域特点;夏言楚风:使用句
李密是隋末唐初的重要历史人物。他雄才远略,才兼文武,在灭隋过程中建立巨大功绩,最终却与王世充在邙山一战而败,投唐反叛被杀。从史学典籍到诗歌文集,再到平话小说,他的形象经历诸多变化。文章以李密形象的塑造和演变为主线,通过对“历史书写”本身的分析,解构不同历史时期不同作品中李密的形象,对李密的形象演变进行一个全面的梳理和概括。在以《北史》《隋书》《旧唐书》《新唐书》《资治通鉴》为代表的官方史籍中,李密
本文通过研究安徽省金融产业发展现状,找出安徽省传统金融产业发展过程中的薄弱环节,进而对比分析传统金融发展模式与基于区块链技术的新型金融发展模式的优缺点.最终提出以
现代农业发展对于社会的整体发展有着不可替代的作用,可见,现代农业信贷的需求是非常迫切的.本文主要从对现代农业信贷风险评估与控制角度出发,基于商业银行对于现代农业信贷
<正> 从试验中发现,在单相电容式异步电动机转矩曲线的低速区,往往会出现下凹现象,它不象一般附加同步和异步转矩那样急剧变化(见图1)相对比较平滑(图1曲线
国际儿童读物联盟(IBBY)是和联合国儿童基金会以及联合国教科文组织有正式咨商关系的国际非营利的非政府组织,支持世界范围内,特别是发展中国家的优质儿童读物的创作、编辑、
三年级学生作业的多维变化,改变的不仅仅是书写,更多的是从所占学习时间、学习重心的转移而促使的态度、兴趣等分化的悄然产生,是伴随作业的分化现象而产生的整个学习过程的
重庆拓展地票生态功能、实现生态产品价值的实践,核心是土地要素的市场化转换,增加城市建设用地需等量增加农村复垦耕地或林草地,通过交易引导市场要素配置,推动形成城乡统一
[目的]研究山地杉木萌芽条扦插造林成效。[方法]在山区开展杉木萌芽条扦插造林试验,第1年造林成活率80.5%~88.4%、抽梢高度5.1~6.7 cm,第2年存活率76.0%~85.3%、幼苗高度27.4~43.
文章详细分析2013—2017年国家知识产权局发布《年全国专利实力状况报告》的专利创造、运用、保护、管理、服务5个方面广西指标情况,对广西专利发展情况进行历年横向比较,在