예외 처리를 위한 형식 의미론

한정란,Han, Jung-Lan 한국정보처리학회 2010 정보처리학회논문지 A Vol.17 No.4

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics. 프로그래밍언어에 대한 형식 의미를 적절하게 표현하면 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 기존의 자바에 대한 형식 의미 연구는 번역을 위해 정확하고 실제적인 의미 구조를 표현하는데 미흡한 점이 있다. 자바 번역 과정의 효율성을 향상시키기 위해 정적이고 동적인 의미 구조를 정확하게 표현하는 의미 표현법에 관한 연구가 필요하다. 본 논문에서는 기존의 작용식(Action Equations)을 사용해 명세한 연구를 확장하여 자바 언어에 대한 형식 의미를 명세하는 개선된 작용식(Action Equations)을 제시한다. 객체를 다루는 기능은 물론 예외를 처리하는 형식 의미론을 보다 실제적이고 정확하게 명세하게 된다. 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식을 기존의 의미 표현법과 비교하여 본 작용식의 우수성을 확인하고자 한다.

작용 식 기반 통합 점진 해석 시스템 구축

한정란,최성,Han, Jung-Ran,Choi, Sung 한국정보처리학회 2004 정보처리학회논문지 A Vol.11 No.3

소프트웨어가 대형화되고 고도화되어 감에 따라 프로그램 개발 환경에서 프로그래밍 생산성과 효율성을 향상시키기 위해 에디팅. 컴파일링, 디버깅 및 실행을 하나의 통합 환경으로 구축하는 것이 필요하다. 이러한 환경에서 중요한 도구가 되는 것이 점진 번역기이다. 본 논문에서는 소프트웨어의 재 사용성과 생산성을 향상시키기 위해, 에디팅, 디버깅, 점진 해석 및 실행을 하나의 통합 환경으로 구성하여 보다 친근하고 편리하게 사용할 수 있는 사용자 인터페이스를 제공하는 소프트웨어 개발을 위한 통합 점진 해석 시스템을 구축하고자 한다. 객체 지향 언어인 IMPLO(IMPerative Language with Object) 언어를 EBNF 표기법으로 정의하고 이 언어에 대한 점진 해석기를 구현한다. 점진 해석기를 구현하기 위해 정적 의미론을 표현하는 속성 문법을 확장하여 동적인 의미론을 표현할 수 있는 작용 식을 제시한다. 동적 의미 분석 방법에 의해 점진 해석을 수행하고 에디터와 디버거를 가진 통합 점진 해석 시스템을 Lex와 Yacc을 이용해서 C 언어로 프로그래밍하고 SUN에서 X로 구현하였다. 예제 프로그램들의 점진 실행 시간을 전체 프로그램의 실행 시간과 비교했을 때 약 50% 정도의 속도 개선 효과를 거둘 수 있었다. As software is large and sophisticate, in order to increase the productivity and efficiency of programs in programming development environments, it is necessary to support the integrated system that offers user interface integrated editing, compiling, debugging, and running steps. The key tool in such environments is an incremental translation. In this paper, in order to increase the productivity and reusability of software, the goal is to construct the integrated incremental interpretation system that supports friendly user interface with editor, debugger, and incremental interpreter. We define the new object-oriented language, IMPLO(IMPerative Language with Object) using EBNF notation, and construct the integrated incremental interpretation system using incremental interpreter of the language. To do so, we extend attribute grammars for specifying static semantics and present new action equations to describe the dynamic semantics. We executed the incremental interpretation by using analyzing the dynamic semantics and then implemented integrated incremental interpretation system with editor and debugger in C, Lex and Yacc using X windows on SUN. We obtain about 50% speedups in case of incremental execution time for example programs.

멀티태스킹에 의한 병행 점진 평가 방법

한정란,Han, Jung-Lan 한국정보처리학회 2010 정보처리학회논문지 A Vol.17 No.2

하드웨어의 성능이 향상됨에 따라 멀티태스킹 방식으로 병행 처리하는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이 점진 평가인데, 여러 프로세서에서 병렬로 처리하는 대신 자바언어의 멀티쓰레딩 기능을 활용하여 점진 평가의 효율성을 증대시키는 연구가 필요하다. 본 논문에서는 의미 구조에 직접적으로 영향을 주는 변수의 값을 나타내는 속성을 중심으로 종속성을 표시하여 객체 지향언어인 자바 언어에서 병행 점진 평가를 동시에 효율적으로 수행할 수 있는 병행 점진 평가 알고리즘을 제시하고 그 알고리즘의 정확성을 증명한다. 실험을 통해 병행 점진 평가 방법의 효율성을 분석한다. As the power of hardware has improved, there have been numerous researches in processing concurrently using multitasking method. The incremental evaluation is the evaluation method of reevaluating only affected parts instead of reevaluating overall program when the program has been changed. It is necessary to do more studies that improve the efficiency of concurrent incremental evaluation to do multitasking using multi-threading of Java not to do in parallel using multiprocessor. In this paper, the dependency in the dependency chart is based on the attribute that describes the real value of the variable that directly affects the semantics, thereby doing efficient evaluation. So using the dependency, this paper presents the concurrent incremental evaluation algorithm for Java Languages and proves its correctness, analyzing the efficiency of concurrent incremental evaluation by the simulation.

자바 람다식에 대한 형식 의미론

한정란,Han Jung Lan 한국정보처리학회 2023 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.12 No.5

자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식 3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인 의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다. Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can be referenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimized translator. In this study, action equation 3.0 is newly proposed to express the static and dynamic semantic structure of functional interfaces and lambda expressions by modifying and upgrading the existing expressions to express the semantic structures of java functional interfaces and lambda expressions. Measure the execution time of java programs by implementing the semantic structure specified in action equation 3.0 in java, and prove that action equation 3.0 is a real semantic structure that can be implemented through simulation. The superiority of this action equation 3.0 is to be confirmed by comparing the action equation 3.0 specified in the four areas of readability, modularity, extensibility and flexibility with the existing representative semantic expression methods.

전문 노인자원봉사 활동 참여의 효과

한정란(Jung Ran Han) 연세대학교 사회복지연구소 2015 한국사회복지조사연구 Vol.43 No.-

본 연구는 2013년 복지부의 전문 노인자원봉사 지원사업에 참여한 노인들의 참여동기와 활동 후 성취를 살펴보고, 참여자들의 봉사활동 만족도 및 봉사활동 전과 후의 생활만족도, 생성감, 자아통합감 등의 변화를 통하여 전문 노인자원봉사활동의 효과를 입증하는 데 목적이 있다. 이를 위하여 2013년 전문 노인자원봉사 지원사업 수행기관 중 사전 및 사후 설문지를 모두 충 실하게 작성한 34개 기관 518명 노인자원봉사자들의 자료를 분석하였다. 연구의 주요결과를 요약하면 다음과 같다. 첫째, 봉사 참여자들의 사전 참여동기는 가치, 강화, 이해, 경력, 방어, 사회성 동기의 순으로 나타난 반면, 봉사 성취는 강화, 이해, 경력, 사회성, 방어, 가치 성취의 순으로 나타났다. 전반적으로 봉사자들은 전반적으로 참여 전에 기대했던 것 이상의 성취를 이루었다고 스스로 평가하는 것으로 나타났다. 둘째, 전문 노인자원봉사 활동의 주요 효과를 살펴본 결과 봉사활동에 대해 높은 만족감을 나타냈으며, 봉사 후에 생활만족도, 생성감, 자아통합감 모두 향상되었다. 셋째, 위계적 중다회귀분석 결과 생활만족도 변화, 봉사만족도, 생성감 변화가 자아통합감 변화에 유의미한 영향요인으로 나타났으며, 그 중에서도 생성감 변화의 영향력이 가장 큰 것으로 나타났다. 마지막으로 이상의 연구결과에 기초하여 향후 전문 노인자원봉사 활성화 방안을 제언하였다. The purpose of this study was to certify the effects of the Senior Professional Volunteering project supported by the Ministry of Health and Welfare in 2013. For this purpose, we analyzed senior volunteers motivations to volunteer, achievements of volunteering, satisfactions with volunteering, and pre-to-post changes in their life satisfaction, generativity, and ego-integrity. We carried out the pre- and the post- surveys with 518 senior volunteers from 34 institutes. The results of this study are as follows: ① While the motivations of volunteer participation were value, enhancement, understanding, career, protection, and social in order, the achievements of volunteering were enhancement, understanding, career, social, protective, and value in order. And the respondents reported that they achieved more than their expectations. ② The respondents were highly satisfied with their volunteering activities and were significantly improved in life satisfaction, generativity, and ego-integrity after volunteering. ③ As a result of hierarchical regression analysis, the changes in life satisfactions, the volunteering satisfactions, and the changes in generativity were significantly influencing factors of the changes in ego-integrity. Among them, the changes in generativity were the biggest factor. Finally, we suggested several implications for activating the senior professional volunteering for the future.

작용식 2.0 기반 파이썬에 대한 형식 의미론

한정란 ( Jung Lan Han ) 한국정보처리학회 2021 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.10 No.6

프로그래밍 언어의 형식적인 의미를 적절하게 표현하면 언어를 표준화하고 최적화하여 번역하는 과정에서 중요한 역할을 수행한다. 파이썬은 주목받는 강력한 언어이고, 파이썬에 대한 형식적인 의미 구조를 정의하고 표현하는 것은 향후 유사한 언어를 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 파이썬에 대한 의미 구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 파이썬의 정적이고 동적인 의미 구조를 표현하는 작용식 2.0을 새롭게 제시한다. 작용식 2.0에 명세된 의미구조를 자바로 구현해 파이썬 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 2.0이 구현 가능한 실제적인 의미 구조임을 입증하고, 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식 2.0을 기존의 대표적인 의미 표현법과 비교하여 본 작용식 2.0의 우월성을 확인하고자 한다. To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

공동주거에 영향을 미칠 수 있는 초기노년기 생리적 습관에 관한 연구

한정란(Jeong Ran Han),김수현(Soo Hyun Kim) 한국노인복지학회 2001 노인복지연구 Vol.14 No.-

This study has been performed to investigate lifestyles of the 212 younger elderly aged 50 to 75, sampled in Choong-Nam province in 2000. In this study there are two areas of the life styles that may influence congregate residence in later life, questionnaired among the subjects; extrovertive life style and physiological habits. The conclusions are drawn as follows; 1) Among the early elderly, urban residents are more likely to out well -dressed and encounter visitors than the rural counterparts. 2) The younger elderly in 50`s are more like to order designed costumes, purchase ordinary clothes, receive intimate assistance for clothing, and go to hair shops, particularly with higher chance of hair styling efforts among the women and costume advice among the urban subjects. 3) As for physiological habits, the younger urban women tend to have higher frequencies of sanitary activities such as bathing, tooth brushing, and showering. 4) The older female groups are more likely to have meals alone, but there are some younger subjects who fast breakfast. 5) Younger and naval groups are more regularly scheduled for eating lunches, while younger urban groups tend to have supper and go to bed late. Overall in this study, it is proposed that when managing congregate residences, residence control and schedule designs be separately guided among the subgroup of age, sex, and residence.

청소년들의 노인에 대한 태도 연구

한정란(Jung Ran Han) 한국노년학회 2003 한국노년학 Vol.23 No.4

본 연구는 대학생 474명과 중·고등학생 217명 등 총 691명(남학생 477명, 여학생 214명)을 대상으로 청소년들의 남녀 노인에 대한 태도를 조사하고, 응답자의 성별 및 학교단계, 조부모 동거요인에 따른 남녀 노인에 대한 태도의 차이를 조사하는 데 목적을 두었다. 이를 위하여 20쌍의 반대되는 형용사 쌍으로 구성된 의미분화척도인 Senders 등(1984)의 척도를 사용하였다. 응답자들은 70세 남녀노인에 대하여 Likert 7점 척도로 응답하였으며, 문항별 태도점수의 중립 범위는 3.5~4.5로 규정하였다. 그 결과, 청소년들의 노인에 대한 태도는 다소 부정적이며, 특히 노인들의 보수성에 대하여는 더욱 부정적인 것으로 나타났다. 둘째, 응답자들은 남성노인보다 여성노인에 대하여 더 긍정적인 것으로 나타났다. 셋째, 중고생들이 대학생들보다 남녀 노인에 대하여 더 긍정적인 것으로 나타났다. 넷째, 여학생들에 비하여 남학생들이 노인에 대하여 더 긍정적이었으며, 조부모 동거요인에서는 과거와 전체적인 동거경험에서만 부분적으로 유의한 차이가 나타났다. 다섯째, 남성 노인에 대한 태도와 여성 노인에 대한 태도와 사이에는 높은 상관이 나타났으며, 태도와 성별, 학교단계 간에 의미 있는 상관이 발견되었다. The purpose of this study is to examine the youth's attitudes toward the elderly using a sample of 691(99 of middle school students, 118 of high school students, and 474 of college students). The instrument consists of a 20-item semantic differential scale developed by Sanders et al.(1984). Using a semantic differential format, the respondents evaluated 70 years-old elderly separated by gender. The results of this study were as follows: ① Youths' attitudes toward the elderly were slightly negative. ② Their attitudes toward female targets were significantly more positive than male targets. ③ Middle and high school students viewed the elderly sigruficantly more positively than college students did. ④ Female respondents' attitudes toward the elderly were significantly more positive than male respondents'. And the respondents who ever lived with grandparents viewed female targets sigruficantly more positively than other respondents. ⑤ Youths' attitudes toward male and female targets related sigruficantly to gender, school level, whether ever having lived with their grandparents. Finally implication for future research and practice in educational gerontology were discussed.

중년층과 노년층의 노인교육 요구

한정란(Han, Jung Ran),원영희(Won, Young Hee),박성희(Park, Seong Hie),최일선(Choi, Il Seon) 한국평생교육학회 2009 평생교육학연구 Vol.15 No.4

본 연구는 중년층과 노년층의 노인교육 요구를 비교·분석하여 우리나라 노인교육 정책방향 설정에 필요한 시사점을 도출하는데 목적이 있다. 이를 위해 중년층과 노년층을 대상으로 노인교육 요구에 대한 설문조사를 실시하였고 조사결과 분석은 기술통계와 평균차이 검증을 통해 제시하였다. 주요 연구 결과로는 첫째, 중년층과 노년층 모두 노인교육에 높은 참여의사를 보였다는 점에 주목하여 노인교육의 활성화가 필요하며 특히, 중년층의 노후에 대한 강한 불안감을 해소하는 노후준비교육을 포함한 노인교육 요구에 대한 적극적인 대응이 필요하다. 둘째, 노인교육 참여의 주된 이유로 노년층은 건강관리, 중년층은 지식획득이라고 응답한 점을 고려하여 향후 노인교육의 중심기능은 정보와 지식의 습득으로 바뀌어야 한다. 셋째, 노인교육 방법으로서 노년층이 선호하는 강의를 중심으로 하되 향후에는 중년층이 선호하는 견학이나 실습과 같은 방법이 적절히 활용되어야 한다. 넷째, 노인교육에서 가장 필요한 내용으로 중년층과 노년층이 동일하게 응답한 건강교육을 기본으로 하되 중년층에서 선호도가 높은 경제교육과 자원봉사교육 등에 대한 개발이 필요하다. 다섯째, 노인교육에 적합한 기관으로 노년층 및 중년층 모두 노인복지관을 지적하였다. 따라서 노인복지관의 교육프로그램에 대한 지속적인 지원과 더불어, 노년층이 선호하는 경로당 및 중년층이 선호하는 다양한 교육기관에서의 교육 프로그램 개발이 필요하다. The purpose of this research is to provide policy directions of aging education through comparative analysis of needs for aging education between the middle aged and the older adults. To achieve this purpose, this research conducted a survey and analyzed the responses by descriptive statistics and test on mean difference. The outcomes of the research are as follow. Firstly, compared to the older adults, the middle aged show their feeling of uneasiness about their future and they show strong needs on aging education. Second, regarding the reason of participation in education, the middle aged select knowledge acquisition and the olde adults health management. Third, concerning teaching methods, the middle aged prefer participatory methods such as tour or practice method, while the older adults traditional lecture method. Fourth, regarding the contents of education, both of the respondent groups prioritize health education and the middle aged show interest in education of economy and volunteerism. Fifth, on the subject of institutes of education, the more educated show their preference on variety of institutes and teaching methods.

노인복지관 평생교육 참여 실태 분석 : 경기도 B 노인복지관을 중심으로

한정란(Han,Jungran),편성숙(Pyun, Sungsook),황선정(Hwang, Sunjung) 한국노년교육학회 2021 노년교육연구 Vol.7 No.1

본 연구는 노인복지관의 노인 평생교육 실태를 분석함으로써 노인 평생교육을 위한노인복지관의 역할에 관하여 논의하고자 하였다. 이를 위하여 경기도 B노인종합복지관에서 한 개 이상의 평생교육 프로그램에 참여중인 노인 548명을 대상으로 설문을 실시하였다. 수집된 자료의 분석을 통해 나타난 주요 결과는 다음과 같았다. 첫째, 평생교육 수강의 주요 목적은 “건강한 생활을 위해서”, “여가 활용을 위하여” 순이었으며, 남성은 “여가 활용을 위하여”를, 여성은 “건강한 생활을 위해서”를 주요 수강목적으로 꼽았다. 둘째, 노인복지관에서 평생교육을 수강하게 된 계기 역시 “여가선용을 위해”와 “건강유지를 위해”가 가장 많았고, 남성은 “시간 여유가 있어서”, 여성은 “건강 유지를 위해”의 응답이 높았다. 셋째, 평생교육의 학습 성과로는 “건강해짐”과 “재수강의 욕구가 생김”이 가장 많았고, 남성은 여성보다 “지식과 기능증가”와 “별로 변화가 없음”이라는 응답이 높았다. 넷째, “복지관에서 배운 것을자원봉사나 사회공헌활동에 활용하고 싶다”는 응답이 가장 많았고, 고학력에서는“인생에서 배운 것을 자원봉사에 활용하고 싶다”는 응답이 높은 반면, 저학력층에서는 “인생에서 배운 것을 활용하고 싶지 않다”는 응답이 높았다. 다섯째, 학습내용에대해서는 “스포츠 및 운동”, “노후의 삶에 대한 학습”, “과거 회상 및 정리”, “다른 노인들과의 교류” 등의 순으로 요구가 높았다. 여섯째, 학습방법에 대해서는“일인 강사의 강연”, “다수의 강사의 강의”, “독학이나 체험활동”, “혼자 책이나 잡지 읽기”, “영화나 동영상 시청 후 토론하기” 등의 순으로 요구가 높았다. 마지막으로 이상의 결과를 바탕으로 초고령사회에서 노인복지관이 지역사회 노인 평생교육의 거점기관으로서 자리매김해 나가기 위한 방안을 제언하였다. The purpose of this study was to analyze the status of the lifelong education at senior welfare centers and to prospect the possibility of the role of senior welfare centers for elderly lifelong education. For this purpose, a questionnaire was conducted on 548 elderly people participating in one or more lifelong education programs at the B Senior Welfare Center in Gyeonggi-do. The main results from the analysis were as follows: ① The main purpose of lifelong education was “for a healthy life” and “for use of leisure”. Males chose “for use of leisure”, while females selected “for a healthy life”. ② The motives for taking the lifelong education at the senior welfare center were “for use of leisure” and “for maintaining health”. Men were more likely to respond “because they have more time to spare”, while women responded more “to stay healthy”. ③ As for the outcomes of lifelong education, “getting healthier” and “desire to retake a lecture” were the most common. ④ The most respondents said “they wanted to use what they learned at the senior welfare center for volunteering”. High-educated respondents responded that “they wanted to use life experiences for volunteering, while the low-educated did not. ⑤ There were high needs to learn “sports and exercise”, “life in the old age”, “reminiscence”, and “communication with other seniors”. ⑥ As for learning methods, needs were high in order of “lecture by one instructor”, “lectures by several instructors”, “field trips and experiential activities”, “reading books or magazines”, and “discussion after watching movies or videos”. Finally, based on the above results, suggestions was proposed to establish the senior welfare center as a hub for lifelong education for the elderly in the community in the super-aged society.