多プロファイル 成分・書字順 成分・反書字順 成分・カリー化 f: → X f(*, x) f(x | *) f()(x) f: X → f(x, *) f(* | x) f(x)() f: → X, Y f(*, (x, y)) f(x, y | *) f()(x, y) f: X, Y → f(​(x, y), *) f(* | x, y) f(x, y)() f: X → Y f(x, y) f(y | x) f(…