函数式程序設計語言的合成邏輯語义学

本文提出以合成逻辑(Combinatory logic)作为程序设计语言语义学的数学基础。Backus的(纯粹的)函数式程序设计(FP)语言实质上已是一种“高级的”合成逻辑语言,本文则将FP程序翻译成Curry的“低级的”合成逻辑中的代码。因此,它能在一种SK归约机上运行。     

函数/邏輯程序设计語言LM的应用——FFP系统支持的Δ-PROLOG

LM是一种对于FAIR-LILY语言作了一定扩展的函数/逻辑程序设计语言.本文旨在探讨LM语言的应用,表明该语言所具的函数与逻辑两种编程风格的协调、和谐及雅洁.文中用LM语言编写了Δ-PROLOG语言的解释程序,从而,Δ-PROLOG得以在FFP系统上实现.     

語言的人民性

一、語言和人民的关系全面地認識語言的社会本質必須充分認識語言的內部矛盾性,語言与其他事物的联系和关系。作为社会现象的語言在階級社会里不能不和政治、階級發生密切的联系,由于这个联系决定了語言的全民性和使用語言的階級性的辯證統一这一社会本質。作为社会现象、歷史現象的語言,同人类社会的主人,歷史的主人——人民群众也不能不發生極密切的关系,这个关系也必然决定着語言的     

論詩的語言

这是十八世纪的話了,罗蒙諾索夫說,詩是在科学中最难表現的科学。中国学者很早就有「詩无达詁」,「可以意会不可以言传」等类似的話。詩学的研究確乎是一件艰巨的工作。然而,卻不能因此把罗蒙諾索夫的話与資產階級唯心主义的美学观混淆起来。苏联学者A.普洛特金曾說过「資產階級文藝学家直到現在,……还是用初級的陈腐的形式主义和神秘的直觉主义来支持其生命的。或仍停留在个人經驗的观察范围内」(苏联文藝科学,郁文哉譯)。形式主义,直觉主义,个人經驗等可說是資產階級詩学理     

函数式程序設計語言在微型机上的实現

本文描述了在M68000 DUAL系统上用C语言实现的函数式程序设计语言FP,从而在实际微机上证明了FP系统的可行性。     

毛主席的語言风格

一语言风格是什么? 风格,一般说来,是指人们在思想行为等方面所有特点的综合表现。语言风格就是作家在运用民族语言上个人所特有的手法的综合表现。我们知道,语言是全民的交际工具,它本身没有阶级性;但“语言是思想的直接现实”,人们的阶级意识通过语言而表现出来。思想是内容,语言是形式,后者总是受前者制约的。因此也可以说,语言风格就是作家的精神面貌的语言表达手段的体系。而这种语言表达手段的体系,是在全民语言的基础上形成的,因此,语言风格也体现着民族风格或色彩。在黑暗的旧中国社会里,     

文学語言的基本特征

最近,关于究竟甚麽是文学語言,有着不同的看法。有人說:“文学語言就是書面語”。也有人說:“文学語言就是民族語言”。还有人認为:文学語言这一名詞是由其他民族語言翻譯过來的,譯的“不大妥当”,应当改譯为“标准語”。但,最流行的却是用“文藝語言”代替了文学語言。这种主張的最大錯誤是:一方面不適当的誇大了文学作品中的語言(文藝語言)的社会作用(实际上,有这种主張的人并沒有真正知道“文藝語言”倒底是甚麽);另一方面,又把語言和文学的关系神     

試論語言材料組合体的語言性貭

“语言材料组合体”是什么?首先要确定“语言材料”的所指。所谓“语言材料”就是音、义结合的词汇和语法成分,即主张区分语言和言语的先生们所说的“语言”。我们之所以改称它为“语言材料”,一方面,由于我们不认为词汇和语法就是语言的全部;另一方面,由于词汇和语法,象一切材料物一样,都是用来构成其它东西的事     

原始佛教的語言問题

现在印度正以極其隆重的仪式紀念佛教創始人釋迦牟尼湼槃二千五百周年。我們都知道,佛教在中印文化交流中起过很大的作用,对中国文化的許多方面都有过影响。因此,有很多人关心这次的紀念,这是完全可以理解的。下面我从佛教史里选出一个国外梵文学者和佛教研究者多少年来爭而未决的問題,提出我的看法,借表紀念之意。巴利文小品(Cullavagga)V.33.1叙述了一个故事: 这时有兩个比丘,姓耶弥盧諦拘罗,是兄弟倆,原来生在婆罗門家中,声音良好,善于談說。他們来到世尊那里,向世尊致过敬,坐到一旁去;坐下以后,兩个比丘向世     

ML語言的数据类型和抽象类型的同式多型

本文阐明ML核心语言中的类型(缩写)、数据类型及抽象类型三者的同式多型(polymorphism)所赖以作依据的理论和实现问题。     

毛主席著作的語言是現代漢語的最高典范

随着祖国社会主义革命和社会主义建設的飞速发展,現代漢語的規范化已經日漸成为社会主义事业的一个重要組成部分。党中央、毛主席、國家对祖國語言的統一、純洁和健康的发展一貫給予莫大的关怀,召开了一系列的会議专門研究,发表了一系列的指示。我們必須遵照党和政府的这些指示,積极深入地進行研究,为祖國的文化建設作出更大的努力。     

鑿出無聲生命的語言

觀音浅笑明王怒睁斑斓衆生的經變相……呼吸匀停却又言語無聲這静默了千年的石刻生命以書的形式生存以藝的内涵張揚表情、義理、藝術皆幻化爲永恒     

分布式語言的一种情况研究

计算机的发展已经经历了四代,目前正朝着第五代——智能化的方向前进。人脑虽小,可功能极为复杂,非一个计算机(即使是一台巨型机)所能模拟。这就使智能化的方向必然导致计算机体系结构上的革命,即分布式计算机系统的出现。分布式系统中必须有分布式语言,分布式语言应有哪些特殊语句,这就是本文所要讨论的问题。     

語言发展的內部規律

一、语言发展的基础马克思主义教导我们,现实的一切事物或现象都是处在不断地运动、发展和变化中的.语言也是—样的。有了社会的存在,就有语言的存在。语言是一种社会现象,它只能存在于社会之中.语言从产生的时候开始,就是不断地发展和变化着的。语言的变化表现在语言体系的各个环节中——语法构造、词汇和语音。语言是逐渐变化的,说话者本身往往不易觉察得出来,但是我们可以从不同时期的一种语言里看出来,好比把古代     

带变量FFP語言的遝輯基础

本文为Backus的FFP语言塑造了一种演算——Г演算,它与程序代数联合起来,实质上构成一种高级的合成逻辑。证实了“此合成逻辑与Curry的(低级的)合成逻辑是等价的”。Г演算,在理论上,为FFP语言奠定了数理逻辑基础。在实用上,它是“设计带变量的FFP语言的理论基础”。文中的Ω式就是一种带变量的FFP语言的雏型,它克服了Backus的FFP语言在?读性方面的缺陷。     

破讀的語言性质及其审音

在书面語言里标注出一个字的另一音义的所謂“破讀”这一现象,是个有关語法、词汇以及語音声韵調等方面的語言现象的一种反映。它实在不仅是古代汉语里的一个问題,而且也是现代汉語里从书面語到口語里的一个问題。在語言規范教育受到重视的今日,語音規范也极为各方面所注意,于是,破讀问題也就在当前語言議事日程上显示其重要地位。初看起来,破讀跟文言文的閱讀是关系密切的,語文教师似乎首先体察到这个问題的急待解决,但进一层来看,破讀在现代汉語里也并非不成问題,实在它也是早在审音范围之內的谱x中固然有“军自敗曰敗(浊声母、去声),打破人军曰敗(清     

再论中国再审程序

刑事再审制度作为非常救济程序,其目的是为了纠正司法裁判中出现的错误,其理论基础是价值权衡的结果。中国的再审程序在程序设计和制度运行上都存在缺陷,应该以现代法理念和诉讼形态为支撑,区分有利于和不利于被告人的再审,重新构建中国的再审程序。     

再论罗勃生函数

本文借助线性同胚关系,确定了罗勃生(Robertson)函数族的闭凸包、极端点和支撑点。我们还讨论了覆盖问题、积分平均和在星形函数族中的应用。     

評美国結构語言学的机械論

一美国布龙菲尔德派結构語言学的哲学面貌,从正面看可以叫做“物理主义”(Physicalism),从反面看可以叫做“反心理主义”(Anti-mentalism)。布龙菲尔德曾經表示过,“物理主义”这个名詞比“行为主义”更好,更可以指示描写性論述的本质。布龙菲尔德所接受的“物理主义”,也就是新实证論者卡尔納普在三十年代所宣传的。关于“物理主义”,卡尔納普是这样解释的:     

基于Petri网的函数式程序的結构程序設計方法

本文提出一种“用来开发规模不小的、并发的函数式程序(FP程序)的结构程序设计方法”,它基于一种“带解释的Petri网图式(ISPN)”。待解的问题写成以ISPN表达出来的形式说明。由于ISPN能逐步求精,自顶向下的结构程序设计方法也能移用于开发(大型并发)函数式程序。最后阶段,根据文中提出的形式化了的法则,可以将ISPN表示成函数式程序。