교체용 써클 소프트 콘택트렌즈의 새그깊이 비교

신동하,김현일 대한시과학회 2020 대한시과학회지 Vol.22 No.1

Purpose : This study was intended to evaluate the sagittal depth differences of frequent replacement circle soft contact lens commercially available producted by eleven domestic manufacturers. Methods : Two specific parameters such as total diameter and base curve kept same for each contact lens experimented. The contact lenses were placed in each disposable polystyrene Petri dish that was parallel to the plane of the horizon and contained saline solution. The sagittal depth of each lenses was taken by integrated digital camera of slit lamp and measured. Results : The sagittal depth of all lenses ranged from 3.26 to 3.67 mm and was 3.52±0.11mm in average. The calculated base curve based upon the measured sagittal depth ranged from 8.51 to 9.15 mm and was 8.73±0.17 mm in average. Conclusion : Eleven frequent replacement circle soft contact lenses measured in this study were markedly discrepant in sagittal depth. 목적 : 본 연구는 11개의 국내 제조사에서 시판되는 교체용 써클 소프트 콘택트렌즈의 새그깊이 차이를 평가하고자 하였다. 방법 : 실험에 사용된 각각의 콘택트렌즈의 전체직경, 기본커브 같은 2 개의 특정 변수는 동일하게 유지되었다. 콘택트렌즈를 수평선 면에 평행하고 식염수 용액을 함유한 각각의 일회용 폴리스티렌 페트리 접시에 위치시켰다. 렌즈의 새그깊이는 세극등에 장착된 디지털 카메라로 찍어 측정하였다. 결과 : 모든 렌즈의 새그깊이는 3.26~3.67 mm 범위였으며, 평균값은 3.52±0.11 mm이었다. 측정된 새그깊이에 기초하여 계산된 기본커브는 8.51~9.15 mm 범위였으며, 평균값은 8.73±0.17 mm이었다. 결론 : 본 연구에서 측정된 11개의 교체용 써클 소프트 콘택트렌즈는 새그깊이에서 현저한 차이가 있었다.

지식 기반 시스템 연구를 위한 한글 LISP 언어의 개발

신동하,김창석,오길록 한국정보과학회 1984 한국정보과학회 학술발표논문집 Vol.11 No.2

인공 지능은 인간의 지적 사고 방식을 컴퓨터에 도입하여 보다 우수한 기계를 만들려는 시도로서, 많은 응용 분야가 있다. 이 인공 지능 응용 분야의 프로그래밍을 위해서는 일반 프로그래밍 언어와는 다른 언어를 사용하는데, LISP은 인공 지능을 위한 프로그래밍 언어 중 가장 많이 사용되는 언어로서, 이 분야의 연구를 위해서는 필수적이라고 할 수 있다. 본 논문에서는 인공 지능의 응용 분야인 지식 기반(knowledge based) 시스템 연구를 위한 준비 단계로서 LISP 언어의 특징 및 환경을 분석하며, 한글 문자 처리에 적합한 한글 LISP의 의미 및 구현에 대하여 설명한다.

공개 집합 제한 논리 언어의 구현 방법

신동하,손성훈,Shin, Dong-Ha,Son, Sung-Hoon 한국정보처리학회 2005 정보처리학회논문지 A Vol.12 No.5

Set constraints logic language is a language that adopts `set theory` in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in `rewriting rules` and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure `list` provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely. `집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

공개 집합 제한 논리 언어의 구현 방법

신동하,손성훈 한국정보처리학회 2005 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.12 No.5

Set constraints logic language is a language that adopts ‘set theory’ in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in ‘rewriting rules’ and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure ‘list’ provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely. ‘집합 제한 논리 언어’는 ‘집합 이론’을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 ‘다시쓰기 규칙(rewrite rule)’으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수(mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

인터넷 유닉스 쉘 서버 개발

신동하,이옥선 상명대학교 자연과학연구소 1999 自然科學硏究 Vol.6 No.-

본 논문에서는 인터넷을 통하여 연결된 웹 브라우저 상에서 사용자의 이름과 암호를 사용하여 유닉스 시스템에 로긴하고 로긴한 사용자의 권한으로 유닉스 쉘을 수행시켜 유닉스 기본 명령어를 수행시키는 서버 소프트웨어 개발에 대하여 기술한다. 본 연구에서 개발한 서버 소프트웨어는 크게 웹 브라우저 상에서 사용자의 이름과 암호를 사용하여 시스템에 로긴하는 웹 쉘 로긴(wsh-login: Web Shell Login) 부분과 웹 브라우저 상에서 쉘 프로그램의 상태를 유지하며 유닉스 명령어를 수행시키는 웹 쉘(wsh: Web Shell) 부분으로 이루어진다. 본 소프트웨어를 구현하기 위하여 관련 CGI 프로그램과 관련 서버 프로그램 사이의 데이터 전달은 fifo 프로세스 간 통신을 사용하였고 관련 서버 프로그램과 bash 프로그램 사이의 데이터 전달은 pipe 프로세스 간 통신을 사용하였다. 현재 본 소프트웨어는 Red Hat Linux 6.1 에서 C 언어로 개발되어 동작 중이다.

수업하는 교육자이자 경험 많은 장인

신동하 우리교육 2015 우리교육 Vol.259 No.-

학교생활 기록부는 미래형 실력 측정의 대안인가?

신동하 우리교육 2016 우리교육 Vol.265 No.-

(Ab)(Cl) 집합 일치화의 구현에 관한 연구

신동하,김인영 한국정보통신학회 2004 한국정보통신학회논문지 Vol.8 No.5

‘집합’은 컴퓨터 프로그램의 설계에 자주 사용되는 도구이다. 이런 이유 때문에 최근 ‘집합 제한 언어’도 등장하였다. 본 연구에서는 ‘(Ab)(Cl) 집합 일치화’ 문제를 소개하고 ‘집합 등식 다시쓰기(rewrite)’를 사용하여 집합 일치화를 Prolog 언어를 사용하여 구현하였다. 본 연구에서는 순차적 언어에서는 구현하기 힘들었던 집합 일치화가 Prolog 언어와 같은 논리 언어에서는 비결정성 제어 구조와 리스트 자료 구조를 사용하여 쉽게 구현 가능함을 보였다. 본 연구는 기존 구현이 고가의 상업용 Prolog를 사용한 것과는 달리 GNU 일반 공용 라이센스(GPL)를 가지는 Ciao Prolog를 사용하였기 때문에 누구나 무료로 사용할 수 있다는 장점도 가지고 있다. 현재 본 연구의 결과를 사용하여 ‘집합제한 언어’가 구현 중이다. ‘Set’ is a tool that is used frequently in designing computer programs. Because of the reason, ‘set constraints languages’ have been developed recently. In this research, we introduce ‘(Ab)(Cl) set unification’ problem and implement it using the ‘set equation rewriting in Prolog’. In this research we shows that the set unification, that is considered to be difficult to be implemented in procedural languages, ran be implemented easily using the non-deterministic control structure and the list data structure in logic language like Prolog. Our research uses the Ciao Prolog with GNU GPL, this is compared with other existing implementations which used expensive commercial Prolog, so anyone can use the result freely. Currently the result is being used for implementing a set constraint language.

C 및 Prolog 언어용 웹 입출력 라이브러리

신동하 한국정보통신학회 2002 한국정보통신학회논문지 Vol.6 No.5

인터넷이 등장하기 전에는 대부분의 응용 프로그램이 표준입출력 장치로 호스트 컴퓨터에 연결된 단말기를 사용하며 수행되었다. 오늘날은 인터넷의 사용이 보편화되었고 많은 서비스가 인터넷에 연결된 웹 브라우저 상에서 제공된다. 단말기를 통한 표준입출력 방식과 웹 브라우저를 통한 통신 입출력 방식은 기술적으로 다르기 때문에 과거에 작성된 단말기용 응용 프로그램을 쉽게 인터넷을 통하여 웹 브라우저 상에서는 수행시킬 수는 없다. 본 논문은 표준입출력 방식으로 작성된 프로그램의 소스를 수정하지 않고 다시 컴파일만 하여 인터넷에 연결된 웹 브라우저 상에서도 서비스할 수 있게 해주는 웹 입출력 (WEBIO) 라이브러리의 개발에 대하여 기술한다. 현재 C 및 Prolog 언어 용 웹 입출력 라이브러리가 개발되어 시험 중이다. Before the Internet was available, most application programs were executed using terminals, connected to host computers, as standard input output devices. The Internet is popular today and many services are provided on web browsers connected to the Internet. Since the standard I/O method used for terminals is different from the communication I/O methods used for web browsers, it is not possible to execute many application programs developed for the conventional terminals on web browsers. In this paper, we describe Web Input Output(WEBIO) library that enables application programs conventional on terminals to be executed on web browsers by recompilation without source modification. The WEBIO libraries for C and Prolog languages have been developed and they are under test now.

논리 언어 Prolog의 인터넷 인터페이스 개발

신동하,권지숙 상명대학교 자연과학연구소 1999 自然科學硏究 Vol.6 No.-

논리 언어 Prolog 는 심볼 추론 기능을 가지고 있어서 인공지능 언어로 많이 사용되었다. 그러나 Prolog 언어로 개발된 응용 프로그램은 단일 컴퓨터 환경에서 수행되기 때문에 대중화에 제한이 많았다. 본 연구에서는 이를 극복하기 위하여 논리언어 Prolog 로 작성된 프로그램을 쉽게 인터넷 상에서 서비스 할 수 있게 하는 인터넷 인터페이스 프로그램을 개발하였다. 또한 개발된 Prolog 인터넷 인터페이스 프로그램을 사용하여 인터넷 상에서 서비스 가능한 한의진단 전문가 시스템을 개발하였다.