絵言語 VS 文言語

セリンガーはgraphical languageって言葉を使っている。僕は pictorial languageのほうが好きだな。いずれにしても訳語は絵言語でいいだろう。

絵言語の対語は何だろう？ symbolic languageか、textual languageか。語感がサッパリわからん。「絵と文」とかいうから、文言語かな。

それはそうとして、絵言語のほうが一瞬でわかるとか計算が楽って実利的なメリットもあるが、そもそも通常の式表現だと計算過程が表現できないんだよな。式が結果の表現に最適化されているから、過程を表すには面倒な記法を導入することになる。

例えば：

• (f×g);(Δ_X×Δ_Y);(id_X×σ_X,Y×id_Y) = Δ_X×Y;[(f×g)×(f×g)]

これどうよ？ 絵ならモロ・イッパツだぜ。