Design and Implementation of a Fast and Efficient Arithmetic Library for Computational Real Numbers

快速高效的计算实数算术库的设计与实现

• 批准号: 17K00106
• 负责人: KAWABATA Hideyuki
• 金额: $ 2.75万
• 依托单位: Hiroshima City University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2020-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00106/
• 关键词: 実数計算ライブラリ; Haskell; 遅延評価; 無限リスト; 多倍長浮動小数点演算ライブラリMPFR; 区間演算ライブラリMPFI; 計算精度保証; 並列処理; ソフトウェア; プログラミング; 高精度数値計算; 実数計算; ライブラリ

项目成果

Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints

通过检查类型类约束下类型变量赋值的唯一性来解决 Haskell 中的不明确类型

• DOI: 10.2197/ipsjjip.27.87
• 发表时间: 2019
• 期刊: Journal of Information Processing
• 作者: Kono Yuya;Kawabata Hideyuk;and Hironaka Tetsuo
• 通讯作者: and Hironaka Tetsuo

末尾再帰でない再帰プログラムの高速 化のための最適化に関する一考察

非尾递归递归程序加速优化研究

• 发表时间: 2017
• 作者: 小林 周太郎;川端 英之;弘中 哲夫
• 通讯作者: 弘中 哲夫

実数計算ライブラリ IFN の Haskell による効率的な実装

Haskell中实数计算库IFN的高效实现

• 发表时间: 2019
• 作者: Kono Yuya;Kawabata Hideyuk;and Hironaka Tetsuo;川端英之
• 通讯作者: 川端英之

Haskellにおける型クラス制約を満足する型変数割当ての唯一性検査に基づく型の曖昧性解決

基于满足 Haskell 中类型类约束的类型变量赋值的唯一性检查的类型歧义解决

• 发表时间: 2018
• 作者: 河野 雄也;川端 英之;弘中 哲夫
• 通讯作者: 弘中 哲夫

区間演算ライブラリMPFIを用いた実数計算ラ イブラリIFN-Hの記憶領域管理をHaskellのみで記述した設計と実装

利用Haskell编写的区间计算库MPFI设计与实现实数计算库IFN-H的存储区域管理

• 发表时间: 2018
• 作者: 余頃花純;川端英之;弘中哲夫
• 通讯作者: 弘中哲夫