분할 정복 및 요약해석 기반 JavaScript 프로그램 합성

조정민,조한결,이우석 한국정보과학회 2021 정보과학회논문지 Vol.48 No.6

Program synthesis aims to automatically generate a program that satisfies the user intent expressed in the form of a high-level specification. Recent years have witnessed a surge in interest in applying this technology to a wide range of problems. Program synthesis can help improve software development productivity. In this paper, we present an algorithm for synthesizing Javascript programs from input-output examples. Our approach was based on a synergistic combination of the version space algebra-based approach, which can efficiently solve synthesis problems through divide-and-conquer, and abstract interpretation, which can be used to finitize infinite search spaces. We have implemented our approach and evaluated it in 140 problems of synthesizing string- and integer-manipulating programs. On average, the desirable programs were generated within nine seconds. 프로그램 합성이란 사용자의 의도와 요구에 맞는 프로그램을 자동 생성하는 기술로서, 개발 생산성을 향상시키는데 사용될 수 있다. 본 논문에서는 사용자로부터 입력 받은 입출력 예제를 만족시키는 자바스크립트 프로그램을 자동으로 합성하는 방법을 제시한다. 제시하는 프로그램 합성 알고리즘은 분할 정복에 기반하여 프로그램 탐색을 효율적으로 하는 Version Space Algebra 기반 합성기법에 기반하며, 요약해석(Abstract Interpretation)을 활용하여 무한한 탐색공간을 유한하게 만들어 바람직한 프로그램을 빠르게 찾아낸다. 본 논문에서 제시한 방법을 총 140개의 문자열과 정수 프로그램 합성 문제에 대해 적용해 본 결과, 평균 9초 이내에 원하는 프로그램이 생성되는 것을 확인하였다.

일본어 문학의 자장과 전후 오키나와의 문학 언어

조정민 한국일본학회 2017 日本學報 Vol.110 No.-

Literature from postwar Okinawa (especially novels) not only visualized the Japanese acquiring the transcendental status of the standard language (common language) through the process of commonization and homogenization, but also contributed greatly to the spread of Japanese as a national language in that it promoted the conscious internalization of Japanese. The Okinawan dialect was regarded as an indispensable way to convey ideologies that could not be reproduced in standard language, thereby representing the locality of Okinawa. This process concentrated the focus of public attention on the Okinawan language, and in some cases, the use of the Okinawan dialect, which was of a strategic nature, increased dramatically, yet it was also a phenomenon on the premise of the linguistic identity of Japanese people. Because of this aspect, some researchers have paid attention to the distance between Japanese as the literary language of Okinawa and the local language the writer has acquired, and explained in depth how it affected the writer's language perception and literary form, and how it was involved in the representation of Okinawa. The distance between language and language subjects was a fundamental task of Okinawan literature so much so that the term "Japanese literature of Okinawa" was created in order to emphasize the divergence, discrepancies, and asymmetry between the literary language and writers. In this article, we examine the process of searching for the literary language used by postwar writers of Okinawa, and discuss how the debate and discourse it triggered affected the literary spirit of postwar Okinawa as well as how it was implemented. The process of conflict, fighting, and negotiation surrounding the language of literature can ultimately be expected to be an allegory that represents the relationship between the Japanese mainland and Okinawa. 전후 오키나와 문학은(특히 소설은) 공통화, 균질화 과정을 통해 표준어(공통어)라는 초월적인 지위를 획득한 일본어를 시각적으로 가시화시킨 것은 물론이고 일본어에 대한 의식적인 내면화를 추동했다는 점에서 국가 언어로서의 일본어 보급에 크게 공헌했다. 그 가운데 오키나와 방언은 표준어로는 재현할 수 없는 사상(事象)들을 전달하기 위한 필수 불가결한 방법으로 간주되어 오키나와의 로컬리티를 대변하곤 했다. 이 과정에서 오키나와 말에 대한 세간의 이목은 집중되었고, 또 전략적으로 쓰인 오키나와 방언이 비약적으로 증가한 경우도 있었지만, 그것은 어디까지나 일본어라는 언어적 동일성을 전제한 위에 벌어진 현상이기도 했다. 이와 같은 측면 때문에 일부 연구자들은 오키나와의 문학 언어로서의 일본어와 작가가 체득한 지역 언어 사이의 거리에 대해 주목하게 되었고, 그것이 작가의 언어 인식과 문학 형식에 어떠한 영향을 끼쳤으며 또 오키나와 재현에는 어떻게 관여했는가 라는 문제에 대해 심도 있게 다루어 왔다. 문학 언어와 작가 사이의 괴리와 균열, 비대칭성을 강조하기 위해 ‘오키나와의 일본어 문학’이라는 용어가 만들어질 정도로 언어와 언어 주체 사이의 거리는 오키나와 문학의 근본적인 과제였던 것이다. 이 글에서는 전후 오키나와 작가들이 수행한 문학 언어의 모색 과정을 짚어보고 그로부터 촉발된 논쟁과 담론이 전후 오키나와의 문학 정신에 어떠한 영향을 미쳤으며 또 어떠한 방식으로 구현되었는지에 대해 고찰해 보고자 한다. 문학 언어를 둘러싼 갈등과 격투, 교섭 과정은 궁극적으로 일본과 오키나와의 관계를 대변하는 알레고리이기도 할 것이다.

염료감응 태양전지 효율 개선을 위한 Pt-ZnO 상대전극 최적화

조정민,정노을,이도경,김재홍 한국고분자학회 2015 한국고분자학회 학술대회 연구논문 초록집 Vol.2015 No.10

오키나와 고자시(コザ市)의 장소성과 지역성 - 사키야마 다미(崎山多美)의 『고도의 꿈 속 독백(孤島夢ドゥチュイムニ)』을 중심으로 -

조정민,박영숙 대한일어일문학회 2020 대한일어일문학회 학술대회 발표논문 요지집 Vol.2020 No.11

A-32 : 하수슬러지에 대한 유/무기 폴리머 응집제의 단일 및 이액 주입 방식에 따른 응집 반응 특성과 탈수성 평가 연구

조정민,박주석,한인섭,강성효,홍성민,홍상헌 한국폐기물자원순환학회(구 한국폐기물학회) 2013 한국폐기물자원순환학회 추계학술발표논문집 Vol.2013 No.-

최근 런던협약 96의정서 발효에 따라 하수 슬러지의 해양투기가 금지되고 환경 정책 강화와 향후 에너지 자원 부족을 대비하기 위해 녹색 성장이 강조되면서 슬러지를 재이용화 및 자원화 시키려는 처리 기술방법들이 개발되고 있다. 하수슬러지 처리 공정의 중점은 발생량의 감량화와 개량화를 통해 탈수 효율을 높이기 위함이며 대표적인 전처리 방법으로 물리적인 방법과 화학적인 방법으로 약품 처리하는 것이 일반화되어 있다. 본 논문에서는 폴리머 응집제를 사용하여 총 4종류의 생, 잉여, 소화, 혼합슬러지에 대해서 적합한 유기 및 무기 응집제를 주입한 후 최적의 응집 조건을 선정하여 최종적으로 슬러지 탈수성의 효율을 비교 및 평가하도록 하였다. 혼합슬러지는 생슬러지와 잉여슬러지를 같은 부피 비율로 혼합하여 제조하였다. 최적의 응집 조건을 선정하기에 앞서 기본적으로 Jar Test 실험을 시행하였으며 200rpm에서 1 ~ 3분 완속 교반, 50rpm에서 5분 급속 교반 조건을 제시하였고, 유기 폴리머와 무기 폴리머 응집제의 단일 및 이액 주입 방식에 따라 응집 반응의 특성을 비교하였다. 실험결과는 슬러지 탈수성 및 최적 응집 조건 선정의 지표로서 응집을 형성시키고 방치 후, 고액 분리를 통해서 상등수의 탁도, pH, ORP, SS, 흡광도 (330nm), floc size와 TTF 실험을 하여 탈수성을 측정하였다. 따라서 응집제 주입 방법에 있어서 유기 응집제의 단일 방식 주입과 무기 응집제를 첨가하여 floc의 응결도를 높이는 이액 주입 방식으로부터 탈수성 효율에 미치는 결과를 본 논문에 나타내었다.

노인의 인지기능에 영향을 미치는 생활행태 요인

조정민 한국생활환경학회 2019 한국생활환경학회지 Vol.26 No.4

The purpose of this study was to investigate factors that influence cognitive function by life style in community - dwelling elderly people. The research used data of the elderly 4,286 over 65 years of age from the sixth wave(2016) of the Korean Longitudinal Study of Aging(KLoSA). The predictors using life style were smoking, alcohol, physical activity and social activity. Confounding factors in age, gender, education, family income, chronic disease(hypertension, diabetes, cardiovascular disease, cerebrovascular disease, arthritis & rheumatism) and depression were controlled for analysis. Hierarchial multiple regression was conducted to examine whether life style factors would predict cognitive function by controlling confounding factors. The significant predictors of cognitive function were physical activity(β=.06, p<.001) and social activity(β=.14, p<.001) among life style factors. The result suggest that cognitive function improvement programs for the elderly should be included physical activity and social activity.

3D Printing of PAAm/Alginate Double Network Hydrogels Using Water Dispersible Photoinitiator

조정민,윤화원,여주연,전석진 한국고분자학회 2021 한국고분자학회 학술대회 연구논문 초록집 Vol.46 No.1

이중 네트웍 하이드로젤은 우수한 생체적합성 및 강화된 기계적 물성으로 인공장기 및 인공연골 제작에 적용 가능하다. 인공장기 및 인공연골의 크기와 형상은 사람마다 다르므로 정교한 신체맞춤형 성형이 요구되며, 높은 해상도의 DLP 3D 프린팅 방식은 이러한 목적에 적합하다. 성공적인 DLP 3D 프린팅을 위해서는 빠른 경화시간 확보가 중요한 반면 용해도가 높은 수용성 광개시제의 부재로 인해 하이드로젤 전구체는 빠른 경화시간을 가지기 어렵다. 본 연구에서는 수분산성 광개시제 입자를 제조하고, 이중 네트웍 하이드로젤의 최적화된 전구체에 도입하여 3D 프린팅을 진행하였다. 광개시제 입자는 상용 유기 광개시제의 유화 공정을 통해 제작되었고, PAAm/alginate 이중 네트웍 하이드로젤 전구체에 도입하여 프린팅을 실시하였다. 수분산성 광개시제를 포함한 최적화된 전구체는 30초 이내의 UV 조사에 의해 충분히 경화가 이루어졌고, 이 전구체의 도입을 통해 3D 프린팅을 성공적으로 수행하였다.

The Level of Frailty and Related Factors of the Elderly People who Living Alone

조정민 한국생활환경학회 2018 한국생활환경학회지 Vol.25 No.4

The purpose of this study was to investigate factors affecting frailty among living alone elderly people in community. In this data analysis, data were collected from records for 1,051 elders except those with insufficient data registered in the visiting health management program of a community health center K in 2016. General characteristics (gender, age, drinking, smoking, and regular eating), body mass index, walking exercise, subjective health status, the number of chronic diseases, health related quality of life, depression and cognitive function and frailty were measured. Statistical analyses were performed by SPSS/Win 19.0. As a results, age (β=.10, p=.004), walking exercise(β=-.08, p=.025), subjective health status(β=-0.10, p=.008), health related quality of life (β=-.41, p<.001), depression (β=.17, p<.001), cognitive function(β=-.01, p=.008) are factors affecting the frailty of elderly. These factors should be considered in the development of intervention program for management and prevent of frailty among elderly people in living alone in community.

질산염 및 황산염 집적 염류 토양의 전기역학적 개량

조정민,조성웅,김도형,양중석,백기태,Cho, Jung-Min,Jo, Sung-Ung,Kim, Do-Hyung,Yang, Jung-Seok,Baek, Ki-Tae 한국지하수토양환경학회 2011 지하수토양환경 Vol.16 No.5

The electrokinetic transport characteristics of salts were investigated using nitrate and sulfate accumulated saline greenhouse soil. Within 8 days, 95% of nitrate was removed from the soil, while sulfate removal was 19% for 8 days. The low removal of sulfate came from adsorption reaction on the soil particles or organic matter and precipitation with calcium. Divalent cations such as calcium and magnesium were transported toward cathode via electromigration, and most monovalent cation such as potassium was removed. The pattern of residual electrical conductivity was similar with that of sulfate. Based on the results, electrokinetic technique is effective to restore nitrate-accumulated saline soil, but is not effective to restore sulfate-accumulated soil.

한국인의 아랍어 구술 담화에 나타난 담화표지 사용 양상 연구: KBS World Radio 아랍어 방송 인터뷰를 중심으로

조정민 한국외국어교육학회 2018 한국외국어교육학회 학술대회 자료집 Vol.2018 No.-

본 연구의 목적은 중∙상급 수준의 한국인 아랍어 구사자의 아랍어 구술 담화에 나타난 담화표지 사용 양상을 연구하기 위함이다. 비원어민 화자가 즉각적으로 발화를 생산해 야 하는 경우 원어민 화자보다 발화 중 더 많은 공백이나 발화의 흐름이 끊기는 현상이 나타날 수 있다. 이로 인해 발화의 흐름을 조절하고 시간을 벌 수 있는 담화표지의 효과 적인 사용이 필요하다. 본 연구는 KBS World Radio 아랍어 방송 인터뷰 프로그램인 ‘금 요일이 좋다’에 출연한 한국인들의 아랍어 구술 담화를 중심으로 한국인의 아랍어 담화 표지 사용 양상에 대해 고찰한다.