記号列書き換え装置