|
タカラジマ イタル
Takarajima Itaru
宝島 格 所属 商学部 職種 教授 |
|
| 言語種別 | 英語 |
| 発行・発表の年月 | 2004/12 |
| 形態種別 | 研究論文（学術雑誌） |
| 標題 | Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model |
| 執筆形態 | 共著 |
| 掲載誌名 | Proceedings of the Fifth International Conference on IntelligentTechnologies (InTech 2004), |
| 掲載区分 | 国内 |
| 巻・号・頁 | pp.226-235 |
| 著者・共著者 | 赤間清、今仁生美、馬渕浩司 |
| 概要 | 論理プログラミング言語「ET」においては、「質問」に対してその述語の意味を保存するように等価変換を逐次行うことで解答に行き着く。この言語においては解答の正当性が保証されている他、計算パスが単一ではなく計算が非決定論的であるため、高速の処理が可能となる。非決定論的計算においてはその計算が停止することを保証することは自由な計算のために重要である一方、その保証は一般に困難を伴う。本発表ではETにおけるプログラムが停止するための十分条件をアルゴリズムの形で提出した。このアルゴリズムは停止するプログラムを合成しよう |