まず、 抽象的と具体的、自分の日本語が変で困った - 檜山正幸のキマイラ飼育記 抽象度が足りないと苦労する - 檜山正幸のキマイラ飼育記 すべて具体的に考えよ。できるだけ抽象的に考えよ。抽象的なことも具体的に考えよ。日本語が変なのは承知だが、そうと…

x, y, z, f, g などは変数（を表すメタ記号、以下同様の注意を適用）、N, M などの大文字はラムダ式。x = N とか、f x = M とかの形を定義文と呼ぶ。式じゃなくて文なのは、これがある種の副作用（変数とラムダ式の束縛状態）をもたらすから。定義文を単に定…

まず、掛け算は右から左への（反図式順）結合だとして、次はほぼ定義のようなもの。 Tr [0 1 / 1 a] = a* Tr [a b / c d] = a + bd*c 次は多少面白い。 Tr [a a / a a] = a+ [a b / c d]+ の成分は次で与えられる。ただし、この+は足し算じゃなくて直和。 Tr…