@techreport{oai:ipsj.ixsq.nii.ac.jp:00075600, author = {安部, 達也 and 平石, 拓 and 三宅, 洋平 and 岩下, 武史 and 中島, 浩 and Tatsuya, Abe and Tasuku, Hiraishi and Yohei, Miyake and Takeshi, Iwashita and Hiroshi, Nakashima}, issue = {59}, month = {Jul}, note = {分散制約充足問題を分散並列計算環境で解くにあたり,ジョブを処理の単位とする分散並列処理 (ジョブ並列) に特化したジョブ並列スクリプト言語 Xcrypt で処理を記述することにより,実際の分散並列計算環境であるところの,いわゆるスーパーコンピュータを利用する方法を紹介する.さらに,Xcrypt の遠隔ジョブ投入機構を利用することにより,制約が遠隔の計算機に分散された状態からの制約充足問題,つまり,真の意味での分散制約充足問題を簡便に取り扱うことができることを示す., We introduce a method of parallel executions based on the job unit (job-level parallel executions) for solving distributed constraint satisfaction problems (DCSPs) in parallel and distributed computation environments, the so-called today's many supercomputers. Throughout introducing the method we use the job-level parallel script language Xcrypt, specific to job-level parallel executions. We also show that Xcrypt provides us with a feature of submitting remotely jobs for solving realistic DCSPs (under the circumstances that constraints are truely distributed in separate computers).}, title = {分散制約充足問題のジョブ並列による求解}, year = {2011} }