記号化する