| 研究概要 |
本研究で対象としたプログラム言語は,Schemeである.Schemeには,プログラムの実行を高度に制御するコンティニュエーションというデータ構造があり,その機能ゆえに理解が難しい点を研究のターゲットとした.
まず,コンティニュエーションの実行モデルとして,関数呼び出しの木構造を取り上げ,その視覚化から研究を開始した.具体的には,StkなるScheme処理系において,アプリケーションプログラムを一部変更して,関数呼びだし関係のデータを採取可能にした.
さらに,それとは独立したデータを集計/表示するためのプログラムを試作した.この表示プログラムは,一組の関数呼びだしデータに対していろいろな表示方式を選択できるため,モデルの視覚的表現法の検討の手段として有用であった.
コンティニュエーションの呼びだしは,過去に存在した関数呼びだしフレームへの制御の移動としてとらえられるので,このモデル上ではアニメーションとして表現が可能となっている.
研究計画の後半の中心であったモデルへの操作については,現状ではマウスクリックによって視覚表現からデータを選び出す,ある呼びだしフレームにおけるクリックによって,そのフレームに対応するコンティニュエーションを実行することなどが可能である.変数の値の変更など,実行モデルそのものへの介入にはなお研究を進めている.
|
