Design and Implementation of a Fast and Efficient Arithmetic Library for Computational Real Numbers
Design and Implementation of a Fast and Efficient Arithmetic Library for Computational Real Numbers
快速高效的计算实数算术库的设计与实现
批准号：
17K00106
负责人：
KAWABATA Hideyuki
金额：
$2.75万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints
通过检查类型类约束下类型变量赋值的唯一性来解决 Haskell 中的不明确类型
通过检查类型类约束下类型变量赋值的唯一性来解决 Haskell 中的不明确类型
DOI：
10.2197/ipsjjip.27.87
发表时间：
2019
期刊：
Journal of Information Processing
影响因子：
--
作者：
[Kono Yuya, Kawabata Hideyuk, and Hironaka Tetsuo]
通讯作者：
and Hironaka Tetsuo
実数計算ライブラリ IFN の Haskell による効率的な実装
Haskell中实数计算库IFN的高效实现
Haskell中实数计算库IFN的高效实现
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Kono Yuya, Kawabata Hideyuk, and Hironaka Tetsuo, 川端英之]
通讯作者：
川端英之
末尾再帰でない再帰プログラムの高速 化のための最適化に関する一考察
非尾递归递归程序加速优化研究
非尾递归递归程序加速优化研究
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[小林 周太郎, 川端 英之, 弘中 哲夫]
通讯作者：
弘中 哲夫
Haskellにおける型クラス制約を満足する型変数割当ての唯一性検査に基づく型の曖昧性解決
基于满足 Haskell 中类型类约束的类型变量赋值的唯一性检查的类型歧义解决
基于满足 Haskell 中类型类约束的类型变量赋值的唯一性检查的类型歧义解决
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[河野 雄也, 川端 英之, 弘中 哲夫]
通讯作者：
弘中 哲夫
区間演算ライブラリMPFIを用いた実数計算ラ イブラリIFN-Hの記憶領域管理をHaskellのみで記述した設計と実装
利用Haskell编写的区间计算库MPFI设计与实现实数计算库IFN-H的存储区域管理
利用Haskell编写的区间计算库MPFI设计与实现实数计算库IFN-H的存储区域管理
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[余頃花純, 川端英之, 弘中哲夫]
通讯作者：
弘中哲夫
海外基金