直接操作メタファによるプログラム言語実行モデルの構築とデバッグへの応用

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

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