記号論的な操作