簡約項
redex
reducible expression
簡約可能な項