展開＝マクロ展開＝expand で、いいと思う。展開の逆だが、 contraction, collapsing がある。contraction〈縮約〉はthinning〈水増し〉と対にもなる。水増しは複製〈duplication〉でもある。複製の逆は併合〈merge〉、unionではない。対になるべき語がうま…

証明ストリング図のノードラベルが、メタ変数でラベルしているのか、システム内のラベルでラベルしているのが分からないという問題があった。ラベルのテキストで区別するのは現実的ではないが、ノード形状で区別ならなんとかなる。まず、ノード種別を インラ…