전략적 목표
• 의미론적 엔트로피의 수학적 기초를 익히십시오.
• 원시 데이터 전송과 의미 있는 정보 교환을 구별합니다.
• 메시지 관련성과 유용성을 측정하기 위해 공리적 프레임워크를 적용합니다.
• 공식적인 논리와 실제 커뮤니케이션 시스템 사이의 격차를 해소합니다.
핵심 과제
현대의 의사소통 이론은 데이터 전달에는 뛰어나지만 메시지 자체의 가치와 의미를 정의하는 데에는 실패합니다.
의미론적 변화
전달에서 해석까지
이 섹션에서는 물리적 신호 전송과 의미 해석 간의 차이를 설정합니다. 이는 인코딩, 노이즈 및 채널 용량에 초점을 맞춘 커뮤니케이션 엔지니어링 모델을 메시지의 의미에 대한 철학적, 논리적 관심과 대조합니다. 독자는 중심 긴장을 접하게 됩니다. 성공적인 전달은 이해를 보장하지 않으며 정보는 의미와 동일하지 않습니다.
학문으로서의 의미론의 탄생
이 섹션에서는 의미론이 단순한 형식이 아닌 의미와 관련된 구조화된 분야로 어떻게 등장했는지 추적합니다. 어휘적 의미와 구성적 의미를 소개하며, 단어 연구가 어떻게 구조화된 명제 연구로 확장되었는지 보여줍니다. 의미론이 어떻게 언어, 논리, 철학 사이의 다리가 되어 형식화의 기반을 마련했는지에 중점을 둡니다.
참조, 진실, 그리고 의미의 구조
여기에서는 형식 의미론의 핵심 요소인 참조, 진리 조건 및 모델을 소개합니다. 의미는 주관적인 연관성으로 구성되는 것이 아니라 표현과 상황 사이의 체계적인 관계로 구성됩니다. 독자는 진리 조건 분석이 논리적 의미론의 중심이 된 이유와 이러한 움직임이 정보 이론에 혁명적인 이유를 이해하도록 안내됩니다.
섀넌의 한계
고전정보이론의 기초
Shannon의 의사소통 모델, 불확실성의 척도인 엔트로피 개념, 정보가 비트 단위로 정량화되는 방식을 소개합니다. 채널 용량과 고전 정보 이론의 기초가 되는 가정에 대해 토론합니다.
맹점: 의미와 의미론
의미론적 콘텐츠를 캡처하는 데 있어서 Shannon 프레임워크의 한계를 조사합니다. 고전 정보 이론이 양을 측정하지만 관련성, 맥락 또는 의미를 측정하지 않는 이유를 분석합니다.
엔트로피와 관련성
불확실성에 대한 통계적 측정을 의사소통의 관련성 개념과 대조합니다. 높은 엔트로피가 의미 있는 정보와 동일하지 않은 사고 실험과 예를 소개합니다.
공리 기초
왜 공리로 시작해야 하는가?
이 섹션에서는 의미에 대한 직관적인 개념에서 형식적으로 기반을 둔 의미론적 이론에 이르기까지 유일하게 신뢰할 수 있는 경로인 공리적 방법을 제시합니다. 이는 정보 관련성을 정의하는 데 비공식적 추론이 불충분한 이유를 설명하고 공리가 논리적 세계를 고정하는 명시적인 약속으로 어떻게 기능하는지 보여줍니다. 독자는 단순히 설득력이 있는 것이 아니라 구조적으로 구속력이 있는 규칙에 의해 의미가 제한되어야 한다는 생각을 접하게 됩니다.
공식 시스템의 아키텍처
이 섹션에서는 형식 시스템을 정확하게 정의된 기호 언어, 공리 집합, 추론 규칙 등의 필수 구성 요소로 분해합니다. 구문과 의미의 차이를 명확히 하여 파생이 형식적 조작에서 어떻게 나타나는지 보여줍니다. 결국 독자들은 근본적인 약속에서 어떻게 논리적 결과가 기계적으로 발생하는지 이해합니다.
일관성, 완전성 및 독립성
이 섹션에서는 공리 시스템을 평가하는 구조적 기준을 소개합니다. 일관성은 모순이 파생되지 않도록 보장합니다. 완전성은 시스템에서 표현 가능한 모든 진리가 파생 가능한지 여부에 관한 것입니다. 독립성은 어떤 공리도 중복되지 않음을 보장합니다. 이러한 속성은 단순히 기술적 미덕으로 구성되는 것이 아니라 흔들리지 않는 진실에 의미를 두는 것을 목표로 하는 모든 이론의 필수 조건으로 구성됩니다.
상징의 성격
표시에서 의미까지
이 섹션에서는 규칙에 따른 사용을 통해 의미를 획득하는 물질적 표시로서의 기호를 소개합니다. 잉크 스트로크와 디지털 토큰에서 형식 변수로 이동하면서 기호가 본질적으로 의미가 없지만 시스템 내에서 구조화된 의도의 전달자가 되는 방식을 조사합니다. 이 논의는 인지 가능한 기호에서 추상적 논리 연산자로의 전환을 확립하고 형식 시스템과 실제 현실 사이의 다리로서 기호를 이해하기 위한 토대를 마련합니다.
의도성과 공리적 틀
여기서 이 장에서는 공리 시스템이 기호에 규율 있는 의미를 할당하는 방법을 탐구합니다. 변수는 단순히 객체를 나타내는 것이 아닙니다. 이는 공리와 추론 규칙에 의해 제한되는 구조화된 가능성 범위를 인코딩합니다. 이 섹션에서는 의도가 공식적인 정의에 어떻게 포함되어 기호를 의미론적 약속의 정확한 수단으로 변환하는지 명확히 설명합니다. 이 분석은 수학적 추상화가 명시적인 규칙 제한 해석을 통해 임의성을 방지하는 방법을 보여줍니다.
상호작용과 해석
이 섹션에서는 상호작용 기반 의미 이론을 개념적으로 활용하여 기호가 해석 공동체 내에서 기능한다고 주장합니다. 논리적 표기법은 공리뿐만 아니라 읽기, 증명 및 적용의 공유된 관행을 통해 힘을 얻습니다. 의미는 사상가와 시스템 사이의 규율 있는 상호 작용을 통해 사용 중에 나타납니다. 이 섹션에서는 형식적 추론을 비공식적 협상보다는 명시적 제약에 의해 통제되는 특수한 형태의 상징적 상호작용으로 재구성합니다.
논리적 원자론
의미가 구조를 가져야 하는 이유
이 섹션에서는 논리적 원자론의 핵심 동기, 즉 의미 있는 담론이 분할할 수 없는 전체가 아니라 구조화된 구성이라는 확신을 소개합니다. 이는 복잡한 의사소통을 더 간단한 구성 요소로 분석할 수 있도록 구성하고 의미의 명확성이 이러한 요소 단위를 식별하는 데 달려 있는 이유를 설명합니다. 이 섹션에서는 원자론을 형이상학적인 호기심이 아니라 공리적 의미론을 위한 방법론적 도구로 자리매김했습니다.
원자 사실과 원자 명제
이 섹션에서는 의미의 논리적 '원자', 즉 세계의 원자적 사실과 언어의 원자적 명제를 정의합니다. 이는 이러한 최소한의 진실 전달자가 어떻게 더 복잡한 진술이 구성되는 의미론적 기반으로 기능하는지 설명합니다. 토론에서는 언어적 형태와 현실의 구조적 특징 사이의 일치성을 강조하고 세분성이 어떻게 정확한 관련성 평가를 가능하게 하는지 명확히 합니다.
숨겨진 아키텍처로서의 논리적 형태
여기서 개요는 결정성을 잃지 않고 원자 요소를 결합할 수 있는 보이지 않는 프레임워크인 논리적 형태를 탐구합니다. 이 섹션에서는 형식을 문법적 인공물로 다루기보다는 의미 있는 구성을 지배하는 구조적 제약으로 해석합니다. 논리적 형식은 공리적 구조와 의미적 해석 사이의 다리가 되어 조합이 분석 가능성을 어떻게 유지하는지 보여줍니다.
의미적 엔트로피
신호 불확실성에서 의미 불확실성으로
이 섹션에서는 기호 분포의 확률적 불확실성의 척도로서 엔트로피의 고전적인 공식화를 재검토하고 의미에 대한 의도적인 무관심을 설명합니다. 이는 구문 예측 불가능성이 의미적 모호성을 포착하지 못하는 이유를 명확히 하고 단순히 기호뿐만 아니라 공리적 의미론적 프레임워크 내에서 해석된 명제에 대해 작동하는 새로운 척도의 필요성을 확립합니다.
의미 상태 정의
여기서 이 장에서는 의미론적 상태 공간의 개념, 즉 공리 이론과 일치하는 구조화된 가능한 해석 세트를 소개합니다. 메시지를 문자열로 처리하는 대신 다양한 수준의 호환성을 갖춘 명제 집합으로의 매핑으로 모델링됩니다. 의미론적 엔트로피는 원시 기호보다는 이러한 해석 상태에 대한 불확실성으로 사전에 정의됩니다.
엔트로피 분산으로서의 모호성
이 섹션에서는 모호성을 경쟁적인 의미 해석 간의 분산으로 공식화합니다. 분포 균일성에 대한 엔트로피의 민감도에 대한 비유를 통해, 확률 질량이 양립할 수 없는 의미에 고르게 분포될 때 메시지가 의미론적으로 높은 엔트로피라고 주장합니다. 반대로, 낮은 의미 엔트로피는 해석적 집중에 해당합니다. 철학적 명확성을 잃지 않으면서 수학적 직관이 제공됩니다.
관련성 지표
정보의 양에서 정보의 중요성으로
이 섹션에서는 양적 또는 불확실성 감소에 기반한 고전적인 정보 측정값을 보다 풍부한 관련성 개념과 대조합니다. 전송된 비트가 인지적 영향과 동일하지 않은 이유를 명확히 하고 핵심 문제, 즉 수신자의 목표, 신념 및 의사 결정 상황과 관련하여 메시지의 유용성을 측정하는 방법을 소개합니다.
상황에 따른 의존성으로서의 관련성
관련성은 메시지, 수신자, 문제 공간 사이의 삼중 관계로 구성됩니다. 이 섹션에서는 배경 신념 상태, 활성 질문 및 목표 구조를 공식화합니다. 이는 명제가 구조화된 맥락과 관련해서만 관련이 있음을 확립하고 맥락 의존성을 지배하는 예비 공리를 소개합니다.
인지 효과 및 노력
실용주의 이론을 바탕으로 이 섹션에서는 해석적 노력에 대해 가중치를 부여한 인지 효과의 함수로서 관련성을 모델링합니다. 이는 신념 수정 크기, 모순 해결 또는 추론 확장 측면에서 인지 효과를 정의하고 메시지 유용성을 평가하기 위한 정규화된 비용-편익 구조를 제안합니다.
형식적 의미론
구문에서 의미까지
언어의 구조적 규칙(구문)이 어떻게 문장에 정확한 수학적 의미를 할당하기 위한 발판 역할을 하는지 알아보세요. 단순한 구성 요소에서 복잡한 의미를 구성할 수 있는 구성 원리를 소개합니다.
진실 조건부 프레임워크
언어적 표현과 형식논리 사이의 가교로서 진리 조건의 개념을 소개합니다. 주어진 모델에서 문장의 진실성을 확인하기 위해 문장을 논리적 형식으로 표현하는 방법을 설명합니다.
의미론적 툴킷으로서의 술어 논리
1차 및 고차 술어 논리가 어떻게 자연 언어로 엔터티, 동작 및 관계를 표현하는 도구를 제공하는지 보여줍니다. 엄격한 의미론적 분석을 위해 수량자, 변수 및 논리적 연결을 다룹니다.
모델 이론
모델 및 구조의 기초
구조, 영역, 해석, 기호와 요소 간의 관계를 포함하여 모델 이론의 기본 구성 요소를 소개합니다. 이러한 기반을 통해 논리적 진술을 평가할 수 있는 추상적 공간을 어떻게 만들 수 있는지 강조하세요.
모델의 만족과 진실
만족의 개념을 탐색하여 공식 언어의 문장이 주어진 모델 내에서 어떻게 참 또는 거짓이 될 수 있는지 보여줍니다. 추상적인 '진리'가 어떻게 확립되는지 설명하기 위해 공식, 과제, 진실 가치 평가와 같은 주요 개념에 대해 토론하세요.
기본 등가성과 동형
다양한 모델이 동일한 문장을 어떻게 만족시킬 수 있는지, 그리고 모델이 기본적으로 동일하거나 동형이라는 것이 무엇을 의미하는지 살펴보세요. 논리적으로 동등한 '세계'를 구성할 때 구조적 유사성의 중요성을 강조합니다.
화용론과 맥락
문맥적 의미 소개
이 섹션에서는 상황에 따라 알려진 의미론적 가치와 순수한 구문적 의미를 대조하면서 논리적 진술의 해석을 형성하는 데 있어 맥락의 중심 역할을 설정합니다.
화법과 기능적 의사소통
화행 이론을 탐구하고, 화자의 의도, 수행적 발화, 의사소통 기능이 진술의 논리적, 의미론적 분석에 어떻게 영향을 미치는지 조사합니다.
Deixis 및 맥락에서의 참조
'여기', '지금', '당신'과 같은 직설적 표현과 그 의미가 주변 환경에 어떻게 의존하는지 분석하여 맥락이 논리적 해석의 모호성을 어떻게 해결하는지 보여줍니다.
진실 조건부 의미론
진리 조건부 의미의 기초
진술의 의미론적 내용은 그것이 참이 되는 조건에 의해 포착될 수 있다는 중심 아이디어를 소개합니다. 논리적 형식과 경험적 검증 가능성 사이의 연결을 설정합니다.
구성적 의미론과 논리적 구조
논리학의 구성성 원리를 강조하면서 복합명제의 진리조건이 구성요소의 진리조건으로부터 어떻게 체계적으로 도출되는지 설명합니다.
수량자와 양식 해석하기
진리 조건적 의미론이 '모두' 및 '일부'와 같은 한정사와 '반드시' 및 '할 수 있음'과 같은 조 표현과 관련된 진술을 어떻게 설명하는지, 그리고 이것이 논리적 해석을 어떻게 형성하는지 검토합니다.
정보 기하학
정보기하학의 개념적 기초
확률 분포와 의미 상태를 다양체의 점으로 보는 핵심 아이디어를 소개하고 논리와 의미에 대한 기하학적 접근 방식의 이론적 근거를 확립합니다.
의미론적 상태에 대한 다양체 및 측정항목
Riemannian 메트릭, 특히 Fisher 정보 메트릭이 의미 상태 간의 '거리'를 정량화하여 의미의 유사성과 발산을 시각화하는 방법을 살펴보세요.
아핀 연결 및 발산
아핀 연결이 의미 다양체에서 측지선 및 병렬 전송을 정의하는 방법과 Kullback-Leibler 발산과 같은 발산이 분포 간의 방향 측정을 제공하는 방법을 검토합니다.
알고리즘 정보 이론
알고리즘 정보 소개
이 섹션에서는 가능한 가장 짧은 설명을 통해 객체, 메시지 또는 데이터를 표현하는 개념을 소개하고 최소한의 인코딩이 고유한 의미 구조를 어떻게 드러내는지 강조합니다.
의미의 복잡성 측정
메시지를 생성하는 가장 짧은 프로그램의 길이가 간결한 표현과 의미 있는 통신 구조를 연결하여 복잡성을 측정하는 방법을 탐구합니다.
압축 및 의미론적 효율성
메시지의 패턴과 중복성을 이해하여 효율적이고 의미론적으로 풍부한 전송이 가능한 방법을 보여줌으로써 압축성과 정보 관련성 사이의 관계를 보여줍니다.
지식 표현
지식 표현의 개념적 기초
의미론, 구문, 선언적 지식과 절차적 지식 간의 구별을 포함하여 인코딩 지식의 이면에 있는 이론적 원리를 소개합니다. 기계 추론을 가능하게 하기 위해 의미를 구조화하는 것의 중요성에 대해 토론합니다.
공식 언어와 온톨로지
술어 논리, 설명 논리, 온톨로지와 같은 형식적 표현 프레임워크를 검토합니다. 이러한 구조를 통해 AI 시스템이 계산 추론을 위한 개념, 관계 및 제약 조건을 구성하는 방법을 알아보세요.
표현 방식 및 구조
프레임, 의미 네트워크, 그래프 기반 모델 등 지식을 인코딩하는 데 사용되는 일반적인 데이터 구조를 분석합니다. 다양한 추론 작업에 대한 절충안, 표현력 및 적합성에 대해 토론합니다.
유형 이론
의미론적 타이핑의 필요성
의미적 엔터티를 유형으로 구성하는 이론적 근거를 소개합니다. 유형이 지정되지 않은 시스템이 어떻게 모순과 역설로 이어질 수 있는지 토론하고 논리적 일관성을 유지하는 데 있어 구조화된 프레임워크의 중요성을 설명합니다.
유형 계층의 핵심 개념
기본 유형, 함수 유형, 유형 계층 구조를 포함한 유형 이론의 기본 구성을 살펴보세요. 이러한 구조가 의미 엔터티를 분류하고 엄격한 형식적 추론을 지원하는 방법을 설명합니다.
유형 할당 및 의미론적 타당성
의미론적 타당성을 유지하는 표현식과 제약 조건에 유형을 할당하는 규칙을 검토합니다. 유형 검사 메커니즘이 어떻게 불일치를 감지하고 공식 시스템에서 유효하지 않은 구성을 방지할 수 있는지 강조합니다.
정보철학
정보 개념화
원시 데이터를 넘어 '정보'를 구성하는 요소에 대한 근본적인 질문을 탐색하고 구문론적, 의미론적, 실용적인 차원 간의 차이점을 검토하고 이러한 구별이 존재론적 상태를 어떻게 구성하는지 살펴보세요.
물리적 실체로서의 정보
계산, 엔트로피, 자연계에서 정보의 보존 또는 변환에서의 역할을 포함하여 물리적 시스템에 내장된 정보의 개념을 조사합니다.
인식론적 차원
정보가 지식, 진실 및 신념과 어떻게 관련되는지 분석하고 의미론적 내용이 논리 및 공리 시스템에 대한 암시와 함께 해석 및 맥락을 통해 의미를 획득하는 방식을 강조합니다.
커뮤니케이션의 게임이론
전략적 게임으로서의 커뮤니케이션
의사소통 행위가 측정 가능한 유용성을 갖춘 전략적 선택으로 모델링되는 전통적인 정보 이론에서 게임 이론적인 관점으로의 개념적 전환을 소개합니다.
행위자, 선호도 및 의미
에이전트의 목표, 신념, 선호도가 어떻게 해석과 의미 교환을 형성하고 공리적 의미론적 척도를 전략적 인센티브와 연결하는지 살펴보세요.
대화의 균형
내쉬 및 상관 전략을 포함한 의사소통 평형을 분석하여 반복적인 상호 작용이 의미론적 해석과 기대를 어떻게 안정화하는지 보여줍니다.
베이지안 의미론
진리 조건에서 믿음의 정도까지
이 섹션에서는 확률론적 용어로 고전적인 진리 조건 의미론을 재구성합니다. 명제를 단순히 참 또는 거짓으로 취급하는 대신, 우리는 이를 에이전트의 인식 상태에 따라 등급화된 신뢰성을 갖는 것으로 해석합니다. 독자는 의미가 논리적 형식에 의해 소진되는 것이 아니라 세상에 대한 기대의 구조화된 분포를 포함한다는 생각을 접하게 됩니다. 이는 공리적 의미론의 자연스러운 확장으로서 베이지안 의미론의 무대를 마련합니다.
베이지안 업데이트 아키텍처
이 섹션에서는 베이지안 추론의 형식적 핵심을 소개하고 이를 의미론적으로 해석합니다. 사전은 기존의 배경 약속을 나타냅니다. 가능성은 세계의 다양한 상태에서 메시지가 어떻게 발생하는지 인코딩합니다. 후위는 새로운 데이터를 받은 후 수정된 의미론적 약속을 포착합니다. 유명한 업데이트 규칙은 단순한 공식이 아니라 정보와 의미 사이의 공리적 연결인 해석 수정 논리로 제시됩니다.
증거로서의 메시지
여기서 이 장에서는 발화, 관찰 및 맥락적 단서가 확률적 의미론적 모델 내에서 증거로 어떻게 기능하는지 탐구합니다. 메시지는 진실을 전달하는 정적인 전달자가 아니라 증거력이 배경 모델에 따라 달라지는 데이터 포인트로 간주됩니다. 이 섹션에서는 해석이 추론이라는 아이디어를 발전시킵니다. 수신자는 메시지가 세계와 화자의 의도에 대한 경쟁 가설 하에서 얼마나 가능성이 있는지 계산합니다.
범주 이론
요소에서 관계까지
이 섹션에서는 집합 이론, 요소 기반 기반에서 관계형 및 구조적 관점으로의 전환에 동기를 부여합니다. 그것은 논리를 사물과 그 속성에 대한 이론이 아니라 변형과 상호작용에 대한 이론으로 재구성합니다. 범주 이론은 외부 관계보다 내부 구성을 우선시하지 않고 의미 체계 전반에 걸쳐 불변 패턴을 표현할 수 있는 언어로 도입되었습니다.
의미 보존 변환으로서의 형태론
여기서 사상은 의미 영역 간의 구조 보존 번역으로 해석됩니다. 논리적 결과, 해석 및 모델 이론적 임베딩은 형태적 동작의 특수한 사례로 재구성됩니다. 구성성과 의미가 합법적인 변환 하에서 보존되는 방식에 중점을 두어 공리적 의미론 이론을 범주형 형태로 기초화합니다.
보편성과 최적 구축의 논리
보편적 속성은 범주 추론의 핵심 구성 원리로 제시됩니다. 한계와 공동 한계는 구조적 문제에 대한 정식 솔루션, 즉 최소 충분성과 최대 일관성의 형식적 구현으로 해석됩니다. 이 섹션에서는 보편적인 구성을 정보 관련성 아이디어(무엇을 보존해야 하는지, 무엇이 달라질 수 있는지, 의미 체계가 분산 제약 조건을 통합하는 방법)와 연결합니다.
의미론적 네트워크
고립된 명제에서 의미의 그물망으로
이 섹션에서는 논리를 독립 명제의 계산 이상의 것으로 재구성합니다. 이는 의미가 공리뿐만 아니라 공리들 사이의 패턴화된 연결에서도 나온다고 주장하면서 관계형 구조의 필요성을 소개합니다. 독자는 원자론적 의미론에서 추론 능력이 연결성에 의존하는 네트워크화된 지식 개념으로 안내됩니다.
의미 단위로서의 노드
여기서 우리는 개념, 대상, 명제, 유형 등 네트워크를 차지하는 것이 무엇인지 조사합니다. 이 섹션에서는 의미론적 세분성이 결정되는 방식, 추상화 수준이 인코딩되는 방식, 공리적 약속이 노드 ID를 정의하는 방식을 분석합니다. 일반적인 개념과 특정 사례 사이의 구별과 각각이 논리적 분류를 어떻게 지원하는지에 특별한 주의를 기울입니다.
공리적 약속으로서의 엣지
관계는 구체화된 공리로 취급됩니다. 모든 링크는 의미가 서로를 어떻게 제약하는지에 대해 무언가를 주장합니다. 이 섹션에서는 관계 유형(계층적, 인과적, 연관적)을 분석하고 논리적 속성인 방향성, 대칭성 및 전이성을 탐구합니다. 네트워크는 암시적 논리적 규칙의 가시적 다이어그램이 됩니다.
의미의 미래
정보 전달에서 의미 전달로
이 시작 부분은 책의 중심 주제를 재구성합니다. 고전 정보 이론은 신호 전송을 측정하지만 의미론적 성공은 측정하지 않습니다. 이는 단순한 기호 교환이 아닌 추론된 구조의 정렬을 통해 의사소통을 평가하는 새로운 측정 기준인 의미 충실도를 주장하기 위해 공리적 의미론과 정보 관련성에 대한 이전 논의를 종합합니다.
보편적 언어의 역사적 꿈
이 섹션에서는 역사적 호기심이 아니라 의미론적 안정화를 위한 초기 시도로서 보편적 언어를 만들기 위한 과거의 노력을 조사합니다. 철학적 언어, 논리적 문자 체계 및 구성된 국제 보조 장치를 조사하여 보편성이 어휘보다는 공유된 추론 구조에 더 많이 의존한다는 지속적인 통찰력을 추출합니다.
인프라로서의 공리적 의미론
여기서 이 장은 이 책의 핵심 기여, 즉 보편적 프로토콜의 기초로서의 공리적 의미론적 이론을 통합합니다. 의미는 공유 논리 모델 전반에 걸쳐 제약 조건 만족으로 공식화될 수 있으며, 여기서 관련성은 해석 우선 순위를 결정하고 모호성은 오류가 아닌 모델 복수로 처리됩니다.
