자연어처리 모델의 예측 편향, 어디에서 왔을까?

박건우(Kunwoo Park) 한국정보과학회 2022 정보과학회지 Vol.40 No.11

국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성

박건우(Kunwoo Park),이주현(Joohyun Lee),송형곤(Hyunggon Song),조규태(Kyu Tae Cho),김윤호(Yunho Kim),김문주(Moonzoo Kim) 한국정보과학회 2019 정보과학회논문지 Vol.46 No.9

국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질향상에 기여하였다. 프로그램의 복잡성이 크고 전체 실행 경로가 많은 프로그램의 경우, concolic 테스팅의 효율을 높일 수 있는 방법(4개의 탐색 전략, LIA 로직)을 제안하였다. 또한, 실무자들이 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안하였다. To improve SW quality of defense weapon system, automatic and systematic generation of test cases is necessary; however, that is not the case in the traditional practice of labor-intensive and manual SW testing. The paper applies concolic testing to the defense weapon system SW, effectively generates test cases that achieve high coverage, and discovers defects which contributes to the improvement in SW quality. Also, two methods are proposed using 4 search strategies in concolic testing and using LIA logic, to increase the efficiency of concolic testing for a program with high complexity. In addition, a symbolic modeling method is proposed as an example to extend concolic testing for practitioners.

온라인 게임 내 최고 레벨 유저의 이탈 분석

박건우(Kunwoo Park),차미영(Meeyoung Cha) 한국정보과학회 2017 정보과학회논문지 Vol.44 No.3

대규모 다중 사용자 온라인 롤플레잉 게임 유저들은 시나리오를 따라 주어진 임무들을 수행하며 최고 레벨을 향해 캐릭터를 성장시킨다. 최고 레벨 유저를 보유하는 것이 온라인 게임의 성공적 운영에 중요함에도 불구하고 이들에 대한 연구는 크게 이루어지지 않았다. 이 연구에서는 5만여명 유저들에 의해 기록된 약 6천만 건의 게임 내 로그 데이터 분석을 통해 유저들이 최고 레벨에 도달하는 과정과 그 이후 게임 이탈 현상을 분석하며, 최고 레벨 유저의 이탈에 영향을 미치는 요인을 이해하고자 한다. 분석결과, 최고 레벨 이전의 행동 패턴을 이용해 최고 레벨 유저의 이탈을 예측할 수 있으며, 최고 레벨 이전에 사회적으로 활발하고 많은 사람들과 대화하는 게이머가 덜 떠난다는 것을 발견하였다(p<0.05). 이 연구는 유저간 소통 패턴이 최고 레벨에 도달한 유저들의 지속적인 사용에 주요한 요인임을 확인하며, 엘리트 유저의 지속적인 게임 이용을 유도하는 실무적 시사점을 제공한다. In MMORPG (Massively Multiplayer Online Role-Playing Game), users advance their own characters to get to the maximum (max) level by performing given tasks in the game scenario. Although it is crucial to retain users with high levels for running online games successfully, little efforts have been paid to investigate them. In this study, by analyzing approximately 60 million in-game logs of over 50,000 users, we aimed to investigate the process through which users achieve the max level and churn of such users since the moment of achieving the max level, and determine possible indicators related to churn after the max level. Based on the result, we can predict churn of the max level users by employing behavioral patterns before the max level. Moreover, we found users who are socially active and communicate with many people before the max level are less likely to leave the service (p<0.05). This study supports that communication patterns are important factors for persistent usage of the users who achieve the max level, which has practical implications to guide elite users on enjoying online games in the long run.

오프라인 평판 정보가 온라인 소셜 플랫폼 유저들의 지속 사용에 미치는 인과 관계 연구

박건우(Kunwoo Park),곽해운(Haewoon Kwak ),차미영(Meeyoung Cha) 한국정보과학회 2017 한국정보과학회 학술발표논문집 Vol.2017 No.12

공용수용절차에서 지장물인 건축물의 보상과 소유권 취득

박건우(Park Kunwoo) 행정법이론실무학회 2021 행정법연구 Vol.- No.65

그동안 토지보상법이라는 공법의 영역에서는 토지와 별도로 건축물의 수용과 보상을 둘러싼 법률문제를 본격적으로 다루고 있는 논의를 찾아보기 쉽지 않았다. 지장물로서 건축물 수용과 보상은 토지수용에 수반하는 부차적인 문제로 취급되거나 마치 토지수용과 동일한 논리가 적용될 수 있는 것처럼 오해되어 온 측면이 있다. 지장물의 처리에 관하여 우리 토지보상법이 채택하고 있는 이전주의 원칙은 일본 토지수용법의 강한 영향을 받아 도입된 것이다. 그러나 철근 콘크리트 건물이 건축물의 주종을 차지하고 있는 현재 우리나라에서 건축물에 대하여 다른 지장물과 무차별적으로 이전주의를 적용하고 있는 것은 현실과 맞지 않다. 입법론과는 별개로, 현행 토지보상법 하에서 지장물인 건축물을 어떻게 처리할 것인가는 두가지 주요한 해석상의 문제점을 안고 있다. 첫번째는 어떠한 경우에 사업시행자가 지장물인 건축물의 소유권을 취득한다고 볼 것인가(소유권 취득의 문제)의 문제이고, 두번째는 지장물을 철거하는 방법은 무엇인가(집행의 문제)이다. 이 글에서는 대법원 2018다277419 판결에서 쟁점이 된 지장물인 건축물의 소유권 취득의 문제를 살펴보았다. 토지보상법에서 수용과 보상의 단위는 원칙적으로 민법의 법리에 따르지만, 그것만으로는 해결할 수 없는 경우도 존재한다. 이러한 경우에는 토지보상법이 헌법으로부터 부여받은 적정한 수용과 정당한 보상의 관철이라는 공법의 목적과 취지를 충분히 고려하여 합리적으로 해석할 필요가 있다. 현행 토지보상법의 해석상으로도 현재의 대법원 판례와 같이 수용재결신청을 좁게 해석하는 것은 타당하지 않다. 법률 규정의 변화에도 불구하고 지장물의 처리에 관한 한국의 실무와 수용재결례는 동일하게 운용되어 왔으며, 폐기형 지장물에 대하여 가격보상을 지급하는 경우에는 사업시행자가 이를 취득하여 스스로 제거할 의사로서 묵시적으로 수용재결신청이 있다고 보는 것이 타당하다. 사업시행자가 토지를 수용하면서 그 지상 건축물에 대한 취득가격을 보상하는 경우는 전체로서의 토지와 그 지상물을 수용목적물로 삼고 있다고 보아야 한다. 이 경우 재결 주문에 등장하는 보상금 역시 전체로서 토지와 그 지상물의 가격 합산액 전체를 기준으로 산정되기 때문이다. 지장물에 대하여 단지 이전만을 명하고 있는 현재의 재결서 주문 작성 실무도 사업시행자에게 전체로서의 토지와 지상 건축물의 소유권 취득을 명하는 형태로 개선될 필요가 있다. In the realm of public law called the Land Compensation Act, it was difficult to find a discussion that dealt with legal issues related to the expropriation and compensation of buildings separately from land. Expropriation and compensation of buildings as obstacles are treated as secondary problems accompanying land expropriation, or have been misunderstood as if the same logic as land expropriation can be applied. The principle of relocation adopted by the Korean Land Compensation Act as a principle regarding the treatment of obstructions was introduced under the strong influence of the Land Expropriation Act of Japan. However, in Korea, where reinforced concrete buildings are the main type of building, it is inconsistent with the reality that relocationism is being applied to buildings indiscriminately from other obstacles. Apart from the legislative theory, there are two major problems in interpretation of how to deal with buildings that are obstacles under the current Land Compensation Act. The first is the question of under what circumstances the project operator will acquire the ownership of the building that is an obstacle (acquisition of ownership), and the second is how to remove the obstacle (execution). In this article, the issue of acquisition of ownership of a building, an obstacle that became an issue in the Supreme Court"s 2018 Da277419 decision, was examined. In principle, the units of expropriation and compensation in the Land Compensation Act follow the jurisprudence of the Civil law, but it must be acknowledged that there are cases that cannot be resolved by that alone. In this case, it is necessary to rationally interpret the Land Compensation Act by fully considering the purpose of the public law, which is the proper expropriation granted by the Constitution and the implementation of fair compensation. Even in the interpretation of the current Land Compensation Act, it is not appropriate to narrowly interpret the application for an expropriation adjudication as in the current Supreme Court precedent. In the case where the project operator compensates the acquisition price for the building on the ground while expropriating the land, it should be considered that the land and the above-ground objects as a whole are the objects of expropriation. In this case, the compensation that appears in the adjudication of expropriation is also calculated based on the sum of the prices of the land and its land as a whole. The current practice of writing a decision order, which orders only the relocation of obstacles, needs to be improved in the form of ordering the project operator to acquire the land as a whole and the ownership of the above-ground building with price compensation.

국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술

박건우(Kunwoo Park),이주현(Joohyun Lee),송형곤(Hyunggon Song),조규태(Kyutae Cho),김윤호(Yunho Kim),김문주(Moonzoo Kim) 한국정보과학회 2018 한국정보과학회 학술발표논문집 Vol.2018 No.12

도시개발법상 사업시행방식의 결정에 관한 법적 문제 - 환지방식과 수용방식의 관계를 중심으로 -

박건우(Park Kunwoo) 한국공법학회 2021 공법연구 Vol.49 No.3

도시개발법은 도시개발사업의 사업시행방식으로 ‘환지방식’, ‘수용방식’, ‘혼용방식’을 명시하고 있고, 그 선택에 관하여 특별한 우열관계나 제한이 없는 것처럼 규정하고 있다(법 제21조 제1항). 실무적 해석은 사업시행방식 중 어느 것을 선택할 것인지, 또는 여러 사업시행방식을 동시에 동원할 것인지는 특별한 제한 없이 사업시행자의 선택에 맡겨져 있는 것으로 받아들이고 있다. 하나의 개발사업법이 서로 다른 기본권 제약의 효과를 갖는 여러 개의 사업시행방식을 규정하고 있는 경우, 어떤 사업시행방식을 선택하느냐는 기본권 제한의 효과와 방법을 결정하는 ‘본질적 내용’이 되므로 적어도 그 선택의 기준은 법률에 의하여 직접 정하여져야 한다. 종래의 실무적 해석과 같이 사업시행방식의 선택을 사업시행자나 구역지정권자의 재량에 전적으로 맡겨둘 수는 없다. 도시개발법의 사업시행방식의 선택에 있어서 행정청에게는 일정한 재량이 인정되지만, 그 재량권 행사에는 법치국가적 원리에 따른 한계가 존재한다. 비록 법령에 명시적으로 규정되어 있지 않다 하더라도 원칙적으로 도시개발구역 지정권자는 당해 도시개발사업의 성격, 규모, 사업기간, 용이성, 사업시행의 주체, 수용대상 토지의 기존 이용상황 등을 종합하여 당해 도시개발사업의 목적을 환지방식으로 달성할 수 있는 경우에는 환지방식을 일차적인 사업방식으로 선택하여야 하며, 환지방식으로 당해 사업목적을 달성할 수 없는 경우에 한하여 수용방식을 선택할 수 있다고 해석하여야 한다. 법 시행령 제43조는 수용방식의 사업을 선택하는 경우로 “계획적이고 체계적인 도시개발 등 집단적인 조성과 공급이 필요한 경우”를 들고 있는데, 단지 “계획적이고 체계적인 도시개발”만을 사유로는 수용방식을 선택할 수 없다고 보아야 한다. 수용방식의 선택은 도시개발사업으로 조성하고자 하는 대지와 건축물의 성격(집단적 조성)에 비추어 수용이 불가피한 경우, 수용방식에 비해 상대적으로 장기의 사업기간을 요하는 환지방식으로는 사업목적을 달성하기 어려운 경우, 사업구역의 특성상 환지설계에 적합하지 않은 경우와 같이 환지방식으로서는 당해 도시개발사업의 목적을 달성할 수 없다는 사정을 충분히 설명할 수 있는 경우이거나, 또는 사업목적의 공익성이 압도적인 경우로 제한되어야 한다. 그리고 혼용방식의 선택에 관하여서는, 행정청이 당해 사업구역 내에서 도시개발사업의 목적실현을 위하여 환지방식과 수용방식을 동시에 동원할 필요성을 설명할 수 있는 경우에 한하여 이를 사업시행방식으로 선택할 수 있다고 보아야 한다. The Urban Development Act states the ‘replotting method’, ‘method of expropriation of land’, and ‘combined method’ as the Methods of Implementation of Urban Development Project, and it is stipulated as if there are no restrictions on the choice. The practical interpretation accepts that whether to choose which of the Methods of Implementation to run, or whether to mobilize multiple methods at the same time, is left to the choice of the implementer without restrictions. If a development law provides for multiple implementation methods, the standards of the choice shall be prescribed directly by law, not by the implementer, since the choice of which implementation method determines the effectiveness and method of limiting fundamental rights. Although certain discretion is recognized by the administrative agency in the choice of the Methods of Implementation by the Urban Development Act, there are limitations under the national principles of the rule of law in the event of its discretion. Even if it is not explicitly stipulated in the laws and regulations, If the purpose of the urban development project can be achieved in an replotting method, that one should be selected as the primary method, and it should be interpreted that the method of expropriation of land can be selected only if the project purpose cannot be achieved by the replotting method. And with regard to the choice of combined method, the administrative agency should at least have a duty to explain why it has to simultaneously mobilize the replotting method and the method of expropriation for the realization of the purpose of the urban development projects within the single urban development zone.

IPv6 기반 Peer-to-Peer 확장 프로토콜

박건우(Kunwoo Park),남민지(Minji Nam),조호식(Hosik Cho),권태경(Taekyoung Kwan),최양희(Yanghee Choi),유태완(Taewan You),이승윤(Seungyun Lee) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅲ

IPv4 주소공간의 고갈 문제를 해결하기 위해 많은 사랑들은 IPv6의 도입을 추진하고 있다. 따라서 본격적인 보급을 눈앞에 두고 있는 IPv6는 6BONE과 갈은 실험망에서 IPv6를 이용하여 개발된 여러 응용프로그램들로 그 성능 및 효용성을 테스트 받고 있다. IPv6 기반 P2P 확장 프로토콜 연구 및 응용 서비스 개발의 일환으로 Distributed Hash Table(DHT)을 이용한 P2P 오버레이 네트워크를 형성하는 툴을 소개한다. 이 툴은 인스턴트 메신저 기능을 함과 동시에 로그인한 사용자 모두를 대상으로 하는 파일 검색 및 공유 기능도 제공한다. 본 논문에서는 P2P 오버레이 네트워크의 구축 과정과 인스턴트 메신저의 친구 목록을 이용한 효과적인 파일 경색 기법을 중점적으로 설명한다.

감성 단어 분석 모듈을 이용한 모바일 소설 네트워크 서비스에서의 성향 판단 시스템 구현

박건우 (Kunwoo Park ),임선열 (SunYeol Lim ),이태양 (TaeYang Lee ),김정훈 (JungHoon Kim ),최웅철(WoongChul Choi) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2D

오늘날 스마트폰의 보급률이 증가하고 있으며 이에 따라 전체 휴대폰 시장에 비해 스마트폰의 비중이 점점 증가하고 있다. 또한 소셜 네트워크 서비스는 오프라인의 사회적 관계망을 온라인에서 구축한 형태로 급속도로 발전하고 있다. 스마트폰과 소셜 네트워크 서비스의 발달로 모바일 소셜 네트워크의 이용자 수는 매우 빠르게 증가하고 있다. 모바일 소셜 네트워크 서비스에서의 인간 관계가 무분별하게 형성되었으며 인간 관계를 판단할 수 있는 시스템이 필요해지고 있다. 하지만 오피니언 마이닝 기법을 사용할 경우 모바일 기기의 컴퓨팅 능력의 한계에 의해 기존의 시스템을 사용하는 것은 부적절하다. 그리고 웹 응용의 경우 모바일 환경에서 사용하는데 제한이 따른다. 따라서 본 연구팀은 소셜 네트워크에서의 발언의 긍정/부정 성향을 판단하는 모듈을 동하여 모바일 소셜 네트워크에서의 성향 판단 시스템을 구현하고 소셜 네트워크의 인맥을 판단할 수 있는 한 기준이 될 수 있는 시스템을 제시하고자 한다. 본 연구팀에서 구현한 성향 판단 시스템의 주요 내용은 1)감정 단어 사전 구축 2)단어 사용 빈도수를 이용한 가중치 측정 3)성향 판단으로 나누어 볼 수 있다. 기존의 학술 자료를 통한 감정 단어 사전을 이용하며 사용 빈도수에 의해 가중치를 부여하여 성향의 신뢰성을 높 인다. 그러한 모듈을 이용한 결과로써 소셜 네트워크 내 멤버의 성향을 제시한다. 본 연구를 통해 모바일 소셜 네트워크 서비스에서 신뢰성 있는 인간 관계를 가져올 수 있는 응용들이 개발될 수 있기를 기대한다.

순환 신경망을 이용한 상담 대화 만족도 초기 탐지 기법

박건우(Kunwoo Park),차미영(Meeyoung Cha),임은희(Eunhee Rhim) 한국정보과학회 2016 한국정보과학회 학술발표논문집 Vol.2016 No.12