副作用を含む関数型言語の部分評価
函数式语言的部分评估,包括副作用
基本信息
- 批准号:08780244
- 负责人:
- 金额:$ 0.64万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份:1996
- 资助国家:日本
- 起止时间:1996 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
副作用命令を含んだ関数型言語の部分評価手法の確立を目指して研究を行ない、以下のような成果を得た。1.高階関数を扱う言語においては、副作用命令を部分評価時に実行するのは非常に難しく、できたとしても効果が小さいことがわかった。そのため、副作用命令を実行するのではなく、その及ぼす影響の範囲を副作用解析によって特定し、その部分については部分評価せずにそのままコードとして残す、という方法をとった。この方針で関数型言語Schemeの部分評価器を作成し、実際に正しく動作することを確認した。さらに、その定式化、および正当性の証明も行なった。2.予定していたonline手法と履歴付記号値の組合せは、この変更後の枠組でも問題ないことがわかった。また、従来、不明確だったコード生成部についても計画通り定式化を行なうことができ、online部分評価器の構造がより明確になった。3.我々の方法は、従来用いられてきたoffline手法のlet文との関連を指摘されていたが、本研究では、我々の手法が従来のものよりも強力であることが示された。具体的には、従来、うまく扱えてこなかったポインタの同値性が、我々の手法では正しく扱われてことが示された。ポインタの同値性が保存されないのでは副作用命令の意味がなくなってしまうため、このことは重要である。4.自己反映言語への応用の第一歩として、副作用命令を使って書かれたインタプリンタの部分評価を行ない、十分な特化が行なわれていることを確認した。このことは、ここで作成した部分評価器が自己反映言語のコンパイラとして使用できること示している。今後の課題としては、副作用解析の精度の向上、部分評価器の効率の向上、自己反映言語への部分評価器の組み込みとさらなる実験、等があげられる。
Side effects include the establishment of some evaluation techniques for digital speech, and the following results are obtained. 1. High level of speech, side effects, command, and execution The analysis of side effects is carried out in the following ways: This policy is related to the establishment of digital speech scheme part of the evaluator, in fact, the correct action to confirm the In addition, the formal, formal and legitimate proof of the behavior of the company. 2. Set up an online method and set up a new set of problems. The structure of the online part of the evaluator is clear. 3. The method of this study is based on the analysis of the relationship between the two methods. The specific words are: The meaning of side effect command is important. 4. The first step in the use of self-reflection speech, side effects, commands, and instructions is to determine the behavior of the user. This is the first time that a speaker has been used to evaluate speech. Future issues include: accuracy of side effects analysis, effectiveness of some evaluators, self-reflection of speech, and organization of some evaluators.
项目成果
期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Kenichi Asai,Sateshi Matsuoka,Akinori Yonezawa: "Dnptication and Partral Evaluation" Lisp and Symbolic Compatation誌(Kluwev Academic Publishevs). Vol9 Nos2/3. 203-241 (1996)
Kenichi Asai、Sateshi Matsuoka、Akinori Yonezawa:“Dnptication 和部分评估”Lisp 和符号兼容(Kluwev 学术出版社)第 9 卷第 203-241 期(1996 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Kenich,Asai,Hidhiko Masuhara,Akinori Yonezawa: "Partial Evaluation of Call-by-value λ-calcalus with Side-effects" Proceedings of the ACM SIGPLAN Sympusium on Partial Evaluation and Semmtics-Based Program Manipulation (PEPM'97). (発表予定). (1997)
Kenich、Asai、Hidhiko Masuhara、Akinori Yonezawa:“带副作用的按值调用 λ 演算的部分评估”ACM SIGPLAN 部分评估和基于语义的程序操作研讨会论文集 (PEPM97)。 )
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Kenich,Asai,Hidhiko Masuhara,Akinori Yonezawa: "Partial Evaluation of Call-by-value λ-calcalus with Side-effects" 東京大学理学部情報科学科テクニカルレポート. 96-4. 1-30 (1996)
Kenich、Asai、Hidhiko Masuhara、Akinori Yonezawa:“带副作用的按值调用 λ 演算的部分评估”技术报告,东京大学理学院信息科学系 96-4。 (1996)
- 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 }}
浅井 健一其他文献
Blockly をベースにした OCaml ビジュアルプログラミングエディタ
基于Blockly的OCaml可视化编程编辑器
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
松本 晴香;浅井 健一 - 通讯作者:
浅井 健一
シンボリックデータ解析と探索的メタアナリシスについて
关于符号数据分析和探索性荟萃分析
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
藤井 舞花;浅井 健一;Masahiro Mizuta;庄司諭 Oleg Kiselyov;水田正弘 - 通讯作者:
水田正弘
統計的手法に基づく声質分析・変換・制御技術とその応用
基于统计方法的语音质量分析、转换和控制技术及其应用
- DOI:
- 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
叢 悠悠;浅井 健一;戸次 大介;滝沢琢己;戸田 智基 - 通讯作者:
戸田 智基
浅井 健一的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('浅井 健一', 18)}}的其他基金
ブロックプログラミング環境に基づく学習支援環境の構築とその有効性
基于块编程环境的学习支持环境的构建及其效果
- 批准号:
20K12107 - 财政年份:2020
- 资助金额:
$ 0.64万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
部分評価組み込みコンパイラの作成とその応用
部分评估内置编译器的创建及其应用
- 批准号:
15700025 - 财政年份:2003
- 资助金额:
$ 0.64万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
部分評価を使った自己反映言語のコンパイル技法
使用部分评估的自反射语言的编译技术
- 批准号:
09780251 - 财政年份:1997
- 资助金额:
$ 0.64万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
自己反映(リクレクティブ)言語のセマンティクスと部分評価による効率的実現
通过自省语言语义和部分评价高效实现
- 批准号:
07780231 - 财政年份:1995
- 资助金额:
$ 0.64万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)