Lambda calculus
ラムダ計算の用語で言えば、"V" は"U" のカリー化formula_7にあたる。）