書き換え（rewrite）って言葉を使えばいいのか

英語が substitute, assign, permutate, replace で日本語が「代入」、「置換」； ウエーー！ 困った。と思っていたが、replaceはやめて、rewriteって言葉を使えばいいか。項書換え系って言葉もあるし。

とりあえず：

• グラフ書き換え：グラフの一部を別なグラフで入れ換える。
• チャンバー：グラフ書き換えで入れ換える部分。
• チャンバー境界：そのまんま。
• 書き換えルール：そのまんま。
• 書き換えルールセット：そのまんま。
• ルールの発火：与えられたチャンバーにマッチするルールを検索して適用すること

ボックス＆ワイヤーのグラフを射とみると、グラフ書き換えは2セルになる。チャンバー境界の仕様は要するにプロファイルだ。書き換えルールのインスタンスが2セルの生成元となる。

変数シンボルって概念は、書き換えポイントを指定する仮想チャンバーってことだろう。