著者

西崎 真也 小田 崇史

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.44, no.13, pp.116-116, 2003-10-15

---

AbadiとCardelliにより提唱されたオブジェクト計算は,大変簡潔な構文と意味論により定義されるにもかかわらず,セルフパラメータの遅延束縛などオブジェクト指向言語の主要な計算機構をモデル化することに成功している.継続とは,計算のある時点における計算の残りの部分を表現する概念であり,実行系の内部状態の1つである.ファーストクラス継続は,ある時点の継続をデータとして保存したり,データとして保存した継続をしたりすることを可能とするものである.ファーストクラス継続は,プログラミング言語Schemeで実現され,コルーチンやバックトラックなどを表現できることが知られている.本研究では,オブジェクト計算にファーストクラス継続の概念を導入した継続オブジェクト計算を提唱する,この体系において,意味論は評価文脈を用いて定義される弱簡約関係により与えられる.ファーストクラス継続は,評価文脈をフィールドに保存する継続オブジェクトとして形式化される.最初に型なし継続オブジェクト計算を紹介する.次に,継続オブジェクト計算の1階型体系を与え,主部簡約定理を示す.さらに,部分型体系を与え,主部簡約定理のほか,基本的性質を示す.With the advance of information society, releasing the software at an early stage that satisfies users has been required, and therefore it has been more important to quickly develop the software that the user can check and feed back. In software development, based on users' concept, developers make the specifications of a program cooperating with the users, and then design, make, test and debug the program. Through this procedure, programs are completed. If we can use the image that users have to design a program, and if the program is completed when the design finishes, we can easily develop software and reduce the time required to develop it. This presentation presents an approach to a brain-image oriented programming method and describes the BioPro system that implements this method for Web applications. The brain-image oriented programming has the features that users can develop programs based on their image, (2) easily verify the completeness of components that make up the program and the consistency between them, and (3) easily confirm what they have developed so far in the middle of the development.