Viivi 表

[注意]
階乗計算のアルゴリズムにおける終端条件で数学的に正しいのは (= n 0) だと思います．
実は現在 Viivi には 問題 があり，それを解説/質問するために (= n 1) という条件に変更したコードをそのまま作図に使ってしまいました．
次回，図を更新するときに正しい条件に修正いたします．
不快にお思いの方もいらっしゃると思いますが，どうぞご容赦ください．

デフォルトでは暗赤色の背景です．

さまざまな種類の表が Viivi kernel 内部の状態を可視化します．

どの表でも第 1 欄は「監視」用に割り当てられており， ここにチェック・マークを入れておけば該当行が点灯したときに評価を停止します．

現在の版で公開されている表には以下のものがあります:

• ブレークポイント表
  ソースコード内に設定されたブレークポイントを表示します．
• クロージャ表
  クロージャ (closure) を表示します．
• 継続表
  継続 (continuation) を表示します．
• 入力ポート表
  入力ポートを表示します．
• 出力ポート表
  出力ポートを表示します．
• 手続き呼び出し表
  手続き呼び出しのようすを階層的に表示します．
• スコープ表
  現在の評価点から眺めたすべての束縛関係を階層的に表示することにより， 現在のスコープの詳細な構造を提示します．
• シンタックス表
  シンタックス (syntax) を表示します．
• システムシンボル表
  システムによってあらかじめ用意された束縛関係を表示します．
• ユーザシンボル表
  現在見えているユーザ定義の束縛関係を簡易的に表示します．
  見えていないシンボルも影のついた背景色で表示します．