权益分类	功能权益	普通用户	{{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 integrate the optimization problem. This paper aims to improve the performance of the system. This is the basis for the study of the theory of the previous year's comparison between the two countries. This year, non-governmental organizations make use of the results of the theory of information technology to indicate the accuracy of the information system, the specific information, and the automatic performance rate. This year, people outside the country have made full use of the results of the theory. The main topics of this year's research are classified into two categories. The planning method of the computer program is to make sure that the system is divided into several parts and that the system is divided into two parts. The former is the most important one, and the most important one is to ask for a proposal. Please note that the number of your convenience is included in the selection of the most important information in the full generation of information and information. In this paper, we use the method of computer programming to record how to improve the performance of the computer system. The international financial information system is designed to meet the needs of international financial institutions, such as the international financial crisis, the APLAS2009 information system, and the international financial situation. The rest of the system is divided into three parts: one by one, and one by one. The existing automatic parallelization methods are more effective than those of the existing automatic parallelizers. It is necessary to pay more attention and less effort to participate in the automatic operation of the system, and list the operation of the automatic operation. I don't know what to do in Japan. I don't know what to do in Japan. The number of people who do not know how to do this is the same as that of the automatic operation of the system. I don't know what to say. I don't know what to say.