http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 김상오(Sangoh Kim) (검색결과 8 건)
- 무료
- 기관 내 무료
- 유료
-
김상오(Sangoh Kim),한태숙(Taisook Han) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.11
다형적 레코드 계산법은 객체 지향 언어의 이론적인 배경으로 많은 연구의 대상이 되어왔다. 그러나 많은 기존의 연구에서는 객체 지향 언어의 다중 상속을 모델링할 수 있는 레코드 접합 연산을 포함하지 않았다. 본 논문에서는 레코드 접합 연산을 포함하여 다중 상속의 모델링이 가능한 다형적 레코드 계산법과 그 계산법을 위한 타입 체계를 제시하였다. 그리고 다형적 레코드의 구현을 효율적으로 하기 위한 방법으로 레코드를 배열로 나타내고 필드 선택을 직접 색인으로 할 수 있는 구현 계산법을 제시하고 다형적 레코드 계산법의 식을 구현 계산법의 식으로 변환하는 알고리즘을 제시하였다. 본 논문에서 제시한 알고리즘은 주어진 다형적 레코드 계산법의 식의 수위 타입을 찾는 것과 동시에 주어진 식을 올바른 구현 계산법의 식으로 변환한다. 본 논문에서 제시한 타입 유추 규칙의 건전성과 완전성을 증명하였다. Polymorphic record calculi have recently attracted much attention as a typed foundation for object-oriented programming. But most of the prior studies are based on polymorphic record calculi that lack the record concatenation operation which is essential to analyse multiple inheritence of object-oriented programming. We define a polymorphic record calculus with the record concatenation operation. For the efficient execution of our polymorphic record calculus, we extend Ohori's implementation calculus. In our implementation calculus, as in Ohori's, records are presented as arrays of values, and field selection is performed by direct indexing. We then develop an algorithm to translate the polymorphic record calculus into the implementation calculus; it simultaneously computes a principal type scheme in the polymorphic record calculus and a correct implementation term in the implementation calculus. The type inference is shown to be sound and complete.
-
-
-
김상오(Sangoh Kim) 한국식품과학회 2021 식품과학과 산업 Vol.54 No.3
Along with the rise in the value of cryptocurrency, the interest of the blockchain is very high. However, most people do not understand cryptocurrency and blockchain very well. In addition, due to this lack of understanding of the technology, ideas about how blockchain technology can be applied in the food industry may not come up. Therefore, this content describes the advantages of blockchain technology in terms of security, starting with the understanding and operation method of cryptocurrency and blockchain technology, and briefly describes the development of a blockchain system. And simple examples of how this blockchain technology can be applied to other industries are summarized and examples used in the food industry are summarized. Finally, it was insisted that using such a blockchain technology can provide safe food to consumers.
-
-
-
한보현 ( Bohyun Han ),공인복 ( In-bog Kong ),김다원 ( Dawon Kim ),이혜민 ( Hyemin-lee ),정유담 ( Yoodam Jung ),김상오 ( Sangoh Kim ) 한국정보처리학회 2020 한국정보처리학회 학술대회논문집 Vol.27 No.1
노년층의 건강관리를 위하여 몸상태를 확인할 수 있는 심박센서와 운동량을 확인할 수 있는 모션센서 및 간단한 센서를 활용하여 실시간으로 건강분석과 관리 및 처방을 할 수 있는 방안을 제시하고 플랫폼 개발에 도전함.
-
객관주의에 기초한 미수범의 성립 제한 - 특히 과실의 미수를 중심으로 -
김상오 ( Kim¸ Sang Oh ) 고려대학교 법학연구원 2021 고려법학 Vol.- No.102
과실의 미수는 논리적으로 가능한가? 이 질문에 대해서 기존의 견해는 별다른 의문을 품지 않고 과실의 미수는 논리적으로 가능하지 않다고 답해왔다. 그러나 주관주의의 경향이 확장됨에 따라 반대 견해가 제기된다. 주관주의는 행위자의 내적 측면 혹은 행위반가치를 중시하여 미수의 가벌성을 확장시키고, 과실의 중점이 결과가 아니라 행위에 있다고 봄으로써 과실의 미수도 논리적으로 가능하다고 주장한다. 하지만 객관주의에 기초하여 우리 형법을 해석한다면, 과실의 미수가 성립한다는 견해는 과실의 관점에서도, 미수의 관점에서도 모두 받아들일 수 없다. 과실의 관점에서 보면, 과실은 결과를 전제로 하기 때문에 결과의 불발생을 요건으로 하는 과실의 미수는 성립할 수 없다. 결과를 전제로 한다는 것은 과실의 판단과 인과관계의 판단이 동가치하다는 것을 의미한다. 이에 대하여 합법적 대체행위이론과 같이 과실과 인과관계가 구분될 수 있다는 반론이 제기되나, 과실에서의 주의의무가 결과예견의무와 결과회피의무로 구성된다면 이러한 반론은 받아들일 수 없다. 미수의 관점에서 보면, 미수의 요건인 실행의 착수는 고의를 전제하므로 과실의 미수는 성립할 수 없다. 이에 대하여 과실범에서도 고의와 병치되는 주관적 요소가 있다거나, 고의가 없어도 실행의 착수를 인정할 수 있다는 반론이 제기될 수 있다. 하지만 과실범에서 행위자의 인식과 의사로 구성되는 주관적 요소는 존재할 수 없고, 오로지 객관적으로 실행의 착수를 정의한다면 형법 체계에 많은 문제점을 야기한다. 따라서 과실의 미수는 논리적으로 가능하지 않다. Ist ein fahrlässiger Versuch logisch denkbar? Bezüglich dieser Frage hat bisher überwiegend die Meinung etabliert, dass ein fahrlässiger Versuch logisch undenkbar ist. Allerdings, je mehr die subjektivistische Tendenz im Bereich des Strafrechts erweitert wird, desto mehr wird eine gegenteilige Ansicht behauptet. Der Subjektivismus vertritt die Meinung, dass die Strafwürdigkeit des Versuchs aufgrund der innerlichen Seite des Täters oder des Handlungsunwerts erweitert werden muss. Er behauptet somit, dass ein fahrlässiger Versuch logisch denkbar ist. Jedoch wird unser Strafrecht aufgrund des Objektivismus in Erwägung gezogen, gilt die Ansicht, der zufolge ein fahrlässiger Versuch anerkennt wird, nicht für stichhaltig unter dem Gesichtspunkt der Fahrlässigkeit und auch des Versuchs. Unter dem Gesichtspunkt der Fahrlässigkeit kann ein fahrlässiger Versuch nicht festgestellt werden, weil die Fahrlässigkeit einen Erfolg vorausgesetzt werden muss. Dies bedeutet, dass die Fahrlässigkeit und die Kausalität gleichwertig zu beurteilen sind. Dagegen wird die Meinung erhoben, dass sich die Fahrlässigkeit und die Kausalität unterschieden werden können, gleich wie in der Theorie des rechtsmäßigen Alternativverhaltens behauptet wird. Diese Ansicht kann man allerdings nicht akzeptieren, wenn die Sorgfaltspflicht der Fahrlässigkeit aus Voraussichtspflicht und Vermeidenspflicht besteht. Unter dem Gesichtspunkt des Versuchs kann ein fahrlässiger Versuch nicht festgestellt werden, weil der Anfang der Ausführung, der ein Tatbestand des Versuchs ist, einen Vorsatz voraussetzt. Dagegen kann die Ansicht erhoben werden, dass das fahrlässige Delikt das einen Vorsatz nebeneinander setzende subjektive Element enthält, und dass Anfang der Ausführung ohne Vorsatz bestehen kann. Aber beim fahrlässigen Delikt gibt es kein solches Element, das aus Erkenntnis und Wille des Täters besteht, und zahlreiche Probleme können sich ergeben, wenn der Anfang der Ausführung nur objektiv definiert wird. Daher ist ein fahrlässiger Versuch logisch undenkbar.
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
