权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

最適化問題に対するアルゴリズムのプログラム変換による系統的な構成に関する研究

优化问题算法的程序转换系统配置研究

基本信息

批准号：
08J02411
负责人：
森畑明昌
金额：
$ 0.77万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2008
资助国家：
日本
起止时间：
2008 至 2009
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08J02411/
关键词：
動的計画法分割統治法並列化プログラム変換領域制限言語

项目摘要

本研究の目的は、組合せ最適化問題に対するアルゴリズムを系統的に構成する手法を与えることである。これを目指し、前年度までは比較的理論的な立場から研究を行ってきた。今年度では、専門家以外にも利用できる形で理論的な成果を提示すること、具体的には、自動的に効率の良いプログラムを導出するシステムを構築することに主に力を注いだ。今年度の研究は主に2種類に分類できる。ひとつは動的計画法アルゴリズムの導出であり、もう一つは分割統治法アルゴリズムの導出である。前者に関しては、最適な列を求めるのに有用なライブラリを提案した。このライブラリには、候補を全生成しその中から最適なものを選ぶ、という自明な問題仕様を記述するのに便利な関数が含まれている。そして、このライブラリを用いて記述されたプログラムは、動的計画法アルゴリズムに基づいた効率の良いプログラムへとコンパイル時に自動的に改善される。このライブラリの設計と実現は国際シンポジウムであるAPLAS2009に採録された。後者に関しては、ユーザから与えられた逐次プログラムを元に分割統治法に基づいた並列プログラムを自動的に生成する手法を提案した。既存の自動並列化手法ではユーザは並列化器に比較的多くの情報を入力する必要があったのに対し、より少ない入力から自動的に並列プログラムを得る手法を開発した。これは日本ソフトウェア科学会で発表を行った。また、あうクラスの関数プログラムが同様の手法で自動的に並列化できることも示した。この成果はプログラミングおよびプログラミング言語ワークショップに採録された。

The purpose of this study is to solve the optimization problem of combination and the composition, techniques and techniques of the system. The purpose of the research is to compare the theoretical standpoint of the previous year's research and the previous year's research. This year, the results of using the theory of the できるshapedで outside the exclusive family are prompted and detailed. , automatic efficiency of the good いプログラムを export するシステムを construction することに主に力をNote いだ. This year's research focuses on 2 categories and classifications. The plan method of ひとつは is derived from アルゴリズムのであり, and the もう一つは division rule method is derived from である. The former is the most suitable one and the most suitable one is the useful one.このライブラリには、Alternate full generation しその中からThe most suitable なものをselect ぶ, という自明な事様を记事するのに convenience な关数が有まれている.そして, このライブラリを Use いて to describe されたプログラムは, moving planning method アルゴリズムに本づいたefficiencyの好いプログラムへとコンパイル时にautomatic improvementされる.このライブラリのDesign and と実成はInternational シンポジウムであるAPLAS2009 された. The latter is divided into three parts: に关しては, ユーザから and えられた successive プログラムを元にThe rule of law is based on the juxtaposition of the rules and the automatic generation method is the proposal. Existing automatic parallelization techniques, parallelizers, and comparison of multiple information and input capabilities are necessary.ったのに対し, より小ない入力からautomatic に parallel プログラムをget る Technique を开発した.これは日本ソフトウェアScience Association で発 table を行った.また, あうクラスの关数プログラムが同様のtechniqueでautomaticにparallelizationできることもshowした.このachievementはプログラミングおよびプログラミング语ワークショップにCollection recordされた.