• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.109-123
• /
• 2007

본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.

• The Korean Journal of Archival Studies
• /
• no.59
• /
• pp.277-320
• /
• 2019

'Memory discourse' takes an important role in the paradigm shift of archival science. Memory points to the limitation of 'records as evidence' that had been assumed to be representable and redefines the record as an infinite interpretable medium by captured memory. Now, recordkeeping are given a new question as 'what world to remember' beyond 'how to remember the world' between 'visible' records and 'invisible' memories. And, the power of memory's personal, present, and everyday aspect is linked to the argument that the keeping of memory and records itself can take a social justice role. In this article, we examine the western archival science's memory discourse landscape comprehensively and reconstruct it to examine the possibility of memories' social justice or archival justice.

• Annual Conference on Human and Language Technology
• /
• 1996.10a
• /
• pp.222-228
• /
• 1996

기존의 미등록어 추정 방법은 대부분 단일 어절 접근 방법으로 단일 어절에서 추출할 수 있는 추정 정보가 부족하여 과분석과 오분석의 가능성이 높았다. 그래서 동일 미등록어를 가진 어절들을 동시에 분석하는 유사 어절 접근 방법이 제시되었다. 그러나 이 방법도 유사 어절의 범위를 조사나 어미만 다른 어절로 정의함으로써 수집될 수 있는 유사 어절의 수가 제한되어 대략의 텍스트에서만 적용이 가능하였다. 이에 본 논문은 유사어절을 동일 음절열을 공유하는 어절들로 확장 정의하여 작은 크기 N의 텍스트 윈도우에서 유사 어절의 발견 가능성을 높임으로써 실시간으로 미등록어를 추정할 수 있게 하는 방법을 제시한다. N을 100으로 한 실험결과는 미등록어 추정 정확도가 99.3%였고 재현율은 약 32%였다.

• Information and Communications Magazine
• /
• v.30 no.3
• /
• pp.67-72
• /
• 2013

본 고에서는, 미래 인터넷 (Future Internet) 연구에 있어서, 가장 많은 관심과 가능성 예측에 기반한 실제적인 투자를 이끌어 내고 있는 두 개의 주요 핵심 기술 분야인 콘텐츠 중심 네트워킹 (Content-Centric Networking: CCN)과 소프트웨어 정의 네트워킹 기술 (Software-Defined Networking: SDN)의 접목에 대해서, 그 배경과 당위성 그리고 관련 연구 동향을 살펴 본다.

• The KIPS Transactions:PartD
• /
• v.18D no.1
• /
• pp.23-34
• /
• 2011

Refactoring has been actively used in recent software developments. Many studies on the processing of more large scaled composite refactorings have been conducted through the composition of elementary refactorings. It is important to verify the possibility of composition before the refactoring is performed, because the composite refactorings are processed to the sequence of composed elementary refactorings. In conventional studies, they verify the possibility of composition using the precondition of composite refactorings which are computed from the precondition and postcondition of elementary refactorings. They can not verify the possibility of composition in case which composite refactorings do not have a specification of precondition. Thus, we plan to verify the possibility of composition by using the elementary refactorings only without any additional definitions of the preconditions of composite refactorings. To achieve this goal, we proposes a specification method of elementary refactorings and a method for the composition check of refactorings. Then, we develop a prototype tool based on these methods. In addition, we verify the efficiency of our methods through case studies.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.476-476
• /
• 2021

도시화로 인한 불투수율 증가는 자연 물순환을 왜곡시켜 표면 유출량 증가, 침투량 감소, 증발량 감소 등을 야기한다. 뿐만 아니라 도시화로 인한 인구밀도 집중은 배출오염물질의 평균 농도와 물 사용량을 증가시켜 인공 물순환의 왜곡을 초래한다. 왜곡된 물순환의 회복을 위해 건전한 도시 물순환의 정의를 정립하는 것은 필수적이다. 본 연구는 물순환과 관련된 문헌조사와 평가 분석 방법을 검토하여, 건전한 도시 물순환을 지속가능성, 공평성, 안전성, 효율성 측면에서 시간, 공간, 이해관계자들이 균형을 이루는 것에 초점을 맞추고자 한다. 과거와 현재 상태, 그리고 미래 기후변화시나리오 적용 시 어떤 변화가 있으며, 이에 따른 물순환 관리체계가 확보될 수 있는 모습, 공간적 측면에서 물의 수평적·수직적 이동이 치우침이 없는 모습, 수요자 입장에서 가뭄이나 홍수로 인한 재산·인명 피해가 최소화된 모습, 공급자 입장에서 수량·수질 관리체계가 확보된 모습을 각각 지속가능성, 공평성, 안전성, 효율성으로 정의 내렸다. 도시 물순환의 적절한 상태를 제안하기 위해서 도시 물순환의 지표로 증발산율, 지표수유출률, 지하수유출률, 침투율로 선정하였다. 앞서 언급한 네 가지 측면(지속가능성, 안전성, 공평성, 효율성)에서의 모습과 네 개의 지표 상태를 비교하여 균형 잡힌 도시 물순환의 상태를 제안하고자 한다. 정의에 제시된 네 가지 측면에 대한 하위 항목은 WAMIS, KOSTAT 등을 통해 조사하고 국내 주요 도시와 서울대학교 관악캠퍼스 내에서 분석하고자 한다. 본 연구를 통해 도시 정책 설립 및 이해관계자들에게 수문학적 관점에서 건전한 도시화의 방향을 줄 수 있을 것이다.

• Land and Housing Review
• /
• v.15 no.2
• /
• pp.19-28
• /
• 2024

This study analyzes the potential to achieve carbon neutrality through the technical definition and case studies of carbon-neutral buildings. In line with the Paris Agreement of December 2015, the global community has committed to limiting the average temperature rise to below 2oC and striving to restrict it to 1.5oC above pre-industrial levels. Achieving this requires reaching a net-zero state by 2050 and necessitates transitions across various sectors including energy, land use, and transportation. This research explores the technological approaches and real-world examples of carbon-neutral buildings, assessing their feasibility and limitations. By examining the definition of carbon-neutral buildings and presenting various technological solutions and case studies from both domestic and international contexts, this study evaluates the effectiveness and practicality of carbon-neutral buildings. The findings offer specific guidelines for the design, construction, and operation of carbon-neutral buildings and provide practical information for policymakers and practitioners aiming to create sustainable built environments.

• Journal of the Korean Chemical Society
• /
• v.53 no.1
• /
• pp.62-72
• /
• 2009

In this study, entropy definition and explanation in twelve general chemistry textbooks published in USA including what Korean universities select are analyzed. Analysis consists of two parts. One is diachronic analysis which focuses on the change between editions of same authors and the other is contents analysis composed of three sections‐ disorder in entropy definition and explanation, microstates number in entropy definition and explanation, possibility of alternative conception in learning statistical entropy and thermal entropy. As a result, the definition that entropy is the measure of disorder is denied and explanation using microstates number is introduced. Also, caution for the possibility of alternative conception that there are two different entropies is found. Reflecting the change in entropy explanation on new chemistry curriculum and reeducating teachers are meaningful on improvement of Korean chemistry education.

• Journal of Popular Narrative
• /
• v.25 no.2
• /
• pp.73-116
• /
• 2019

In recent years, television dramas have adopted an emerging approach of imagining a just society via fantasy. This study set out to examine by stages the patterns of social justice in I Hear Your Voice, Pinocchio, and While You Were Sleeping written by Park Hye-ryeon, who has been leading this trend. I Hear Your Voice shows why social justice is needed, as it is set against the backdrop of a society in which legal justice has collapsed. In this drama, the collapse of the legal justice system indicates that democratic society is falling apart at the roots. As a result, pain and suffering is propagated among the petit bourgeois, with social justice being demanded as an alternative to this problematic reality. The supernatural power of reading the thoughts of others is used to remind viewers of the value of truth and trust and raises the possibility of the existence of a true heart as an alternative from a social justice perspective. Set in a society in which media justice is distorted, Pinocchio makes an attempt at changing ideas about social justice. In this drama, the corrupt media justice covers up truth and becomes a parasite to power, creating victims that are falsely accused. In this situation, the Pinocchio Syndrome, which makes people hiccup when telling a lie, shows paradoxically that truth can be distorted, and ultimately destroys absoluteness that is not truth. Finally, While You Were Sleeping inherits the world views of the two previous dramas and proposes a type of social justice called 'common good' as an alternative. A completely unfair society is created when legal justice collapses and media justice is distorted. In this situation, the ability to see the future is an ability to imagine a world of possibilities. Altruistic choices based on trust in others help us to realize a positive future. Social justice as common good to enable solidarity among subjects in a way that transcends the limitations of time and space is proposed as an alternative to overcome the problem of an unfair society. Given the recent reality of South Korean society, this common good and these ways of life might literally seem like a fantasy. When social justice is represented by efforts and reconstruction processes to overcome the current social issues and make a better future, common good based on the understanding and sympathy of others can be an alternative to improve a reality that is problematic at its root. Ultimately, Park's three works explore the feasibility of a just society that is yet to come from the aspect of the common good.

• School Mathematics
• /
• v.15 no.4
• /
• pp.667-682
• /
• 2013

Though teachers' lesson plays, this article analysed teachers' knowledge for mathematical teaching about mathematical definitions and their pedagogical difficulties in teaching defining. Although the participant teachers didn't transmit definitions to students and suggested possible definitions of the given geometric figure in their imaginary lessons, they didn't teach defining as deductive organization of properties of the geometric figure. They considered mathematical definition as a mere linguistic convention of a word, so they couldn't appreciate the necessity of deductive organization in teaching definitions, and the arbitrary nature of mathematical definitions. Therefore, for learning to teach definitions differently, it is necessary for teachers to reflect the gap between the everyday and mathematical definitions in teachers'education.