论文部分内容阅读
该文提出简单类型化的同时抽象和扩展的Ｌａｍｂｅｋ演算作为范畴语法的基本工具，推广了Ａｃｚｅｌ，Ｌｕｎｎｏｎ和Ｒｕｈｒｂｅｒｇ等人的工作。简单类型化的同时抽象克服了传统λ－演算依赖于抽象次序的缺点，有利于汉语等一类词序不很严格的自然语文的句法－语义分析。文章最后给出了几个典型的例子。
扩展Ｌａｍｂｅｋ演算
【摘 要】
：
该文提出简单类型化的同时抽象和扩展的Ｌａｍｂｅｋ演算作为范畴语法的基本工具，推广了Ａｃｚｅｌ，Ｌｕｎｎｏｎ和Ｒｕｈｒｂｅｒｇ等人的工作。简单类型化的同时抽象克服了传统λ－演算依赖于抽象次序的缺点，有利于汉语等一类词序不
【机 构】
：
大学计算语言学研究所
【出 处】
：
全国第五届计算机语言联合学术会议
【发表日期】
：
1999年期
其他文献
集成电路(ICs)面临着硬件木马(HTs)造成的严峻威胁。传统的旁路检测手段中黄金模型不易获得，且隐秘的木马可以利用固硬件联合操作将恶意行为隐藏在常规的芯片运行中，更难以检测
氮氧化物(NOx)广泛存在于各种机动车尾气和化工厂的废气中,如何有效地消除氮氧化物是当前环保研究的热点课题之一.本文主要研究了以水滑石类化合物为前体制得的复合氧化物对N
男孩是高敏体质，从小母亲就对他呵护有加，不让他过多地出门，不让他和小伙伴们随便玩，甚至在太阳底下多待一会也会担心，以至于给孩子制造了一个接近真空的环境，与自然、社会和同伴基本隔绝。 但孩子一进入小学一年级，问题就显露出来了：他不太愿意与人交往，老师和同学主动跟他讲话，他爱理不理。对同学更是有一些过激行为，有时会故意伸出腿去绊一下同学，有时会在上课过程中大喊大叫…… 班级其他孩子的家长纷纷找学校
期刊
通过电子显微镜对甜菜多粘菌体内以及侵染甜菜后根细胞内的类细菌（ＢＬＯｓ）研究，发现Ｐ．ｂｅｔａｅ与其侵染后的根细胞内存在着ＢＬＯｓ。这些ＢＬＯｓ来自自然土壤，形态多样，以杆状为主。Ｐ．ｂｅｔａｅ游动孢子囊内ＢＬＯｓ量较大，休眠孢子中
有人说过这样的一句话：“老师不经意的一句话，可能会创造一个奇迹；老师不经意的一个眼神，也许会扼杀一个人才。”作为一名教师即使没有能力点燃火种，也绝不能熄灭火种。面对眼前同样充满好奇和天真的孩子们，要珍惜，更要努力让每一个孩子的心中充满阳光，让每一个孩子在爱的抚慰下快乐成长。 昨天的语文课上，当我讲到“我相信我们每个同学身上都有闪亮的光点”时，一名学生竟然情不自禁地脱口而出：“老师，我身上有闪光点
期刊
“小水滴要去世界各地旅行啦！现在就请跟随它去世界各地看看吧！小水滴首先从魔鬼三角洲附近的一片海域出发，它经过格林兰、夏威夷群島，来到南美洲的亚马孙河，亚马孙河是世界上第二长河流，所以那里有凯门鳄、电鱼和鲇鱼等各种鱼类。小水滴从亚马孙河出来后到了冰岛，冰岛的景色非常美；后来它又经尼罗河到达了非洲，这里可是野生动物的天堂。在一个小岛屿上休息了片刻后，小水滴来到了印度洋，它围着马达加斯加转了一个大圈后，
期刊
我们需要怎样的教学 这是两个真实的案例：“厉害”的研究生朋友。十年前的夏天，与在武汉理科高校读研的一位朋友相邀洪山广场。朋友当面质问：小学数学有什么可教的？我随即出了三道题：估算眼前卖冷饮的小店高多少？广场大理石砖一块有多大面积？手中矿泉水瓶大概能装多少水？结果，本来刚过2米的高度硬是变成“至少3米”；不足0.5平方米的大理石变成近0.8平方米；600毫升变成1升。面对连续三次的失利，朋友连连反
期刊
该文论述了高压晶闸管制造技术中的表面类台面造型工艺。利用类台面结构可在不至于损失较大的有效阴极面积的前提下获得高于4000V的阻断电压。文中详细地介绍了类台面造型的
学期伊始，班上的一个男生就让我倍感头疼。几乎每天都有同学来打报告，一次次听到孩子们的“报告”，说不生气肯定是假的。接下来的数日，他依然不断地制造各种情况，当他再一次地对同学“动武”之后，我又把他叫到办公室，看到我异常愤怒的样子，他胆怯地向我保证，一定改正错误，好好学习。我观察着低头站在面前的他，意外地发现，他的右脸颊有几道紫红色的手印。 他低声说：“是爸爸打的”。 我心里为之一颤。面对着这个双
期刊