检索结果-南通市图书馆

软件学报 1996年第11期7卷 683-690页

作者：袁华强孙永强上海交通大学计算机科学与工程系

ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析。

关键词：函数式程序设计纯函数式语言 monad

在线全文

学校读者我要写书评

暂无评论

monad表示的OO程序自动生成

计算机研究与发展 2000年第6期37卷 668-671页

作者：袁琦金成植吉林大学计算机科学系长春130023

monad的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对monad与实际程序设计语言之间的关系，以及如何用monad具体构造程序，如何将monad应用于软件形式化等方面研究得甚少．探讨了monad技术与OO技术之间... 详细信息

monad的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对monad与实际程序设计语言之间的关系，以及如何用monad具体构造程序，如何将monad应用于软件形式化等方面研究得甚少．探讨了monad技术与OO技术之间的关系，主要研究monad与Class之间的关系，并给出从monad到Class（C＋＋）的一种转换方法．

关键词： monad CLass 面向对象程序自动生成

平行哲学与智能科学:从莱布尼茨的monad到区块链之DAO

在线全文

学校读者我要写书评

暂无评论

模式识别与人工智能 2020年第12期33卷 1055-1065页

作者：王飞跃中国科学院自动化研究所复杂系统管理与控制国家重点实验室北京100190 青岛智能产业技术研究院智慧医疗研究所青岛266000

本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个交织世界的现实观,提出面向描述知识、预测知识和引导知识的平行哲学理念,使关于智能的哲学之研究对象从Being... 详细信息

本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个交织世界的现实观,提出面向描述知识、预测知识和引导知识的平行哲学理念,使关于智能的哲学之研究对象从Being,Becoming到Believing,并讨论结合区块链DAO技术与范畴数学理论的可能实施途径.

关键词：平行智能平行哲学区块链 monad DAO monadao monadaology

在线全文

学校读者我要写书评

暂无评论

monad的反射性

吉林大学学报（理学版） 2004年第2期42卷 195-199页

作者：吕江花金成植吉林大学计算机科学与技术学院长春130012

由结构反射的定义引入计算反射的特点和性质,讨论并证明了monad的反射性,同时利用接续语义中的shift和reset操作函数定义了monad中的反射操作,并证明了用这种方法定义反射操作满足反射的条件.基于上述讨论,可以很容易地构造出具有反射性... 详细信息

由结构反射的定义引入计算反射的特点和性质,讨论并证明了monad的反射性,同时利用接续语义中的shift和reset操作函数定义了monad中的反射操作,并证明了用这种方法定义反射操作满足反射的条件.基于上述讨论,可以很容易地构造出具有反射性的monad程序.

关键词： monad 反射性 reset shift 元层接续程序设计

在线全文

学校读者我要写书评

暂无评论

monad的一种自动生成技术

软件学报 2003年第12期14卷 1989-1995页

作者：吕江花金成植吉林大学计算机科学与技术学院吉林长春130012

monad程序的核心是一组monad定义.monad定义分为MAP型和BIND型.如果在monad库中已有所需要的monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在monad程序设计环境中增加从一类monad构造另一类monad的自动生成器... 详细信息

monad程序的核心是一组monad定义.monad定义分为MAP型和BIND型.如果在monad库中已有所需要的monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在monad程序设计环境中增加从一类monad构造另一类monad的自动生成器,那么既方便了用户也扩充了1倍原有的monad库.鉴于这种思想,用支持monad程序设计的高阶函数语言Haskell实现了一个monad的自动生成系统.另外,用户构造monad不仅要花费较多的时间,而且写出的monad多态函数往往不满足monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的monad自动产生另一种类型的monad的重要意义.

关键词： monad BIND型monad MAP型monad 范畴高阶函数

The Habitus Made Me Do It： Bourdieu＇s Key Concept as a Substruction of the monad

在线全文

学校读者我要写书评

暂无评论

Journal of Philosophy Study 2013年第12期3卷 1094-1108页

作者： Carlos Belvedere University of Buenos Aires

My claim is that Bourdieu＇s concept of habitus is not consistent and its ambiguities conceal an imprecision concerning the subject of social action. Indeed, Bourdieu defines habitus in three different ways： as a capacity, as a set of dispositions, and as a scheme for practice. That is why he cannot solve the problem of the duality of agent and habitus and produces a problem offundamentation, as we can see in his troubles to determine which is the substratum of social actions. Though Bourdieu claims he borrows the concept of habitus from Husserl and other phenomenologists, many divergences can be stated in the way they conceive it. Unlike Bourdieu, phenomenology can establish precise relations of fundamentation between agent, habitus, and the ego because it avoids the fallacy of the wrong level involved in the attribution of systemic properties to personal eogic structures. Accordingly, it provides a consistent and precise concept of the habitus,

关键词： habitus life-world monad substruction