フラグメントの部分間差分を用いた例からのLISP関数の自動合成

• Item type: SIG Technical Reports(1)
• 公開日: 1994-09-16
• タイトル: フラグメントの部分間差分を用いた例からのLISP関数の自動合成
• タイトル / 言語: en
• タイトル: Synthesis of LISP functions from Examples Using Differences between Parts of a Fragment
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 慶應義塾大学理工学研究科計算機科学科
• 著者所属: 慶應義塾大学理工学研究科計算機科学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Keio University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Keio University
• 著者名: 山口, 文彦; 中西, 正和
• 著者名(英): Fumihiko, Yamaguchi; Masakazu, Nakanishi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 入出力例からそのような入力?出力の関係を満たすような関数を推定する問題は，プログラム自動合成の基本的な問題である．Summersはこの問題について一般的な手法を提案したが，彼の手法では複数の例の間の関係を汎化して帰納的な関数を合成するために，複数の例をある順序に従がって与える必要があった．本稿ではフラグメントの構造中に繰り返し的な関係を見出す方法について述べ，例を与える順序への依存が少ないような関数の合成手法について考える．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: It is a general problem of program synthesis to infer functions from examples of the arguments and the return value. Summers gave a general method on this problem in which a sequence of examples, whose order has to be defined by the user, are used to find the recurence relations. This paper proposes a method to find such relations from the parts of a fragment and to construct the functions from order-free examples. The experimental synthesiser is written in Lisp.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1994, 号 79(1994-PRO-075), p. 1-5, 発行日 1994-09-16
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会