期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
论高校计算机专业开展函数式程序语言教学的必要性
被引量:
1
1
作者
余珊珊
易法令
苏锦钿
《计算机教育》
2014年第15期34-38,共5页
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的...
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。
展开更多
关键词
函数式程序语言
命令
式
程序语言
HASKELL
Lambda演算
下载PDF
职称材料
Comonads理论及其在函数式程序语言Haskell中的应用
2
作者
苏锦钿
余珊珊
《计算机科学》
CSCD
北大核心
2011年第7期144-147,156,共5页
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Has...
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。
展开更多
关键词
Comonads
函数式程序语言
HASKELL
上下文依赖计算
范畴论
下载PDF
职称材料
基于Haskell语言的泛型扩展研究
被引量:
2
3
作者
李阳
于尚超
王朋
《计算机技术与发展》
2012年第6期89-92,96,共5页
泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell...
泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能。
展开更多
关键词
泛型编程
类型抽象
函数式程序语言
语法扩展
下载PDF
职称材料
基于C++表达的AI/ES语言和工具的实现
4
作者
杨江华
《西南民族学院学报(自然科学版)》
2002年第4期570-572,共3页
介绍了C++表达的人工智能(AI)/专家系统(ES)的设计和实现.针对以前在人工智能研究中的函数式程序语言——LISP,建立了一个C++和LISP语言之间的转换工具.基于C++的专家系统开发模式构造了ES系统中的部分底层摸块(如:表操作).通过...
介绍了C++表达的人工智能(AI)/专家系统(ES)的设计和实现.针对以前在人工智能研究中的函数式程序语言——LISP,建立了一个C++和LISP语言之间的转换工具.基于C++的专家系统开发模式构造了ES系统中的部分底层摸块(如:表操作).通过使用该模块能够直接把各种LISP开发的系统映射到新的C++开发平台,实现高效的、实用的人工智能专家系统.
展开更多
关键词
C++
人工智能
专家系统
LISP
知识库
框架
规则
逻辑
函数式程序语言
开发工具
下载PDF
职称材料
题名
论高校计算机专业开展函数式程序语言教学的必要性
被引量:
1
1
作者
余珊珊
易法令
苏锦钿
机构
广东药学院医药信息工程学院
华南理工大学计算机科学与工程学院
出处
《计算机教育》
2014年第15期34-38,共5页
基金
广东省科技计划项目(2011B010200043)
国家自然科学基金资助项目(61103038)
文摘
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。
关键词
函数式程序语言
命令
式
程序语言
HASKELL
Lambda演算
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
Comonads理论及其在函数式程序语言Haskell中的应用
2
作者
苏锦钿
余珊珊
机构
华南理工大学计算机科学与工程学院
中山大学信息科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2011年第7期144-147,156,共5页
基金
2010年高校博士点科研基金-新教师类(20100172120043)
华南理工大学中央高校基本科研业务费专项资金(2009ZM0158)资助
文摘
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。
关键词
Comonads
函数式程序语言
HASKELL
上下文依赖计算
范畴论
Keywords
Comonads
Functional programming
Haskell
Context dependent computations
Category theory
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于Haskell语言的泛型扩展研究
被引量:
2
3
作者
李阳
于尚超
王朋
机构
解放军理工大学指挥自动化学院计算机系
出处
《计算机技术与发展》
2012年第6期89-92,96,共5页
文摘
泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能。
关键词
泛型编程
类型抽象
函数式程序语言
语法扩展
Keywords
generic programming
type abstract
functional programming language
grammar extension
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于C++表达的AI/ES语言和工具的实现
4
作者
杨江华
机构
西南民族学院
出处
《西南民族学院学报(自然科学版)》
2002年第4期570-572,共3页
文摘
介绍了C++表达的人工智能(AI)/专家系统(ES)的设计和实现.针对以前在人工智能研究中的函数式程序语言——LISP,建立了一个C++和LISP语言之间的转换工具.基于C++的专家系统开发模式构造了ES系统中的部分底层摸块(如:表操作).通过使用该模块能够直接把各种LISP开发的系统映射到新的C++开发平台,实现高效的、实用的人工智能专家系统.
关键词
C++
人工智能
专家系统
LISP
知识库
框架
规则
逻辑
函数式程序语言
开发工具
Keywords
AI/ES
LISP
knowledge database
framework
rule and logic
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
论高校计算机专业开展函数式程序语言教学的必要性
余珊珊
易法令
苏锦钿
《计算机教育》
2014
1
下载PDF
职称材料
2
Comonads理论及其在函数式程序语言Haskell中的应用
苏锦钿
余珊珊
《计算机科学》
CSCD
北大核心
2011
0
下载PDF
职称材料
3
基于Haskell语言的泛型扩展研究
李阳
于尚超
王朋
《计算机技术与发展》
2012
2
下载PDF
职称材料
4
基于C++表达的AI/ES语言和工具的实现
杨江华
《西南民族学院学报(自然科学版)》
2002
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部