• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.5
• /
• pp.157-164
• /
• 2023

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.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.1
• /
• pp.9-23
• /
• 1999

병렬 그래프 감축 모델에 있어서 투기적 연산(speculative evaluation)모델은 병렬성을 증가시키지만 불필요한 연산으로 인해 자원을 낭비할 수 있다. 투기적 태스크가 람다 연산식을 WHNF(Weak Head Normal Form)로 감축할 때, 대치과정은 그래프를 증가시킬 수 있고, 많은 복사과정을 요구할 수 있다. 이러한 투기적 태스크는 나중에 불필요한 연산이 될 수있고 이 경우 이러한 투기적 태스크에서 발생한 다른 모든 투기적 태스크들을 종료해야 하는 부담이 있다. 또한 불필요하게 된 복사과정으로 인한 기억 공간을 재사용이 가능한 상태로 만들어 주어야 한다. 본 논문은 WHNF 또는 HNF 로 감축할 대 발생할수 있는 불필요한 대치과정으로 인한 오버헤드를 줄이기 위해 대치과정이 지연된 람다 연산식 형태 (DSF : Deferred Substitution Form)를 제안한다. 이 형태는 대치과정을 필수적 태스크(mandatory task)가 수행될 때 까지 지연시키기 위한 람다 연산식 형태이다. 대치과정이 지연된 람다 연산식 형태로의 감축을 수행하는 투기적 태스크에서 , 대치과정이 존재하지 않기 때문에 그래프의 크기가 증가하지 않고 또한 복사과정을 요구하지 않는다. 따라서 연산식에 대한 대치과정이 지연된 람다 연산식 형태로의 감축이 불필요하게 된 경우 부담이 줄어들게 된다. 아울러 병렬성을 증가시키기 위한 연산모델을 제안한다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.3
• /
• pp.478-492
• /
• 1996

For parallel implementations of functional programs without concurrent primitives, the λ-calculus encodings have been introduced. A functional program may be trans for med into a process network using process calculiby the λ-calculus encoding and there sult of a program can be obtained by a deal of communication actions in it's process network. But the λ-calculus encodings cause too many communication actions even in constant expressions. This paper shows the encoding for a combinator program without concurrency primitives which can combine the graph reduction and the process-net reduction using computable processes,'chores'. A 'chore' may have graph reduction functions for primitive operations of constants for which local graph reduction may be possible, and be encoded from a 'G-reducible' subexpression which is obtained by an annotation and trans for mati-on for a combinator program, assuring that it does not include any combinator application. Also, we show that a process network with chores raises less commu-nication actions than one without chores.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.18 no.6
• /
• pp.1023-1030
• /
• 2023

FMCW LiDAR system with robust target detection capabilities even under adverse operating conditions such as snow, rain, and fog is addressed in this paper. Our focus is primarily on enhancing the performance of FMCW LiDAR by improving the characteristics of the frequency-modulated laser, which directly influence range resolution, coherence length, and maximum measurement range etc. of LiDAR. We describe the utilization of an unbalanced Mach-Zehnder laser interferometer to measure real-time changes of the lasing frequency and to correct frequency modulation errors through an optical phase-locked loop technique. To extend the coherence length of laser, we employ an extended-cavity laser diode as the laser source and implement a laser interferometer with an photonic integrated circuit for miniaturization of optical system. The developed FMCW LiDAR system exhibits a bandwidth of 10.045GHz and a remarkable distance resolution of 0.84mm.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1991.04a
• /
• pp.91-93
• /
• 1991

DARBS는 저널베어링 및 구름베어링에 지지되어 있는 회전체-베어링계에 대한 동력학적 해석을 수행하는 프로그램이다. 해석에는 유한요소법(finite element method)을 이용하며 선회속도(whirl speed), 모우드 형성(mode shape), 임계속도(ciritical speed) 그리고 비동기 가진응답(asynchronous response)등에 대한 해석결과를 제공한다. 본 프로그램의 주된 특징은 람다 행렬(lambda matrices)의 개념을 도입하여 비동기 가진응답의 해석에 적용하 고, 베어링 상수와 자이로 효과와 같은 회전속도 의존성에 대하여 체계적인 접근방법을 사용했다는 점이다. 본 프로그램은 IBM PC 및 호환 기종에 적 합하도록 개발되었으며 기본적인 출력장치를 지원하는 S/W가 포함되어 있 다. 또한 대화식 데이타 입력과 메뉴처리방식을 채택하여 사용하기 편리하게 하였으며, 오류발생시 메세지가 나타나 오류수정을 용이하게 하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.2
• /
• pp.111-119
• /
• 2023

In this paper, we investigate the feasibility of functional programming in the Scala language. The main issue is to what extent Scala is able to handle major properties of functional programming such as lambda expression, high-order functions, generic types, algebraic data types, and monads. For this purpose, we implement an interpreter of an imperative language. In this implementation, the same functional programming techniques are applied to both Haskell and Scala languages, and then these two versions of implementations are compared and analyzed. The abstract syntax tree of an imperative language is expressed as algebraic data types with generics and enum classes in Scala, and the state transition of imperative languages is implemented by using state monad. Extension and given, new features of Scala, are used as well.

• The Journal of the Korea Contents Association
• /
• v.16 no.3
• /
• pp.288-295
• /
• 2016

As the computer becomes pervasive in everyday life, the programming arises as an essential technique. To support the education of programming, Republic of Korea has launched a plan to develop the official courses of programming by 2018. However, the programming education in Korea tends to be difficult and the students easily lose their concentration since most of programming languages are based on English. This paper proposes a Korean programming language called Saesark to promote the effective programming education for Korean students. Saesark has been developed based on Java, which supports the object-oriented programming and the lambda expressions. In order to evaluate the educational suitability of Saesark, we compared it with other Korean programming languages in three respects: syntactic features, IDE support, and error messages in Korean. According to the comparison, Saesark is revealed more suitable than other languages. Specifically, the IDE features and the error messages in Korean are expected to be mostly valuable in educating novice programmers.

• Journal of dental hygiene science
• /
• v.12 no.1
• /
• pp.39-44
• /
• 2012

For the purpose of examining the dental biofilm reduction effect and control difficulty level through a dental biofilm control program in this study, the total of 131 medical records (82.9%) were used for the final analysis upon excluding the records that were not suitable for this study among the records of 158 persons for the medical records of clinical hygiene case reports that were submitted from 2006 to 2011 by students at the Department of Dental Hygiene at N University located in Chungnam region. The result of examining the dental biofilm reduction effect according to the visit number when conducting a dental biofilm control program showed that the dental biofilm index reduced meaningfully as the visit number increased. However, in the case of those that visited for 7 sessions, the level of reduction was not statistically meaningful. For the purpose of comparing the dental biofilm index mean per area of teeth during the final session visit of dental biofilm control program, the area of teeth was classified into labial/buccal surface, lingual/palatal surface and proximal surface, and the dental biofilm index of lingual/palatal surface was the highest with 26.5%. The result of measuring the dental biofilm of maxilla/mandible revealed meaningful differences between the dental biofilm index of maxilla and mandible. The result of analyzing the dental biofilm index of labial/buccal surface, lingual/palatal surface and proximal surface revealed meaingful differences among the dental biofilm index of labial/ buccal surface, lingual/palatal surface and proximal surface.

• Journal of dental hygiene science
• /
• v.12 no.1
• /
• pp.7-13
• /
• 2012

Critical thinking is a essential competency for dental hygiene education and practice. The purpose of this study was to examine critical thinking disposition between groups classified by GPA score in two dental hygiene educational program. A total 252 dental hygiene students responded. The study extracted six dimensions(intellectual eagerness/curiosity, prudence, healthy skepticism, intellectual integrity, objectivity, self-confidence) derived from 27 items with the exception of systematicity using factor analysis. The mean score for critical thinking disposition was 3.47 on a 5 point scale. The result showed a statistically significant correlation critical thinking disposition and age. Multivariate analysis of covariance(MANCOVA) was used to compare six subscales between the three groups. MANCOVA results revealed that intellectual eagerness/curiosity for three groups were significantly different(Wilks's lamda=0.914, F(6, 24)=1.869), p=0.01, partial eta square=0.044). Multiple comparison for intellectual eagerness/curiosity by Scheffe's method showed differences between high score group and mid score group(p=0.027), high score group and low score group(p=0.002). In this study, academic achievement and critical thinking tends to show significant correlations is known. Critical thinking skills by examining the actual grade compares the difference in propensity scores according to a case study in intellectual curiosity, passion, and could tell the difference to appear.