メタ計算の進化的探索に基づく正当で効率的なプログラムの自動生成

基于元计算进化搜索自动生成有效高效的程序

• 批准号: 16650003
• 负责人: 赤間 清
• 金额: $ 1.73万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16650003/
• 关键词: メタ計算; メタ節; メタアトム; 進化的探索; プログラム変換; ワールド機構

メタ計算は、仕様から正当なプログラムを生成するための新しい方法である。メタ計算では、計算状態の束をメタ節集合で表現し、メタルールで変換を次々に行うことによって新しいメタ節を得る。最初と最後のメタ節集合のペアから正当なルールを得ることができ、そのようなルールを集めることによって、プログラムを得ることができる。得られたプログラムの(部分)正当性は、個々のメタルールの正当性から保証できる。正しいメタルールを仕様から作る方法もすでに与えられている。このルール生成のパラメータは、最初のメタ節集合とルール適用の2つである。ルール適用は、メタ節集合のどの位置にどのメタルールを適用するか、それを何回繰り返すかである。本研究では、これらのパラメータを遺伝子にコーディングして、進化的探索によって、よりよいルールを低コストで発見する方法を提案した。その際、ルールの評価として、分岐数が少なく、節のサイズが小さいものを優先する指標を用いた。ポイントとなるのは遺伝子へのコーディングである。ルール適用の可能性はそのときのメタ節集合によって大きく変わるので、あらかじめ遺伝子の空間を固定するのは得策ではない。そこで、メタ節集合とメタルールが与えられたとき、ルール適用の可能性の集合を高速に計算する手法や、その中のルール適用の1つの可能性をメタ節集合に適用して、次のメタ節集合を求める手法を考案し、それらをET言語に組み込み述語として導入した。これにより、メタ計算を基礎とした進化的探索のアルゴリズムの実現が容易になり、メタ計算の探索に基づくプログラム生成を効率的に行うことが可能になった。

A new method for calculating the time and space required to generate the data The calculation of the state of the bundle of nodes is performed in the second row. At the beginning, the last section of the collection of the collection The legitimacy of the (partial) legitimacy of the (partial) legitimacy is guaranteed. The way to do it is to be careful. The original section of the collection is applicable to the 2 For example, if you are interested in a topic, you can contact us at any time. This study proposes a method for exploring and developing the evolution of the gene. The index of inter-group evaluation, number of divergences, and priority of segment evaluation is used. The first one is called the " The possibility of application is not limited to the number of nodes in the set, but rather the number of nodes in the set. The method of calculating the set of possibilities of application in high speed, the method of calculation of possibility of calculation in high speed, This is the first time that we've seen this, and we've seen it happen.

项目成果

Semantic Query Optimization : Correctness and Control

语义查询优化：正确性和控制

• 发表时间: 2006
• 期刊: Journal of Advanced Computational Intelligence and Intelligent Informatics 10・3
• 作者: Uchida;M.;Shirayama;S.;Kiyoshi Akama;白山 晋;Pongtawat Chippimolchai
• 通讯作者: Pongtawat Chippimolchai

Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain

区间变量域上等价约束等价变换的正确性证明

• 发表时间: 2005
• 期刊: Proc.of the 2005 International Conference on Artificial Intelligence (ICAI'05) Vol.II
• 作者: 内田誠;白山晋;Hiroshi Mabuchi
• 通讯作者: Hiroshi Mabuchi

Equivalent transformation rules for a class of constraint satisfaction problems.

一类约束满足问题的等价变换规则。

• 发表时间: 2004
• 期刊: Proceedings of the international conference on artificial intelligence 1
• 作者: Ogasawara;H. 他
• 通讯作者: H. 他

The Squeeze Method - A Method for Program Construction in the Equivalent Transformation Computation Model

挤压法——等价变换计算模型中的程序构造方法

• 发表时间: 2005
• 期刊: Proceedings of the 6th international conference on intelligent technologies (In Tech '05)
• 作者: Uchida;M.;Shirayama;S.;Hidemi Ogasawara;白山 晋;Kiyoshi Akama
• 通讯作者: Kiyoshi Akama

Transformation of Equivalent transformation Rules into Correct Concurrent Programs

等价转换规则转换为正确的并发程序

• 发表时间: 2005
• 期刊: Proceedings of the 6th international conference on intelligent technologies (In Tech '05)
• 作者: Uchida;M.;Shirayama;S.;Hidemi Ogasawara
• 通讯作者: Hidemi Ogasawara