テキスト-ピクチャー対応

テキスト ピクチャー
ラベル(名前) ワイヤー頂点
型(命題含む) 色付きワイヤー
ストリング図
宣言 入力端頂点とワイヤー
コンテキスト ワイヤーパレット
シーケント ノード
公理シーケント 展開不可能ノード
割り当て 展開可能ノード
ステージ パレット付きキャンバス
コマンド アクション/マニピュレーション
  • ムービー(動画): ステージ/キャンバスの時間的変化の様子を記録したデータ
  • リプレイ〈再生〉: ムービーの再生実演
  • スクリプト: ムービーと等価な情報を持ったテキスト表現
  • 散文化: ムービーの内容を自然言語テキストに書き下すこと。