课题基金 / 基金详情

一般的な再帰構造をもつ関数プログラムの融合変換とその実用化

一般的な再帰構造をもつ関数プログラムの融合変換とその実用化
具有一般递归结构的函数程序的融合变换及其实际应用
批准号：
10139210
负责人：
岩崎 英哉
金额：
$1.28万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139210/
关键词：
構成的アルゴリズム論プログラム変換融合変換関数プログラム

项目摘要

项目成果

岩崎 英哉的其他基金

相似基金

相关文献

中文摘要
翻译
本年度は,主として次のような研究を進めた.1. 融合と組化という二つのプログラム変換手法を有効に組合わせることによる,系統的な変換の実現.2. 相互再帰の定式化という前年度の研究成果を実働システムとして役立てるための,データ構成子の抽象化手法の検討.前者に関する主要な成果は,複数の独立したプログラム変換手法,具体的には融合(Fusion)と組化(Tupling)を順番に適用することにより,プログラムを効率のよいものへ系統的に変換可能であることを示すことができた点である.この手法を,一/二次元最大部分列和/積問題に適用し,その有効性を確認した.後者については,構成的アルゴリズム論における代表的な融合定理(酸性雨定理)を適用可能とするための,変換対象関数の静的解析に関して研究を進めた.「色情報」も付加して型検査を行うことにより,従来のアルゴリズムでは抽象化できなかった,相互再帰定義された型のデータ構成子についても解析が可能になるとの見通しを得た.この他,プログラム変換システムを試作段階から実用的な段階へと推し進める研究も行った.
英文摘要
本年度は,主として次のような研究を進めた.1. 融合と組化という二つのプログラム変換手法を有効に組合わせることによる,系統的な変換の実現.2. 相互再帰の定式化という前年度の研究成果を実働システムとして役立てるための,データ構成子の抽象化手法の検討.前者に関する主要な成果は,複数の独立したプログラム変換手法,具体的には融合(Fusion)と組化(Tupling)を順番に適用することにより,プログラムを効率のよいものへ系統的に変換可能であることを示すことができた点である.この手法を,一/二次元最大部分列和/積問題に適用し,その有効性を確認した.後者については,構成的アルゴリズム論における代表的な融合定理(酸性雨定理)を適用可能とするための,変換対象関数の静的解析に関して研究を進めた.「色情報」も付加して型検査を行うことにより,従来のアルゴリズムでは抽象化できなかった,相互再帰定義された型のデータ構成子についても解析が可能になるとの見通しを得た.この他,プログラム変換システムを試作段階から実用的な段階へと推し進める研究も行った.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
岩崎英哉: "構成的アルゴリズム論" コンピュータソフトウェア. 15・6. 57-70 (1998)
岩崎秀哉：“构造算法理论”计算机软件 15・6（1998）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Hu,Z.,Takeichi,M.,Iwasaki,H.: "Diffusion: Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. 85-94 (1999)
Hu,Z.、Takeichi,M.、Iwasaki,H.：“扩散：计算高效并行程序”1999 年 ACM SIGPLAN 部分评估和基于语义的程序操作研讨会。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Hu,Z.,Iwasaki,H.,Takeichi,M.: "Calculating Accumulations" New Generation Computing. 17・2. to appear (1999)
Hu, Z.、Iwasaki, H.、Takeichi, M.：“计算累积” 17・2 出版。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Iwasaki,H.,Hu,Z.,Takeichi,M.: "Towards Manipulation of Mutually Recursive Functions" Proc.3rd Fuji International Symposium on Fuctional and Logic Pro-gramming. 61-79 (1998)
Iwasaki,H.,Hu,Z.,Takeichi,M.：“Towards Manipulation of Mutually Recursive Functions”Proc.第三届富士函数与逻辑编程国际研讨会。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
システムソフトウェアのための安全性と記述性に優れた領域特化言語とその構成法
  • 批准号：
    23K11055
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.08万
  • 财政年份：
    2023
  • 负责人：
    岩崎 英哉
  • 依托单位：
    Meiji University
関数プログラムの再帰構造の抽象化とプログラム融合変換に関する研究
  • 批准号：
    09245207
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $1.41万
  • 财政年份：
    1997
  • 负责人：
    岩崎 英哉
  • 依托单位：
    Tokyo University of Agriculture and Technology
S式指向のプログラミングシステムの構築に関する研究
構成的手法によるプログラムの効率化に関する研究
  • 批准号：
    07780227
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $0.7万
  • 财政年份：
    1995
  • 负责人：
    岩崎 英哉
  • 依托单位：
    The University of Tokyo
海外基金