英語： permutation, substitution, assignment, valuation 日本語：順列、置換、代入、割り当て、付値 対応： permutation → 順列、置換 substitution → 置換、代入 assignment → 代入、割り当て、付値 valuation → 割り当て、付値 [追記]replacementもある…