2024-03-29T08:07:39Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000216492023-04-27T10:00:04Z01164:01384:01436:01437
区間変数に関する包含制約の等価変換Equivalent Transformation for Member Constraints on an Interval Variable Domainjpnhttp://id.nii.ac.jp/1001/00021649/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=21649&item_no=1&attribute_id=1&file_no=1Copyright (c) 1998 by the Information Processing Society of Japan北海道大学大学院システム情報工学専攻北海道大学大学院システム情報工学専攻北海道大学大学院システム情報工学専攻赤間, 清繁田, 良則宮本, 衛市本論文は計算を等価変換と見なす等価変換パラダイムに基づいている.等価変換パラダイムではたくさんの等価変換ルールが計算を高速化する可能性がある.本論文では,区間変数の領域で包含制約を等価変換する2つの新しい等価変換ルールのための基礎理論を開発する.そのルールは,候補の制限ルールと共通性による特殊化変換であり,大きな追加コストなしに計算の高速化に貢献することができる.This paper is based on the equivalent transformation(ET) paradigm, where computation is regarded as "equivalent transformation of declarative descriptions." In the ET paradigm, many ET rules can make execution more efficient. In this paper we develop a theory of two new equivalent transformation rules for member constraints in the interval variable domain: the candidate elimination rule (CE rule) and the common pattern specialization rule (CPS rule). These rules make computation more efficient without much additional cost.AN10112981情報処理学会研究報告ソフトウェア工学(SE) 1998100(1998-SE-121)41481998-11-052009-06-30