イマニ イクミ   Imani Ikumi
  今仁 生美
   所属   外国語学部
   職種   教授
言語種別 英語
発行・発表の年月 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におけるプログラムが停止するための十分条件をアルゴリズムの形で提出した。このアルゴリズムは停止するプログラムを合成しようとする際に通常想定されているパラメータ様の概念を一般的な枠組みとして定式化したものである。