• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

遅延メモ化機構によるプログラムの部分計算に関する研究

Research Project

Project/Area Number 06680306
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionThe University of Tokyo

Principal Investigator

武市 正人  東京大学, 工学部, 教授 (10011165)

Co-Investigator(Kenkyū-buntansha) 金子 敬一  東京大学, 工学部, 助手 (20194904)
Project Period (FY) 1994
Project Status Completed (Fiscal Year 1994)
Budget Amount *help
¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1994: ¥1,300,000 (Direct Cost: ¥1,300,000)
Keywords遅延メモ化機構 / 関数プログラム / 完全遅延評価 / 部分評価系
Research Abstract

本研究は、従来、十分に性質が解明されていなかった遅延メモ化機構を定式化して、それをプログラムの部分評価機構として利用するという方法の有効性を検証することを目的とするものである。
遅延メモ化機構に基づいてプログラムの部分評価を行うことにより、プログラムの効率改善を図るというあらたな方法論は、これまでの部分評価の考え方とは大きく異なっている。
従来の部分評価(部分計算)においては、特化された部分計算機を用意して、プログラムを変換するものであったが、本研究では、関数プログラムの完全遅延評価によって、通常の評価系によって自己改良がなされることに着目したものである。この考え方は、研究代表者と共同研究者が提案したものであったが、完全遅延評価系で部分評価を行うにはあらたな機構が必要とされることが判明し、本研究ではそのための遅延メモ化機構を提案して、その有効性を確認することを目的とした。
遅延メモ化機構については、これまでには十分な系統化がなされていなかったが、本研究では、完全遅延評価との関係を明確にし、プログラムの評価系に組み込んで、部分評価系の実現に有効であることを確認した。これらの成果は数編の論文にまとめて公表した。これらによって、当初の目的は達成できたものと考えられる。

Report

(1 results)
  • 1994 Annual Research Report
  • Research Products

    (5 results)

All Other

All Publications (5 results)

  • [Publications] 金子敬一: "完全遅延評価に適した関数プログラムの共有解析" 情報処理学会論文誌. 35. 391-403 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Keiichi Kaneko: "Derivation of Efficient Pattern Matching Algorithms by Fully Lazy Evaluation with Lazy Memo-ization" Transaction of Information Processing Society of Japan. 35. 2347-2354 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Liangwei Xu: "Derivation of Algorithms by Introduction of Generation Functions" New Generation Computing. 131. 75-98 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Zhenjian Hu: "Catamorphism-based Transformation of Functional Programs" METR. 94-06. (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Keiichi Kaneko: "Derivation of the Aho-Corasick Algorithm by Fully Lazy Evaluation with Lazy Memoization" METR. 94-13. (1994)

    • Related Report
      1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi