編集=計算パラダイムと例によるプログラミング

概要

論文の詳細を見る
計算トレースを基にした例によるプログラミング(Programming-by-Example、PBE)は、トレースを自然に記述,編集できる対話的な環境を提供することが困難であるがゆえに、従来の研究でも実用的なものになるまでには至らなかった。本発表で、計算トレースによるPBEを実現するために新しく「編集=計算」パラダイム(Computing-As-Editing Paradigm、CAEP)を提案し、このパラダイムに基づくPBEシステムについて詳述する。このシステムは計算トレースを記述するための二次元的な制約言語を有しており、制約は同一プログラムのすべての計算トレースに対して成り立つ規則を表現する。トレースに対する規則を制約として統一的に扱うために、「繰り返し制約」と呼ぶ新しい種類の制約を導入した。これは、一定増減の繰り返しを、最初と第二のステップを指摘するだけで表現することができる。また、繰り返しの中の条件式を推論するための新しいアルゴリズムも合わせて開発した。
一般社団法人情報処理学会の論文
1995-09-19