• 한국수학사학회지
• /
• 제22권3호
• /
• pp.1-30
• /
• 2009

프레게의 논리주의는 흔히 19 세기 후반의 산수화 운동을 잇는 수론 내의 발전사례로 간주된다. 그러나 실수 해석학 내의 그의 실제 작업을 고려해 볼 때 이런 견해를 받아들이기란 쉽지 않다. 그래서 그의 논리주의는 당대의 수학적 실천과는 유리된 철학적 프로그램에 불과했다고 간혹 주장되곤 했다. 이 논문에서 나는 이두 견해가 근거 없는 편견에 의존하고 있고, 그런 편견은 당대의 수학적 실천의 맥락 내에서 프레게 논리주의가 갖는 이론적 지위를 오해한 데서 비롯한 것임을 보일것이다. 첫째로 나는 칸토르의 실수 정의와 이에 대한 프레게의 비판을 검토할 것이다. 이에 근거해서 나는 프레게의 목표는 양의 비율을 순수 논리적으로 정의하는 것이었음을 보일 것이다. 둘째로 나는 프레게 논리주의의 수학적 배경을 고찰할 것이다. 이를 기초로 나는 실수 해석학에 대한 그의 견해는 예상외로 정교하다는 것을 보일 것이다. 프레게는 바이어슈트라스나 칸토르와는 달리 보편적 적용 가능성을 갖는 실수 해석학에 도달하려 하는 반면, 전통적 견해를 고수하는 대부분의 수학자들과 달리 실수 해석학을 확립할 때 기하학적 고찰에 결코 의지하지 않으려 한다. 셋째로 나는 프레게가 이 두 측면 - 기하학으로부터 독립성 및 보편적 적용가능성 - 을 논리학 자체의 특징으로 간주하였고, 논리주의에 따라 그것을 산수학 자체의 특징으로 간주하였다고 주장한다. 그리고 나는 실수가 양의 비율이라는 그의 견해는 수들의 본성이 다양한 맥락에서 수들이 하는 공통된 역할 내에서 이해되어야 한다는 그의 방법론적 원칙으로부터 유래하였다는 것, 그리고 그는 그런 식의 정의 없이는 수의 보편적 적용 가능성도 적합하게 설명될 수 없다고 생각했다는 것을 보일 것이다.

• Journal of Nutrition and Health
• /
• 제43권4호
• /
• pp.404-412
• /
• 2010

2009년 1월부터 12월까지 서울 강남지역 시장, 대형 마트 및 백화점 등에서 유통되고 있는 채소류에 대해 잔류농약을 분석하여 잔류농약 위해성 평가를 실시하였다. 1) 유통 채소류 6,583건에 대하여 동시 다성분 잔류농약 모니터링 결과, 엽채류가 4,972건 (75.5%)으로 가장 높은 비율을 차지하였으며 과채류 629건 (9.6%), 엽경채류 581건 (8.8%), 근채류 401건 (6.1%)순이었다. 전체 채소류 중 농약 검출율은 12.7% (834건)이었고, 이중에서 잔류허용기준을 초과한 시료는 2.1% (136건)으로 나타났다. 채소류 중 들깻잎이 농약 검출률과 허용기준 초과율이 가장 높게 나타났다. 2) 유통 채소류 중 농약 잔류허용기준을 3회 이상 초과한 농약은 총 16종이었으며 이 중 endosulfan이 24회로 가장 많았다. 이는 전체 부적합 횟수 중 16.0%를 차지하였으며, 다음으로 diniconazole 22회, paclobutrazol 15회, kresoxim-methyl 9회, etoprophos 8회, diazinon 7회, chlorpyrifos 5회, carbendazim이 5회 잔류허용기준을 초과하였다. 이들 농약은 최저잔류 허용기준이 대체적으로 다른 농약보다 낮은 경우가 많았으며, 잔류허용기준을 초과한 상위 3개 농약이 40.7%로 거의 절반을 차지했다. 가장 많이 검출된 농약은 procymidone으로 189건의 시료에서 검출되었다. 3) 농약잔류량과 채소류 평균섭취량 및 ADI로 부터 위해 지수 (HI)를 산출하였다. 결정론적 방법에 의한 위해도는 diethofencarb 7.33%, indoxacarb 5.13%, EPN 3.96%, diniconazole 3.92%, chlorothalonil 3.09%였으며 기타 농약은 모두 3% 이하로 나타났다. 몬테카를로 시뮬레이션 분석결과 잔류농약의 위해도 분포는 결정론적 분석결과와 비슷한 값을 나타내었으나, 95% 신뢰구간의 폭은 매우 넓게 나타났다. 그러나 위해도지수가 0.07~9.49% 범위에 있어 농약잔류허용기준을 초과한 성분에 기인한 인체 위해도는 낮아 대체적으로 안전한 수준으로 판단된다. 하지만 본 연구는 채소류에만 국한된 연구이므로 잔류농약이 포함된 농산물 섭취로 인한 안전성 확보를 위해서는 농약잔류 허용 기준이 합리적으로 설정되어야 할 뿐만 아니라 위해성 평가 및 모니터링이 효과적으로 수행되어야 할 것이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권6호
• /
• pp.661-683
• /
• 2001

오늘날 멀티미디어 정보의 양이 매우 빠른 속도로 증가함에 따라 비디오 데이타베이스에 대한 효율적인 관리는 더욱 중요한 의미를 가지게 되었다. 그리고 초고속 정보통신망과 디지털 기술의 발전은 비디오 데이타를 통신 및 컴퓨터와 결합하여 새로운 멀티미디어로 발전하고 있으며, 인터넷 방송, 주문형 비디오(VOD) 등에 크게 활용하고 있다. 비디오는 대용량적인 특성과 비정형적인 특성을 가지고 있으므로 신속하고 효율적으로 비디오를 검색하기 위해 비디오의 정확한 특징정보를 추출하여 비디어 데이타베이스를 구축하여야 한다. 비디오 데이타베이스는 텍스트 기반의 전통 데이타베이스와는 다른 모델링 방법과 검색방법을 사용한다. 따라서, 비디오 데이타베이스에서의 검색속도와 정확도를 향상시키기 위해서는 새로운 비디오 데이타베이스 생성기법과 효율적인 검색기법이 필요하다. 본 논문에서는 비디오의 의미적 구조와 사전 제작지식정보를 구조적으로 축적할 수 있는 내용기반 비디오 데이타베이스의 구축 방안과 생성기법을 제시하였다. 그리고 제안된 비디오 데이타베이스의 구축 방안과 생성기법을 사용하여 새로운 인터넷 방송 프로그램 컨텐츠 제작에 활용할 수 있는 비디오 데이타베이스를 구현하였다. 이를 위해 비디오 분할과 대표키 프레임 추출 시 비디오의 의미적 구조와 사전 제작지식정보의 상호관계를 기반으로 하여 비디오 데이타의 특징정보를 추출하고, 검색할 수 있도록 주석기반 검색과 내용기반 검색을 통합한 비디오 인덱싱 방법을 제시하였다. 통합된 비디오 인덱싱 방법은 비디오의 하위 레벨에 표현된 내용기반 메타데이타 유형과 비디오의 특징정보 추출이 어려운 상위 레벨에 표현된 주석기반 메타데이타 유형을 동시에 이용하므로 컨텐츠 검색의 성능을 향상시킬 수 있다. 마지막으로 본 논문에서 제시한 비디오 데이타베이스는 비디오의 의미적 구조와 사전 제작지식정보를 구조적으로 축적하여 데이타베이스를 구축하므로 정확한 인터넷 방송 컨텐츠 정보의 축적관리와 구축작업의 효율화가 가능하며, 또한 인터넷 방송 컨텐츠 제작 시 정보공유 및 재이용이 가능하므로 새로운 컨텐츠 제작의 효율성을 높일 수 있다.

• 한국식품위생안전성학회지
• /
• 제35권4호
• /
• pp.291-303
• /
• 2020

해양 생물 유래 독소는 그 치명적인 유독성으로 인해 비단 인류의 건강 뿐만 아니라 양식, 어업, 해양 생태계 전반에 걸쳐 경제적 손실을 비롯한 부정적인 영향을 미친다. 하지만, 종래에 사용되던 해양 독소 검출법만으로는 이를 다 파악하여 위협을 미연에 방지하기에는 아직 부족한 실정이다. 본 논문에서는 해산물의 해양 독소 잔존 여부를 판별하기 위해 종래에 사용되었던 시험법들의 한계를 개선하고자 각종 나노 재료 및 신규 기술들이 도입된 신속 검출법들에 대해 조사했으며, 대표적인 연구 결과들을 선정하여 사용한 나노 입자 및 전략에 대해 서술하였다. 특히 이러한 생물 유래 독소의 검출 기술을 대중화시키고 상용화하기 위해서는, 이를 생성하는 생물군으로부터 독소를 추출하는 전처리 과정을 간소화하는 것이 매우 중요하다. 해당 문제를 해결하고자 다양한 연구에서 표적 독소와 특이적으로 결합하는 항체를 고정화한 자성 나노 입자 기반의 전처리법을 보고했으며, 더 나아가 자성 나노 입자의 촉매 특성까지 활용해 검출 감도를 높이는 다양한 연구들도 발표되었다. 또한, 기존 효소 기반의 비색법의 검출 한계를 낮추고 검출 시스템의 안정성을 높이기 위해 양자점과 같은 형광 나노 입자를 도입하는 보고들도 있었다. 이 외에도 압타머와 나노 입자 복합체 기반의 전기화학 측정법 및 신규 기술들을 사용하고자 하는 연구들도 보고되었다. 하지만 해양 환경의 변화에 따라 생성된 신종 독소에 대한 대처는 아직 미흡한 실정이므로, 해양 독소 유도체 또한 아울러 진단 가능한 검출 기술에 대한 후속 연구가 필요하다.

• 한국미생물·생명공학회지
• /
• 제38권1호
• /
• pp.53-63
• /
• 2010

$\gamma$-PGA는 우리 전통 콩 발효식품인 청국장의 끈적끈적한 점액성 성분의 하나로, 매우 다양한 기능을 가지고 있는 천연물질이다. 이러한 $\gamma$-PGA의 아토피발진 억제 효과를 알아보고자 NC/Nga 생쥐를 사용하여 in vivo 실험을 하였다. BMAC로 유도된 NC/Nga 아토피 피부발진 생쥐에 분자량 300 kDa인 $\gamma$-PGA(PGA-HM)와 이를 저분자화 시킨 저분자 $\gamma$-PGA(PGA-LM)을 경구 투여한 결과 PGA-LM 투여군에서 clinical skin severity score가 유의성 있게 감소하였다. 혈청 IgE 수준은 PGA-LM이 대조군에 비하여 유의적으로 감소하였고, 혈청 IgG1 수준은 대조군에 비하여 감소하였으나 두 군 모두 유의성이 없었다. $CD4^+CD25^+foxp3^+$ Treg 세포가 유도되는 것을 확인하기 위하여, PGA-HM와 PGA-LM를 투여한 NC/Nga 아토피 피부발진 생쥐의 등 부위에서 mRNA를 분리히여 real-time PCR로 foxp3 mRNA 유전자 발현량을 측정한 결과는 대조군에 비하여 PGA-LM 투여군이 약 2배 이상 증가를 나타내었다. 또한 등피부 조직의 조직검사에서도 epidermis의 두께, 비만세포 침윤, 그리고 $CCR3^+$ 세포수 등이 대조군에 비하여 현저히 억제됨을 관찰할 수 있었다. 이상의 결과로 PGA-HM보다 PGA-LM이 BMAC로 아토피 피부염이 유발된 NC/Nga 생쥐에 $CD4^+CD25^+foxp3^+$ Treg 세포를 활성화하여 IgE 및 염증 사이토카인의 생산 및 $CCR3^+$ 호산구의 활성화가 억제되어 아토피조절 효과를 나타내는 것으로 사료되었다.

• 한국인구학
• /
• 제20권1호
• /
• pp.97-128
• /
• 1997

이 논문의 목적은 급속한 경제발전과 산업화 초기단계의 한국사회에서 경력내 직업이동구조가 어떻게 구축되었는가를 밝히는 데에 있다. 생애사 자료에 나타난 직업이동의 개인사들을 분석함으로써 이 논문은 산업화 초기단계인 1954년에서 1983년까지 30년 동안의 성인 남녀의 경력내 연간 직업이동들을 모형화하였다. 상위 비육체노동직업, 하위 비육체노동직업, 자영업, 육체노동직업, 농업의 5개 직업범주를 통하여 연원 이동표상에 나타난 이동형태는 비이동성에 의해 일차적으로 특징지워진다. 그러나 이동의 절대량으로 볼 때 비이동성의 정도는 각 직업군에서 달리 나타나, 요약하면 U자형이라고 볼 수 있다. 전체적으로 연간이동의 형태는 직업간의 거리라는 개념으로 가장 잘 설명될 수 있다. 직업이동의 상대적 형태를 연구하기 위해서 일반적으로 사용되고 있는 대수선형모형의 문제점들을 지적하고 비판하면서 필자는 개념적,이론적 작업과 모형추정의 방법론적 작업을 결합시키는 형태의 대수선형모형을 주장하였다. 이러한 모형은 1) 세대간 이동과 세대내(경력간)이동의 구별을 가능하게 하며, 2) 불평등구조 관점, 노동시장적 관점, 생애사적 관점을 동시에 반영할 수 있는 것이어야 한다. 이동표의 분석에서 출발직업과 도달직업의 상대적 규모 외에 크게 6가지의 개념적으로 구별되는 설명요인들(지속성, 천정, 전통부문, 비육체노동, 대안적 이동경로, 직업간 거리)에 바탕을 둔 모형을 통하여 경력이동의 형태를 분석하였다. 우리사회에서 세대내 직업이동의 상대적 형태는 지속성 요인과 천정효과에 의해 좌우되는 것으로 나타나고 있다. 그러나 세대간 이동의 연구결과와는 달리, 우리사회에서 세대내 (경력내) 직업이동에서는 자영업으로의 대안적 이동경로의 요인이 강하게 작용하고 있는 것으로 나타난다. 세대내 직업이동의 상대적 형태는 다음과 같은 몇가지로 특징지울 수 있다. 첫째, 대각선상에서 일어나는 지속성 요인의 효과가 절대적이다. 지속성 요인의 효과는 서구 선진산업사회에서의 U자형과는 달리 역-J자형으로 나타나고 있다. 둘째, 비육체노동직업과 육체노동직업 및 농업간의 직업간 거리에 의한 부의 이동효과가 명백히 발견된다. 셋째 농업으로부터의 이동은 상대적으로 도달직업의 종류와 상관없이 일어나고 있다. 넷째, 비육체노동직업간의 이동은 상대적으로 매우 높고 쌍방향적이며, 다른 직업군에 대해 배타적이다. 다섯째, 유출과 유입의 양 측면에 있어 자영업은 매우 독특한 기능을 수행하고 있다. 여섯째, 우리사회에서 경력내 직업이동의 상대적 형태는 대각선을 중심으로 비대칭적이다.

• 농업과학연구
• /
• 제35권1호
• /
• pp.101-118
• /
• 2008

트리티케일은 호밀과 밀의 교잡에 의한 작물로서, 방글라데시에서 조사료 및 곡물로 재배가능하나 농가재배는 아직 시범단계에 있는 상태이다. 본 논문은 방글라데시농업에 있어서 비전통적인 작물로서 트리티케일의 재배 현황을 검토하고 최근 몇 년간의 시험연구 자료에 의거하여 트리티케일이 축산조사료와 곡물사료로 사용됨에 따르는 경제성을 비교하였다. 트리티케일과 밀 옥수수 재배의 수익성을 비교한 결과 트리티케일이 가장 높고 다음은 옥수수, 밀의 순으로 나타났다. 트리티케일의 재배대안별 수익성은 파종후 2회(파종후 35일째와 50일째 절단) 조사료로 절단 재배(4.9~20.2 t/ha)하고 이어서 곡물(1.1~2.4 t/ha)로서 재배하는 경우가 가장 높게 나타났으며, 이때 B/C ratio는 1.62로 나타나서 경제성이 있다는 것을 입증했다. 한편 시범농가재배결과에 의하면 트리티케일을 젖소의 조사료로서 사용한 경우가 볏짚을 사용한 경우보다 젖소의 우유생산량과 젖소의 체중을 36~46% 포인트 증가시키는 결과를 가져왔다. 아울러 트리티케일은 방글라데시 양계사육에 있어서 밀을 대체할 수 있는 좋은 곡물사료로 나타났다. 시험연구결과와 시범농가재배결과에 의하면 트리티케일을 조사료와 동시에 곡물로 이중목적으로 재배하는 것이 방글라데시 축산업에서 만성화 되어있는 조사료부족(특히 건기)현상을 경감할 뿐 아니라 소규모 방글라데시 농가의 소득에도 기여할 수 있는 잠재성이 있다고 판단된다.

• 한국자원식물학회지
• /
• 제19권4호
• /
• pp.491-496
• /
• 2006

18종의 한약재 MeOH 추출물과 EtOH 추출물의 Staphylococcus aureus에 대한 항균력을 조사한 결과 하고초, 소목, 오배자 및 향유는 5mg/ml 수준에서 항균활성을 나타내었으며 지실, 금은화 및 황금 등은 10mg/ml, 오미자, 초두구 및 희렴 등은 30mg/ml 이상에서 항균성을 보였다. 최소저해농도는 MeOH추출물에서는 $1{\sim}34mg/ml$, EtOH추출물에서는 $1{\sim}46mg/ml$ 농도에서 항균활성을 보였으며 분획 층 중 EtOAc층에서 성장억제효과가 가장 높게 나타났다. 항균력이 가장 우수한 것으로 확인된 소목, 오배자 및 황금추출물의 미생물 증식억제 효과를 조사하기 위해 증식배지에 각각의 추출물을 0, 100, 300 및 500ppm의 농도로 첨가하여 균주의 증식을 조사한 결과 배양후 24시간에 소목 추출물 무첨가구의 $OD_{620}$값이 0.4인 반면 100ppm 이상의 추출물 첨가 시 $0.02{\sim}0.03$정도로 균증식이 현저히 억제되었고, 오배자 추출물 무첨가구의 $OD_{620}$값이 0.4인 반면 300ppm 이상의 추출물 첨가 시 $0.02{\sim}0.03$정도로 균증식이 현저히 억제되었으며 황금 추출물 무첨가구의 $OD_{620}$값이 0.4인 반면 300ppm 이상의 추출물 첨가 시 $0.02{\sim}0.07$ 정도로 균증식이 현저히 억제되었다. 이상의 결과로 볼 때 제대염, 부종성 피부염 및 관절염 등의 다양한 가축질병을 일으키는 Staphylococcus aureusi의 감염을 예방하거나 또는 치료할 수 있는 한약재 추출물 사료첨가제의 개발 가능성을 확인 할 수 있었다.

• 만화애니메이션 연구
• /
• 통권39호
• /
• pp.1-25
• /
• 2015

일본 애니메이션에서 마법소녀 장르는 자주 등장하는 장르 중에 하나이다. 마법소녀 장르의 특징은 주인공 대부분이 나이가 어린 소녀이며, 이 소녀는 일반적인 소녀들과 달리 특수한 능력을 갖춘 캐릭터로 활약하는 점이다. 기존 일본 애니메이션 소비계층은 남성이었으나, 마법소녀 장르가 탄생하면서 여성들도 애니메이션 소비계층이 되었으며, 마법소녀 장르는 쇼죠 아니메가 탄생하게 되는 계기가 되었다. 최초의 쇼죠 아니메 및 마법소녀 장르로 1966년 <요술공주 세리>이었으며, <요술공주 세리> 방영 이후 큰 흥행을 거두게 된다. <요술공주 세리> 흥행에 따라 새로운 마법소녀 장르 애니메이션들이 TV에서 계속 방영하게 되었으며, 1982년 <요술공주 밍키>와 1992년 <미소녀전사 세일러 문>이 큰 흥행을 거두게 된다. <미소녀전사 세일러 문>의 경우 일본뿐만 아니라 전 세계적으로 흥행한 작품으로 2014년 TV 애니메이션 <미소녀전사 세일러 문 Crystal>로 방영되어 마녀소녀 장르는 일본 애니메이션 시청자로부터 오랫동안 사랑을 받아왔으며, 현재도 꾸준히 TV에서 방영되고 있다. 마법소녀 장르의 작품들을 살펴보면 주인공으로 등장하는 마법소녀들은 자신이 살고 있는 세상의 평화를 위해 싸우거나 또는 모험을 떠나거나 혹은 자신이 원하는 이상적인 목적을 위해 활동한다. 그러나 <마법소녀 마도카☆마기카>에서 등장하는 마법소녀들은 세상의 평화를 위해 활동하는 것이 아니라, 오히려 자신의 이익과 목적을 위해 활동하는 모습이 나온다. <마법소녀 마도카☆마기카>에서 마법소녀들은 마녀와 마녀의 사역마를 퇴치하지만, 그 결말은 매우 끔찍한 모습으로 나타난다. 마법소녀들이 퇴치하던 마녀는 본래 마녀가 아니었고, 과거에 활동하던 마법소녀들이었다. 마법소녀들은 과거에 마법소녀였던 마녀에 대해 마녀사냥을 하게 된 것이었다. 기존 마법소녀 장르에서 마법소녀와 마녀는 적대적인 관계였으나, <마법소녀 마도카☆마기카>는 마법소녀가 마녀로 되어야 하는 모순이 발생한다. 마녀는 처음부터 존재한 것이 아니라 누군가 마녀로 되어야 했고, 그녀들은 마녀사냥을 당해야만 했던 점에서 마녀사냥이 발생하는 이유는 퇴치당해야 할 대상이 처음부터 존재한 것이 아니라 존재했어야 했다. 따라서 본 논문은 마녀사냥에 대한 역사적 기원과 <마법소녀 마도카☆마기카>에서 마녀에 관한 연구로 통해 마녀의 존재에 대해 고찰하고자 하였다.

• 만화애니메이션 연구
• /
• 통권36호
• /
• pp.147-165
• /
• 2014

2000년대 초를 거치면서 리얼리티 기반의 컴퓨터 그래픽스의 발달과 함께 서구를 중심으로 메인스트림 장편 애니메이션은 핸드 드로운(hand-drawn) 방식에서 점차 3D 컴퓨터 그래픽스 사용으로 변화됐다. 전통적으로 드로잉 방식의 애니메이션은 원, 삼각형 등 단순한 형태로 추상화 된 캐릭터들의 독특한 움직임에서 다른 예술장르와 차별화되는 미적 고유성을 찾았다면, 컴퓨터의 사용은 그 움직임의 자동화 방식과 리얼리티 지향의 그래픽으로 인해 그와 같은 애니메이션의 미적 특성을 저해한다는 논란이 있어왔다. 3D 컴퓨터 그래픽스의 제작방식의 도입은 애니메이션의 액팅 스타일에도 많은 변화를 가져왔다. 우선 실제 인간의 운동 메커니즘과 유사한 리깅(rigging)방식을 보면 3D 캐릭터의 액팅 스타일의 변화를 추적해 볼 수 있다. 핸드 드로운 애니메이션의 경우 캐릭터의 머리카락, 옷 등은 소품이 아닌 캐릭터의 일부로써 액팅을 했다면, 이제 머리카락, 옷 등은 시뮬레이션 되기 때문에 애니메이터에겐 오직 캐릭터의 몸만이 액팅 대리물이 됐다. 다음으로 애니메이션의 특징이라 할 '스트레치 앤 스쿼시(stretch and squash)'의 과장된 움직임을 매체의 특성과 관련해 생각해 보면, 한 프레임씩 수작업으로 그려지는 바, 미세하게 나타나는 선의 떨림은 피할 수 없다. 이 떨림은 묘한 미적효과로도 기능하지만 동시에 이를 감추기 위해 과장된 움직임은 필연적인 것일 수도 있다. 이와 다르게 수학적인 움직임 계산으로 매끄러운 움직임의 표현이 가능한 소프트웨어의 사용은 다소 이분화 된 액팅 방식을 보인다. 기본적으로 사람과 같은 움직임에서 과장 된 제스처로 액팅하거나 또는 정적이며 절제된 동작으로 감정을 연기한다. 또한 z축의 깊이 공간을 추가되고 캐릭터를 직관적으로 움직임일 수 있는 컴퓨터 그래픽의 편리성은, 뛰어난 드로잉 아티스트를 넘어 뛰어난 연기 지도자가 될 것을 애니메이터에게 요구 한다. 특히 캐릭터의 감정표현과 관련해 디지털 테크놀로지의 새로운 표현양식은 애니메이터에게 액팅의 유형과 관련 넓은 선택을 제공한다. 이는 애니메이션에 있어 동작 위주의 액팅 스타일에서 내면적 감정 표현으로의 연기 영역의 확장을 의미한다.