• Journal for History of Mathematics
• /
• v.24 no.2
• /
• pp.17-30
• /
• 2011

This study inquires into the change between two method of indivisibles, which Cavalier suggested. To cope with the objection of use of indivisibles, he modified his first method of indivisibles. Through the analysis of this transition, this study reveals the feature that Cavalier changed into reflecting the density of the figures so as to avoid the paradox related to the indivisibles and this change has the aspect of incomplete lemma-incorporation method according to Lakatos' theory.

• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 2003.11b
• /
• pp.310-311
• /
• 2003

본 연구에서는 폐수산자원인 불가사리와 조개껍질 분말을 이용한 탈수보조제(물리개량제)의 가능성을 확인하였다. 불가사리와 조개껍질을 이용한 탈수보조제는 유가자원 소모라는 기존의 탈수보조제의 문제점을 보완하여 폐자원의 자원화라는 이점이 있으며 탈수케이크의 함수율을 효과적으로 낮추어 주어 소각등의 후속공정에 도움을 줄 수 있는 것으로 사료된다. 뿐만아니라 천연 비료로 사용되어지는 불가사리의 활용이라는 점에서 탈수슬러지 퇴비화등 자원 재이용에의 적용성 또한 증대시킬 수 있다.

• Feed Journal
• /
• v.4 no.2 s.30
• /
• pp.34-35
• /
• 2006

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.3
• /
• pp.149-155
• /
• 2022

The view of not fully denying the application of accomplice regulations to non-punishable opponents has fallen into a formal and logical circular argument that only provides formal grounds for non-punishment and has failed to provide practical grounds. In addition, it can be said that it has a criminal policy problem contrary to the legal sentiment of the general public by not punishing the active government travel activities of non-punishable accomplices. Therefore, in order to solve this problem, it is necessary to respect the legislator's intention that general non-punishment accomplices can be punished if they exceed the 'minimum government travel commission'. Therefore, if an unpunishable accomplice acts at least within the act required to realize the constituent requirements, the application of the accomplice regulations shall be excluded, and the accomplice regulations shall be applied only if they exceed that extent. In addition, if the indispensable counterparty is a protected person or has no responsibility (possibility of expectation), it can be said that it has provided a practical basis for the inability to punish, so it can be understood as impossible to punish. This interpretation method is thought to be able to present concrete validity in marginal cases where the counterparty is more responsible by substantially presenting the basis for an unpunishable accomplice.

• The Critical Review of Religion and Culture
• /
• no.32
• /
• pp.257-287
• /
• 2017

It seems to be quite an ambitious endeavor to trace back the translation history of Catholic Vulgate Bible from Latin language to Asian languages since 16th century. I try to bring out the translation(translative) procedure of Latin Bible to the Chinese Version, which is eventually come up (and the latter)to the Korean Version. It has been supported and funded by the National Research Foundation of Korea. This task has a three-year plan. For the first step(operation), I examined and searched the European situation of the Vulgate Bible in the Catholic Church, i.e. the ritual use of Vulgate Bible in the Mass and the religious retreat. The liturgical texts, to begin with, were analysed to disclose how the Vulgate Bible was reflected in them. The Lectionary and the Evangeliary were the typical ones. The structure or the formation system of the Lectionaries for Mass was based on the liturgical year cycle. From this point, the Vulgate Bible was rooted in the religious life of European Catholics after the Council of Trent which had proclaimed the Vulgate to be authentic source of the Revelation, therefore, to be respected as the only authoritative Bible. How did the Catholic Church use the Vulgate Bible out of the context and the boundary (sphere) of liturgy? The Meditation guide books for the purpose of instructing the religious retreat was published and (diffused) circulated among the priests, the religious persons and even the laymen. In those books also were included (found) the citation, the interpretation and the commentaries of the Vulgate Bible. The most of the devotees in Europe read the biblical phrases out of the meditation guide books. There are still remained the unsolved problems of how to understand (for understanding) the actual aspect of the Vulgate Bible in the European Catholic Church. All the Biblical verses were translated into French and included in the meditation guide books published in France. What did the Holy See think the French translation of the Vulgate Bible? Unfortunately, there were not found the Vatican Decrees about the European translation of the Vulgate Bible. The relationship between the Vulgate Bible and the Meditation guide (Those) will be much important for the study of Chinese translation of it. The search for the Decrees and the researches on it and the European and the non-European translations of the Vulgate Bible will be a continuous task for me as well as the other researchers on these subjects in the future.

• Journal for History of Mathematics
• /
• v.23 no.2
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.115-128
• /
• 2009

In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.

• Journal of Korean Medical classics
• /
• v.18 no.4 s.31
• /
• pp.120-133
• /
• 2005

${\ulcorner}$금궤요약${\lrcorner}$중언급일년십이개월중(中言及一年十二個月中), 매개월도유응금식적식품(每個月都有應禁食的食品). 여정월응금식총(如正月應禁食蔥), 이월응금식수삼(二月應禁食水蔘), 삼월응금식소산등(三月應禁食小蒜等). 저시인위(這是因爲), 여식품적성질상배적월분중진식해식품(與食品的性質相配的月分中進食該食品), 대인체유해(對人體有害). ${\ulcorner}$금궤요약${\lrcorner}$중언급주여비채(中言及酒與菲菜). 생총여봉밀등음식물(生蔥與峰蜜等飮食物), 불가일기식용(不可一起食用). 인해식품약일기식용(因該食品若一起食用), 기식성대인체유해(其食性對人體有害). ${\ulcorner}$금궤요약${\lrcorner}$중언급잉부적음식금기(中言及孕婦的飮食禁忌). 여과다식용순채혹무청근등(如過多食用蓴菜或蕪靑根等), 회사인생병(會使人生病); 약잉부식용생강(若孕婦食用生薑), 이생륙지아(易生六指兒). 종상소술(綜上所述), ${\ulcorner}$금궤요약${\lrcorner}$중언급료다종음식금기(中言及了多種飮食禁忌). 여대야채여곡식적금기상(如對野菜和穀食的禁忌上), 요구일종식품불가장시간식용(要求一種食品不可長時間食用); 양종혹다종식품역불가일기식용(兩種或多種食品亦不可一起食用); 대어잉부(對於孕婦), 혹자여야만등특정시간단(或者如夜晩等特定時間段), 야유불가진식적식품(也有不可進食的食品).

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.839-840
• /
• 2015

IPM(Interior Permanent Magnet) 모터는 마그네틱 토크와 릴럭턴스 토크를 이용하는 모터이다. 이런 IPM 모터에 쓰이는 영구 자석 중 희토류 자석은 온도에 취약한 특성이 있어 낮은 온도에 비해 높은 온도에서 더 쉽게 불가역감자가 발생할 수 있다. 또한 페라이트자석에 비해 상대적으로 가격이 비싸 희토류 저감 IPM 모터 개발이 지속적으로 진행되고 있다. 따라서 본 논문에서는 희토류 저감 IPM 동기모터의 영구자석 위치를 변화한 3가지 U자형 2층 IPM 모터 모델을 선정하여 회전자 전류의 크기 및 위상 그리고 약자속 제어를 고려한 불가역 감자 특성을 비교 및 분석하였다. 이렇게 분석한 결과를 바탕으로 IPM 설계 시 불가역감자에 강인한 설계 방법에 대하여 고찰하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.213-216
• /
• 2010

불가사리로 인한 어업 피해액은 연간 100억원에 이른다. 전복과 조개 등 어패류를 먹어치우는 불가사리는 강한 번식력에 어장 황폐화의 원인이 되고 있다. 불가사리는 해양 생태계에 뚜렷한 천적이 없고 세계적으로 불가사리의 개체수가 늘어나고 있는 것으로 추정하고 있다. 아무르불가사리는 단일 색상이 아니고 상황에 따라 변하는 변온동물이며, 방사대칭인 특징은 있지만 상황에 따라 외형이 많이 달라지므로 인식하기가 매우 어렵다. 이 논문은 아무르불가사리의 인식을 높이기 위하여 여러 개의 아무르불가사리의 개체들이 있을 때에 아무르불가사리로 인식하기 위한 간단한 기법을 제안하고자 한다.