副作用を含む関数型言語の部分評価
函数式语言的部分评估,包括副作用
基本信息
- 批准号: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 command contains を ん だ masato part number type words の review 価 gimmick の establish を refers し て を line な い, the following の よ う た を な achievements. 1. The number of high-order masato を Cha う words に お い て は and ordered the を part review 価 に side-effects line be す る の は very に difficult し く, で き た と し て も unseen small fruit が さ い こ と が わ か っ た. そ の た め, side effects command を line be す る の で は な く, そ の and ぼ す influence の van 囲 を side-effects parsing に よ っ て specific し, そ の part に つ い て は part review 価 せ ず に そ の ま ま コ ー ド と し て す residue, と い う method を と っ た. The <s:1> <s:1> policy で is related to the number type language Scheme とを part of the evaluator 価 is を to be made <s:1>, the actual に is correct <s:1>, the く action is する, the とを is confirmed た. Youdaoplaceholder0, そ <s:1> formalization, および legitimacy <s:1> proof of さらに line なった. 2. The designated し て い た online technique と shoe bearing on pay mark numerical の combination せ は, こ の - after more の 枠 group で も problem な い こ と が わ か っ た. ま た, 従 to, not clear だ っ た コ ー ド generated department に つ い て も plan through り demean を line な う こ と が で き, the online part of the review 価 の tectonic が よ り clear に な っ た. 3. I 々 の way は, 従 to use い ら れ て き た offline methods の let wen と の masato even を blame さ れ て い た が, this study で は, I 々 の gimmick が 従 to の も の よ り も powerful で あ る こ と が shown さ れ た. Specific に は, 従, う ま く Cha え て こ な か っ た ポ イ ン タ の with numerical が, I 々 の gimmick で は is し く Cha わ れ て こ と が shown さ れ た. ポ イ ン タ の with numerical sex が save さ れ な い の で は side command の mean が な く な っ て し ま う た め, こ の こ と は important で あ る. 4. Their words reflect へ の 応 with the first step と の し て, side effects command を っ て book か れ た イ ン タ プ リ ン タ の part review 価 を line な い, very な specialized が な わ れ て い る こ と を confirm し た. こ の こ と は, こ こ で made し た part 価 device が himself reflects the speech の コ ン パ イ ラ と し て use で き る こ と shown し て い る. Future の subject と し て は, side effects analytic precision の の upward, part of the review 価 の の sharper rate up, his words reflect へ の part review 価 apparatus の group み 込 み と さ ら な る be 験, such as が あ げ ら れ る.
项目成果
期刊论文数量(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)














{{item.name}}会员




