講演抄録/キーワード |
講演名 |
2009-08-06 15:45
自己反映計算の振舞的側面の形式化について ○渡部卓雄(東工大) SS2009-20 |
抄録 |
(和) |
自己反映計算は高度に柔軟で適応的なシステムを構築するための重要な考え方である.本稿で報告する自己反映計算の振舞的側面の形式化は,計算システムを表す抽象的なモデル間の実現関係に基づいており,これによってリフレクティブタワーのような無限の構造をアプリオリに導入せずに自己反映計算についての議論を可能にする.現在までの主な貢献は,明示的なメタレベルの存在範囲を形式化に導入することで,自己反映計算機構の強さを形式的に議論するための基礎を与えたことである. |
(英) |
Computational reflection is essential to construct highly flexible and/or adaptable systems in the sense that it provides a high-level view of the structure and behavior of the sytem to itself. This paper reports our ongoing work aimed at formalizing behavioral aspects of computational reflection. Our formalization is based on the notion of implementation relations between abstract computational models. Using this approach, we can formalize full-fledged reflection without introducing reflective towers or similar infinite structures a priori. Our current contribution includes the notion of explicit metalevel diversity that provides us a way to discuss about the strength of reflectivity in formal settings. |
キーワード |
(和) |
自己反映計算 / リフレクション / リフレクティブタワー / 抽象書換え系 / / / / |
(英) |
reflection / reflective tower / abstract rewriting system / metalevel diversity / / / / |
文献情報 |
信学技報, vol. 109, no. 170, SS2009-20, pp. 49-52, 2009年8月. |
資料番号 |
SS2009-20 |
発行日 |
2009-07-30 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2009-20 |