• 철학연구
• /
• 제152권
• /
• pp.59-79
• /
• 2019

이 논문의 주된 목적은 퍼스 기호학에서 상징 개념을 비판적으로 검토하고, 체험주의적 시각에서 대안적 논의의 필요성과 가능성을 제안하려는 것이다. 퍼스는 기호를 도상과 지표, 상징기호로 구분함으로써 기호 탐구에 중요한 진전을 이루었지만 상징기호에 대한 퍼스의 서술은 불투명한 미완의 탐색으로 남게 되었다. 퍼스는 도상기호나 지표기호와 달리 상징기호에 '해석'의 문제가 개입된다고 보았으며, 이 때문에 상징기호를 상위적이고 완전한 기호라고 보았다. 퍼스적 기호 구도 안에서 이러한 생각은 '해석체' 개념을 통해서 해명될 수밖에 없지만 해석체에 대한 퍼스 자신의 서술 또한 화해 불가능해 보이는 불투명성을 드러낸다. 필자는 체험주의적 시각을 빌려 기호의 문제가 '기호적 경험'의 문제라는 사실에 주목하고, '기호적 사상'이라는 기제를 축으로 기호 문제를 해명하려고 했다. 즉 우리 경험은 물리적 경험과 기호적 경험으로 구분될 수 있으며, 기호적 경험은 물리적 경험의 기호적 확장을 통해 확장되며, 동시에 물리적 경험에 의해 강력하게 제약된다. 여기에서 '기호적 사상'은 기호적 경험을 산출하는 핵심적 기제다. 즉 우리는 특정한 기표에 우리 경험내용의 일부를 사상하며, 그 사상된 경험내용의 관점에서 그 기표를 이해하고 경험하게 된다. 이러한 해명에 따르면 퍼스가 구분했던 도상이나 지표, 상징기호는 모두 기호적 사상이라는 과정을 통해 구성된다. 도상기호나 지표기호는 한 기표(=표상체)에 물리적 경험내용을 사상함으로써 구성되지만 상징기호가 한 기표에 추상적 경험내용을 사상하는 방식으로 구성된다. 추상적 경험내용이 물리적 경험내용을 사상하는 방식으로 구성된다는 점을 고려하면 추상적 경험내용을 사상하는 상징기호는 이차사상 또는 그 이상의 중층적 사상을 통해 구성된다. 이런 의미에서 상징기호는 상위적 기호라고 할 수 있다. 이러한 분석은 기호 탐구에서 퍼스의 실재론적 가정을 벗어나 기호적 경험의 본성에 대한 새로운 해명의 필요성과 가능성을 열어 줄 것이다.

• 한국철학논집
• /
• 제29호
• /
• pp.153-178
• /
• 2010

본고의 핵심은 동아시아 전통 유교의 자아실현 과정과 그에 함축된 삶의 의의를 짚어보려는 것이다. 유교에서도 원시유교의 중심을 차지하는 공자와 맹자의 자아실현 단계를 검토하고 인격의 성숙과 교육적 특징을 고찰한 후, 그 현대적 의미를 도출해 본다. 유교의 창시자인 공자가 『논어』에서 학이시습(學而時習)을 언급한 이후, 그의 행적은 평생 동안 지속되는 자아실현의 과정이다. 즉, 지학(志學)-이립(而立)-불혹(不惑)-지천명(知天命)-이순(耳順)-종심(從心)에 이르는 자아실현 단계는 삶의 온축(蘊蓄)인 동시에 인생의 깨달음을 심도 있게 보여준다. 이는 삶의 과정이 질적으로 승화하고 있다는 점과 평생에 걸쳐 여섯 번이나 주요한 자기 변화 과정을 거치면서 철저한 자아실현의 능동성과 교육 및 학습의 중요성을 깨우쳐 주고 있다. 공자를 사숙한 맹자에게서도 인격성숙은 이와 유사한 패턴으로 이어지는데, 맹자의 자아구현 단계는 그의 철학에 근거한 심학(心學)적 특성이 짙게 배어 있다. 이는 선인(善人)-신인(信人)-미인(美人)-대인(大人)-성인(聖人)-신인(神人)으로 표출되는데, 이런 여섯 단계의 자아성숙 과정은 평생 동안 완벽한 인격을 꿈꾸는 교육과 학습의 모델이다. 공자와 맹자의 자아실현관은 내면적으로는 자기단련이고 외면적으로는 인간의 전형(典型)을 드러낸다. 그것은 유교가 지향하는 수기치인(修己治人)의 유기체적 이념을 수행하는 과정이다. 요컨대, '사람임'에서 '사람됨'을 거쳐 '사람다움'을 다지는 삶의 예술이다.

• 벤처창업연구
• /
• 제18권3호
• /
• pp.127-139
• /
• 2023

창업을 준비하고 시작하는 과정에서 스타트업의 창업가는 사업계획(Business Plan)을 세우는 데 많은 시간을 할애한다. 이러한 과정에서 문서로 정리된 사업계획서는 사업의 로드맵 역할 뿐 아니라, 자본조달과 창업 팀 내부의 커뮤니케이션 도구로도 활용된다. 그런데, 창업가들이 이렇게 공들여 완성시켜가는 사업계획서는 실제 스타트업의 성과창출에 효과가 있을까? 이러한 질문의 답을 찾기 위해 본 연구는 사업계획서가 스타트업의 경영성과에 미치는 영향을 실증적으로 분석하였다. 추가적으로 창업가가 생각하는 사업계획서의 만족도에 따라 사업계획서와 성과와의 영향관계가 어떻게 변화하는지도 분석하였다. 분석을 통해 사업계획의 완성도와 이에 대한 창업가의 만족이 스타트업의 성과와 어떠한 영향관계가 있는지 검증하고 시사점을 도출하였다. 본 연구의 실증분석을 위해 150명의 창업가를 대상으로 설문조사를 진행하였고, 사업계획서의 완성도와 성과사이의 회귀분석 후 대상을 창업 3년 미만과 3년 이상으로 분리하여 2차 분석을 진행하였다. 분석결과 스타트업의 사업계획서 완성도는 재무적 및 비재무적 경영성과와 모두 정(+)의 영향관계가 있으며, 이 관계에서 창업가의 사업계획에 대한 스스로의 만족도가 재무적 경영성과에는 조절효과를 나타내는 것을 확인할 수 있었다. 또한, 창업한지 얼마 되지 않은 3년 미만의 스트타업의 경우에는 창업가의 사업계획에 대한 스스로의 만족도가 사업계획서의 완성도와 비재무적 성과와의 관계에서 조절효과를 나타내는 것을 확인할 수 있었다. 본 연구는 창업초기 스타트업의 지속가능한 성장을 위한 방안으로 사업계획서 작성의 필요성을 재조명하고 그 중요성을 실증적으로 입증하였다는 점에서 의미가 있다. 본 연구를 통해 향후 스타트업 창업가들이 사업계획에 대한 중요성을 잘 이해하고 초기창업의 실패를 낮추는데 기여 할 수 있는 실마리가 되길 기대한다.

• 심성연구
• /
• 제30권2호
• /
• pp.145-186
• /
• 2015

본 연구는 제주도 무가 <삼공본풀이>를 분석심리학적 관점에서 고찰하고 해석한 것이다. <삼공본풀이>는 육지의 '내 복에 산다' 계 민담과 유사하고, 한국 뿐 아니라 일본과 중국 등 동아시아 지역뿐만 아니라 아일랜드에 까지 널리 퍼져 있는 신화이다. 누구 복에 사는가? 묻는 부모의 질문에 천지, 부모의 덕과 배꼽아래 선의 덕(배꼽에서 음부 쪽으로 내려 그어진 선)으로 산다고 대답한 셋째 딸 가믄장아기는 쫓겨난다. 가믄장아기는 부모와 자신을 이간시키려 했던 두 언니를 지네와 말똥버섯으로 전환케 하고, 부모는 장님이 되고 걸인이 되게 한다. 가믄장아기는 집을 나와 마를 캐는 마퉁이를 만나 결혼하게 되고, 마를 캐는 밭에서 금을 발견한다. 가믄장아기는 부자가 된 후 걸인잔치를 열어 장님이 된 부모를 만나게 되고 부모는 눈을 뜨게 되며, 두 언니들도 다시 만나 모두와 화해하며 '전생 신'임을 밝힌다. <삼공본풀이>는 신화로써 神의 이야기이다. 神은 완성된 존재로서 다른 것을 생각할 수 없지만 이를 민담 차원으로 내려와서 생각해 볼 수 있을 것이다. 가믄장아기는 아버지의 아니마 원형으로 볼 수 있으며, 이는 부성적인 의식이 변화되어 가는 과정을 나타낸 것이다. 아니마 원형인 가믄장아기는 처음에는 부모에게 배척을 받는다. 그러나 부모가 장님이 되는 고통과 시련의 과정을 겪고 마침내 눈을 뜨게 되는 것은 가믄장아기가 이 세상에 '소명'을 갖고 온 존재임을 알 수 있다. 가믄장아기는 기존의 가부장적인 집단의식을 새롭게 하고자하는 '여성성'의 창조적인 기능을 나타내는 것이다. 이러한 여성성의 의식화는 여성뿐 아니라 남성에게 더 중요함을 보여주는 것이다. 자신이 타고난 본성(여성성)을 알지 못하고 부모의 뜻과 인습적인 가치에 순종하기만 했던 두 언니들도 지네와 말똥버섯이라는 미물과 식물로 전환되어 그림자에 사로잡히는 고통과 시련을 겪음으로써 마침내 자기인식을 획득하게 된다. 가믄장아기는 마지막에 부모와 언니들과 모두 화해를 하여 전체가 되게 함으로써 진정한 의미의 자기실현의 모습을 보여준다. 결론적으로 여성의 자기실현은 가부장적인 집단의식을 새롭게 하는 중요한 목적의미가 있는 것이다.

• 대한영상의학회지
• /
• 제84권6호
• /
• pp.1309-1323
• /
• 2023

목적 크론병 환자의 자기공명영상 장운동기록(MR enterography; 이하 MRE)에서 단발 고속 스핀 에코기법(single-shot fast spin-echo; 이하 SSFSE)을 이용한 단일호흡영상(singlebreath-hold; 이하 SBH)과 다호흡영상(multiple-breath-hold; 이하 MBH)을 딥러닝 기반 재구성(deep-learning based reconstruction; 이하 DLR)의 유무에 따라 네 개의 영상에서 품질을 비교했다. 대상과 방법 이 연구는 후향적 연구로서, 크론병으로 MRE를 시행한 61명의 환자가 포함되었다. SBH와 MBH SSFSE 영상에서 각각 DLR과 고식적 재구성(conventional reconstruction; 이하 CR)을 시행한 영상을 획득했다. 두 명의 영상의학과 전문의가 네 가지 영상을 분석하여 전반적인 영상의 품질, 인공물, 선명도와 움직임 관련 신호 손실에 대하여 각각 5점 척도를 이용해 점수를 부여했다. 회장과 말단 회장, 결장에서 염증을 시사하는 세 가지 소견을 평가했다. 각 영상에 대해서 공간적 불일치 여부를 확인했고, 네 가지 영상에서 각각 다른 두 위치에서 신호 대 잡음비(signal-to-noise ratio; 이하 SNR)를 계산했다. 결과 SBH SSFSE 영상에서 DLR을 적용한 경우 CR보다 영상의 품질, 인공물, 선명도가 통계학적으로 유의하게 개선되었다. 네 가지 영상 중 SBH-DLR 영상에서 SNR이 가장 높게 나타났다(p < 0.001). 염증 소견에 대한 판독자 간 일치율은 좋음에서 매우 좋음으로 나타났고(κ = 0.76-0.95) 시퀀스 간 일치율은 매우 좋음으로 측정되었다(κ = 0.92-0.94). 공간적 불일치는 SBH 영상보다 MBH 영상에서 통계학적으로 유의하게 빈도가 높았다(p < 0.001). 결론 SBH-DLR 영상은 MBH-CR 영상과 비교했을 때 동등한 영상 품질과 성능을 보여주었다. 또한, MBH 영상에 비해 절반 이하의 시간과 단일 호흡만으로 영상을 획득할 수 있으며 공간 불일치를 줄일 수 있는 대체제로 사용할 수 있다.

• 심성연구
• /
• 제25권1호
• /
• pp.27-64
• /
• 2010

크리스챤 영성의 관점에서는 '영성(靈性)'이란 바로 우리가 우리 자신이 되게 하는 영적 씨앗으로써 누구나 그 씨앗을 발아시켜 자기 자신의 온전한 본 모습을 찾아가는 길이다. 자기실현(自己實現) 또는 개성화과정은 융의 중심사상으로, 개인적 성격의 발달을 지향하는 분화의 과정이다. 달리 말해 의식과 무의식의 통합을 이루어 자신이 가지고 있는 모든 기능을 온전히 제대로 사용할 수 있도록 함으로써 전체성(全體性)을 달성해 나가는 과정이다. 그렇다면 이는 인간 누구에게나 주어진 삶의 중심과제일 수밖에 없다. 이런 측면에서 보면, 영성신학적인 견해와 분석심리학적인 견해가 서로 만날 수 있는 길이 보인다. 스위스 취리히(Zurich)의 연방기술연구소에서 1938년부터 1941년까지 열렸던 특강 시리즈에서, 융은 동양과 서양의 전형적인 상징과 변환과정에 대한 고찰을 통해 요가와 이냐시오 성인의 '영신수련', 그리고 연금술에 대해 강의하면서, 서양을 대표하는 인간 정신의 변환의 도구로써 이냐시오의 '영신수련'을 들고 있다. 따라서 본 논문에서는 이냐시오의 '영신수련'에 대한 융의 견해를 중심으로 '영신수련'을 개성화의 과정과 비교해봄으로써 그 분석심리학적 함의를 조명해보는데 중점을 두었다.

• 지능정보연구
• /
• 제23권2호
• /
• pp.71-88
• /
• 2017

언어모델은 순차적으로 입력된 자료를 바탕으로 다음에 나올 단어나 문자를 예측하는 모델로 언어처리나 음성인식 분야에 활용된다. 최근 딥러닝 알고리즘이 발전되면서 입력 개체 간의 의존성을 효과적으로 반영할 수 있는 순환신경망 모델과 이를 발전시킨 Long short-term memory(LSTM) 모델이 언어모델에 사용되고 있다. 이러한 모형에 자료를 입력하기 위해서는 문장을 단어 혹은 형태소로 분해하는 과정을 거친 후 단어 레벨 혹은 형태소 레벨의 모형을 사용하는 것이 일반적이다. 하지만 이러한 모형은 텍스트가 포함하는 단어나 형태소의 수가 일반적으로 매우 많기 때문에 사전 크기가 커지게 되고 이에 따라 모형의 복잡도가 증가하는 문제가 있고 사전에 포함된 어휘 외에는 생성이 불가능하다는 등의 단점이 있다. 특히 한국어와 같이 형태소 활용이 다양한 언어의 경우 형태소 분석기를 통한 분해과정에서 오류가 더해질 수 있다. 이를 보완하기 위해 본 논문에서는 문장을 자음과 모음으로 이루어진 음소 단위로 분해한 뒤 입력 데이터로 사용하는 음소 레벨의 LSTM 언어모델을 제안한다. 본 논문에서는 LSTM layer를 3개 또는 4개 포함하는 모형을 사용한다. 모형의 최적화를 위해 Stochastic Gradient 알고리즘과 이를 개선시킨 다양한 알고리즘을 사용하고 그 성능을 비교한다. 구약성경 텍스트를 사용하여 실험을 진행하였고 모든 실험은 Theano를 기반으로 하는 Keras 패키지를 사용하여 수행되었다. 모형의 정량적 비교를 위해 validation loss와 test set에 대한 perplexity를 계산하였다. 그 결과 Stochastic Gradient 알고리즘이 상대적으로 큰 validation loss와 perplexity를 나타냈고 나머지 최적화 알고리즘들은 유사한 값들을 보이며 비슷한 수준의 모형 복잡도를 나타냈다. Layer 4개인 모형이 3개인 모형에 비해 학습시간이 평균적으로 69% 정도 길게 소요되었으나 정량지표는 크게 개선되지 않거나 특정 조건에서는 오히려 악화되는 것으로 나타났다. 하지만 layer 4개를 사용한 모형이 3개를 사용한 모형에 비해 완성도가 높은 문장을 생성했다. 본 논문에서 고려한 어떤 시뮬레이션 조건에서도 한글에서 사용되지 않는 문자조합이 생성되지 않았고 명사와 조사의 조합이나 동사의 활용, 주어 동사의 결합 면에서 상당히 완성도 높은 문장이 발생되었다. 본 연구결과는 현재 대두되고 있는 인공지능 시스템의 기초가 되는 언어처리나 음성인식 분야에서 한국어 처리를 위해 다양하게 활용될 수 있을 것으로 기대된다.

• 핵의학기술
• /
• 제20권2호
• /
• pp.14-20
• /
• 2016

Tongue cancer는 혀에 생기는 악성종양으로 전체 암의 1.8%, oral cancer의 75%를 차지할 정도로 발생 빈도가 높은 것으로 알려져 있으며 초기 진단, 전이유무, 병기설정 등을 위해 PET/CT 검사를 실시하고 있다. Tongue cancer 환자의 PET/CT 검사 시 close mouth 상태로 Torso를 촬영하고 있으며 그에 따른 겹침이나 인공물의 영향으로 병소부위가 명확히 관찰되지 않는 경우가 발생되었다. 이에 open mouth로 PET/CT 검사 시 발생되는 변화와 그에 따른 유용성을 알아 보고자 한다. 20명의 환자(남 15명, 여 5명)를 대상으로 시행하였으며 먼저 close mouth 상태로 Torso 촬영 후 open mouth 상태로 1bed 추가 촬영하였다. Tumor(T), Normal Tongue(NT), Lymph Node(LN)에 관심영역을 설정하여 표준화섭취계수(standardized uptake value, SUV) $SUV_{mean}$, $SUV_{max}$를 측정하여 Background(Carotid artery) SUV를 빼주었다. Tumor size 변화를 측정하였으며 육안적 영상 해상도 평가는 blind test를 진행하였다. 비모수검정(wilcoxon signed rank test)을 통해 통계 분석하였다. Tumor에서 SUV는 open mouth 검사 시 증가하는 변화를 보였으며, normal tongue과 lymph node에서는 소폭의 변화가 있었으나 유의한 차이는 없었다. tumor size 변화와 blind test를 통해 전체적으로 비슷하거나 높은 영상 해상도를 보여주는 것을 확인할 수 있었다. Open mouth PET/CT 검사가 close mouth시 발생하는 문제점에 대한 완벽한 대안법이 될 수는 없지만 open mouth를 통해 구강 내 다른 구조물과의 겹침이나 tumor의 경계면을 조금 더 명확하게 관찰할 수 있을 것으로 사료된다.

• 한국해양환경ㆍ에너지학회지
• /
• 제16권4호
• /
• pp.227-238
• /
• 2013

본 연구의 목적은 해수담수화 과정 중 황산이온과 염소이온은 제거하고 유용미네랄인 마그네슘, 칼슘은 잔존 시키는 미네랄 수질 조정 기술로 먹는물 수질기준에 맞는 고경수 제조 공정 개발에 있다. 역삼투막(RO)에 통과시켜 농축수(Concentrated deep seawater)와 탈염수(desalted deep seawater)를 제조하고, 나노여과막(NF)를 사용하여 염화나트륨이 제거되지 않은 1차 미네랄 농축수(Mineral enriched deep seawater)를 제조하여, 전기투석 이온교환막(ED)을 가동하여 염화나트륨을 제거한 탈염 미네랄농축수(Mineral enriched desalted water)를 제조하여 이를 RO 탈염수와 희석하여 고경도 먹는해양심층수를 제조하였다. 역삼투막은 해수(해양심층수) 원수에서 용존물질과 담수를 분리할 수 있으며, 2차에 걸쳐 역삼투막을 사용하면, 용존성분 중 99.9% 이상 제거되고, 경도 1이하, 염소이온의 농도 2.3 mg/L인 용존물질이 완전히 제거된 탈염수(순수)를 제조할 수 있었다. 나노여과막 (NF 막)의 간극은 $10^{-9}$ m으로 마그네슘과 칼슘은 50%정도 통과시키며, 염소이온과 나트륨 같은 일가이온은 95%이상 통과한다. 나노여과막은 마그네슘과 칼슘과 같은 경도 성분과 나트륨과 염소이온과 같은 염분성분을 분리 농축할 수 있지만, 완벽하게 분리하지는 못한다. 전기투석막(ED)은 전기전도도에 따라 경도성분의 이가이온과 염분성분인 일가이온이 분리된다. 전기전도도 20 mS/cm 이상에서 경도성분(마그네슘이온, 칼슘 이온 등)은 제거되지 않는 반면, 염분성분 (나트륨이온, 염소이온 등)은 지속적으로 제거되었다. 따라서, 나노여과막을 이용하여 마그네슘과 칼슘과 같은 경도 성분을 농축하고, 전기투석막을 이용하여 경도농축수에서 염분성분을 분리하여 경도농도 12,600 mg/L, 염소이온 농도 2,446 mg/L의 염분성분이 배제된 고경도 농축수를 제조할 수 있었다. 이러한 고경도수를 역삼투막을 이용하여 용존물질이 모두 제거된 2차 RO 생산수로 10배 희석하면 염소이온 농도 244 mg/L 로 먹는물 수질기준에 적합하면서 경도농도 1,260 mg/L 인 고경도 수 제조도 가능하였다. RO/NF/ED 또는 NF/ED 연계공정은 해수의 증발 없이 역삼투막, 나노여과막과 전기투석막만을 이용하여 염소이온과 나트륨, 칼륨, 황산이온과 같은 염분성분을 제거하면서 마그네슘과 칼슘과 같은 경도성분은 농축할 수 있어서 먹는물 수질기준에 적합한 고경도수 제조가 가능하였으며, 이 과정 중 소모되는 에너지를 줄일 수 있었다.

• Journal of Animal Science and Technology
• /
• 제54권1호
• /
• pp.1-8
• /
• 2012

본 연구는 한국재래돼지의 MC4R 유전자 내의 단일염기변이들을 규명하고 그 유전자형 효과가 유전자표지인자를 이용한 선발(Marker assisted selection, MAS)에 활용 가능한지를 검증하기 위해서 수행되었다. 한국재래돼지의 MC4R 유전자 총 염기서열을 분석하기 위해 6개의 Primer들을 이용하여 증폭산물을 생성하였으며, 염기서열분석을 통해 총 6개(c.-780C>G, c-135C>T, c.175C>T-Leu59Leu, c.707A>G-Arg236His, c.892A>G-Asp298Asn, c.*430A>T)의 단일염기변이를 발견하였다. 한국재래돼지 MC4R 유전자내의 총 6개의 단일염기변이들간의 연관불균형과 반수체 분석을 통해 단일염기변이들간의 연관성을 분석하였으며, c.-780C>G, c-135C>T, c.175C>T-Leu59Leu, c.707A>G-Arg236His와 c.*430A>T는 완전한 연관불균형을 이루고 있었고, c.892A>G(Asp298Asn) 단일염기변이만 $r^2$-value가 0.028, D'-value가 0.348로 연관불균형 정도가 매우 낮았다. c.707A>G (Arg236His)와 c.892A>G (Asp298Asn) 단일염기변이들을 선발하여 PCR-RFLP 유전자형 분석방법을 이용해 돼지 5품종간의 유전자형 빈도를 추정한 결과, c.707A>G (Arg236His) 단일염기변이는 요크셔 품종 집단에서 오직 A (His) 대립유전자를 관찰할 수 있었으며, 나머지 한국재래돼지, 랜드레이스, 버크셔와 듀록 품종에서는 G 대립유전자의 고정으로 나타났다. c.707A>G 단일염기변이와 육질형질을 484두에서 연관성 분석을 실시한 결과, 조지방, 등심 내의 수분, 육색, 적색도 그리고 황색도 등에서 유의적인 연관성을 관찰할 수 있었다. c.892A>G (Asp298Asn) 단일염기변이의 유전자형 빈도는 품종별로 차이가 났으며, A (Asn) 대립유전자의 빈도가 가장 높은 품종은 듀록으로 나타났고, G (Asp) 대립유전자의 빈도가 가장 높은 품종은 한국재래돼지로 조사되었다. c.892A>G (Asp 298Asn) 단일염기변이와 돼지 4 집단의 육질형질을 1,126두에서 분석한 결과, 등지방두께에 고도의 유의적인 효과를 관찰할 수 있었다(P<0.002). AA 유전자형을 가진 개체가 AG나 GG 유전자형을 가진 개체보다 등지방두께가 두꺼운 것을 확인할 수 있었다. 본 연구의 결과를 통해 MC4R 유전자 내의 c.892A>G (Asp298Asn) 단일염기변이는 돼지의 선발개량에 유전자표지인자로서 충분한 효과가 있음을 검증하였다.