イマニ イクミ   Imani Ikumi
  今仁 生美
   所属   外国語学部
   職種   教授
言語種別 英語
発行・発表の年月 2004/06
形態種別 研究論文（学術雑誌）
標題 On the Termination of Non-deterministic Programs Based on the Equivalent Transformation Computation Model
執筆形態 共著
掲載誌名 *
掲載区分国内
巻・号・頁 pp.391-395
著者・共著者 宝島格、赤間清、繁田良則
概要 プログラミング言語のうち論理プログラミングに属する「ETプログラミング」においては、「質問」に対してその述語の意味を保存するように等価変換を逐次行うことで解答に行き着く。この言語においては解答の正当性が保証されている他、計算パスが単一ではなく計算が非決定論的であるため、高速の処理が可能となる。非決定論的計算においてはその計算が停止することを保証することは自由な計算のために重要である一方、その保証は一般に困難を伴う。本論文ではリスト反転を行うことが可能なあるプログラムについてその停止性を証明した。その証明はある性質をもつプログラムには同様に適用可能である。