詳細は「置き換え」を参照。