記号処理言語の新しい評価機構の関する研究
符号处理语言新评估机制研究
基本信息
- 批准号:06780235
- 负责人:
- 金额:$ 0.58万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份:1994
- 资助国家:日本
- 起止时间:1994 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Improving Valueとは,「少しづつ(ある判断基準からみて)改良されていく値の系列」を表現するデータ構造であり,枝苅りに代表される探索問題において不要な探索を回避するのに役立つことが知られている.本研究では,関数型言語をはじめとする「記号処理言語」に関して,Improving Valueを一般化したデータ構造に基づく新たな評価機構の可能性について考察し,以下のような結果を得た.・探索問題だけではなく,無限リストの長さを扱ったり繰り返し計算をおこなうような場面でImproving Valueが有効であることが判明した.ただし,関数型言語における参照透明性などの「良い性質」をいかに保存してImproving Valueを言語に採り入れるか,という問題点があることもわかった.・評価機構としては従来のstrictな評価だけでは不十分で,強strict(従来のstrictに相当する)と弱strictという二段階の評価機構が必要であることが判明した.・本研究費補助金によって購入した計算機を用いて,G-machineと呼ばれる関数型言語の翻訳系を,Inproving Valueを扱うことができるように拡張した.・Improving Valueによる利点を享受するするためには,プログラムに対する静的な変換(前処理)をおこなうことも重要である.本研究では,構成的手法を用いた関数プログラム変換が実行効率の向上に広く貢献できることを示した.
Improving Value: "Less than 100%, less than 100%, less than 100%." In this study, we investigated the possibility of generalizing the structure of a new evaluation mechanism in relation to numerical speech, and obtained the following results. Explore the problem and find out how to improve it. For example, the number type of speech is related to the transparency of the reference, the "good quality" and the preservation of the "Improving Value" of speech. The evaluation mechanism is not very strict, strong strict, weak strict, two-stage evaluation mechanism is necessary. This research grant was awarded to purchase a computer for use, a G-machine, and a related digital speech translation system,Inproving Value. Improving Value: Enjoy, Change, Change, Change This study shows that the method of construction is very useful for improving the efficiency of construction.
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Z.Hu,H.Iwasaki 他: "Deriving Efficient Functional Programs by Constructing Medio-types" 関数プログラミングII JSSST'94. 17-32 (1994)
Z. Hu、H. Iwasaki 等人:“通过构造媒体类型导出高效函数式程序”函数式编程 II JSSST94 (1994)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
岩崎 英哉其他文献
ファイル移送に基づく分散ファイルシステムの設計と実装
基于文件传输的分布式文件系统的设计与实现
- DOI:
- 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
村田 光一;河野 健二;岩崎 英哉;益田 隆司 - 通讯作者:
益田 隆司
ビットマップマーキングを利用したマークコンパクトごみ集めのJikes RVMへの実装
Jikes RVM上使用位图标记实现标记紧凑垃圾回收
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
森川 和哉;鵜川 始陽;岩崎 英哉 - 通讯作者:
岩崎 英哉
Android上のごみ集めにおける停止時間の削減 (ポスター)
减少 Android 上垃圾收集的停机时间(海报)
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
中野 陽基;鵜川 始陽;岩崎 英哉 - 通讯作者:
岩崎 英哉
最適化機構を持つ C++ 並列スケルトンライブラリ
具有优化机制的C++并行骨架库
- DOI:
- 发表时间:
2005 - 期刊:
- 影响因子:0
- 作者:
明石 良樹 松崎 公紀;岩崎 英哉;筧 一彦;胡 振江 - 通讯作者:
胡 振江
岩崎 英哉的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('岩崎 英哉', 18)}}的其他基金
システムソフトウェアのための安全性と記述性に優れた領域特化言語とその構成法
一种具有良好安全性和描述性的系统软件领域特定语言及其构造方法
- 批准号:
23K11055 - 财政年份:2023
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
一般的な再帰構造をもつ関数プログラムの融合変換とその実用化
具有一般递归结构的函数程序的融合变换及其实际应用
- 批准号:
10139210 - 财政年份:1998
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)
関数プログラムの再帰構造の抽象化とプログラム融合変換に関する研究
函数式程序递归结构抽象及程序融合变换研究
- 批准号:
09245207 - 财政年份:1997
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
S式指向のプログラミングシステムの構築に関する研究
面向S表达式的编程系统构建研究
- 批准号:
09780254 - 财政年份:1997
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
構成的手法によるプログラムの効率化に関する研究
使用组合方法的程序效率研究
- 批准号:
07780227 - 财政年份:1995
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
計算資源の抽象化を必要としない関数型言語の開発
开发不需要抽象计算资源的函数式语言
- 批准号:
24K14894 - 财政年份:2024
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
マルチコア並列計算に対応した関数型言語処理系の実現
兼容多核并行计算的函数式语言处理系统的实现
- 批准号:
19K11893 - 财政年份:2019
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
高階関数型言語のためのソフトウェアモデル検査
高阶函数语言的软件模型检查
- 批准号:
12J08057 - 财政年份:2012
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for JSPS Fellows
関数型言語における多相型と部分型の関係および型推論の強化
加强函数语言中多态类型和子类型以及类型推断之间的关系
- 批准号:
16700011 - 财政年份:2004
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
関数型言語記述に基づくコード最適化共通フレームワークの研究
基于函数式语言描述的代码优化通用框架研究
- 批准号:
14780241 - 财政年份:2002
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
関数型言語における他言語ソフトウェア部品の利用
在函数式语言中使用其他语言软件组件
- 批准号:
11780217 - 财政年份:1999
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
非可換な関数代数の計算における関数型言語的手法の研究
非交换泛函代数计算的函数语言方法研究
- 批准号:
09878060 - 财政年份:1997
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Exploratory Research
副作用を含む関数型言語の部分評価
函数式语言的部分评估,包括副作用
- 批准号:
08780244 - 财政年份:1996
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
関数型言語のユーザインターフェースに関する基礎的研究
函数式语言用户界面基础研究
- 批准号:
07680352 - 财政年份:1995
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
関数型言語を用いたユーザ・インターフェイスに関する研究
基于函数式语言的用户界面研究
- 批准号:
01780034 - 财政年份:1989
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)