首页    期刊浏览 2024年11月10日 星期日
登录注册

文章基本信息

  • 标题:枝刈り機構とメモ化機構をもつ言語
  • 本地全文:下载
  • 作者:森本 武資 ; 岩崎 英哉 ; 竹内 郁雄
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2004
  • 卷号:21
  • 期号:4
  • 页码:289-294
  • DOI:10.11309/jssst.21.289
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    枝刈りとメモ化は,プログラムの実行効率を改善するための技法であり,両者を組み合わせることにより相乗効果を期待することができる.ところが従来のプログラミング言語で両者の併用を記述しようとすると,これらを明示的に記述する必要が生じ,プログラムの見通しが悪くなるという問題点があった.この問題点を解決するため,本論文では,これらの技法を遅延評価を行なう純関数型言語の評価機構の中に積極的に採り入れることを提案する.拡張した言語は,枝刈りとメモ化の併用の簡潔な記述を可能にし,また,遅延評価方式よりも一般化された評価戦略を実現する.この特徴により,本言語を用いれば,必要な計算だけを進め,必要に応じて中断した計算を再開するincremental computationを簡潔に記述できる.記述例としてナップサック問題を解くプログラムを取り上げ,本言語の有効性を検証する.

国家哲学社会科学文献中心版权所有