• 한국어교육
• /
• 제29권3호
• /
• pp.117-144
• /
• 2018

The purpose of this study is to explore the linguistic elements that can promote academic literacy in terms of content-based instructions for KSL learners. In order to study the characteristics of learning languages for subjects, focus was given to the framework of systematic functional linguistics that has been extensively used in ELL teaching and learning research in the United States and Australia. History, which is taught in all classes and classified as a required course, was the subject of analysis. From the history curriculum, the elementary school level texts "Social Studies 5-2" and "Social Studies 6-1" were chosen for the analysis. Based on the results, we can come to the following conclusions. First, history textbooks are divided into narrative and analytical explanatory sub-genres based on their content, and there are differences in the factors that need to be focused on to find the main information. Second, the vocabulary of history textbooks should focus on the use of verbs which comprehend material processes. Particularly, learners should pay attention to the differences in meaning between low-frequency expressions. We hope that the results of this study will have a positive effect on history subject learning for learners in the "Adaptive Korean Course" and will help establish direction in terms of building curriculum contents for KSL learners.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1999년도 학술발표대회 논문집 제18권 2호
• /
• pp.337-340
• /
• 1999

The most salient and discussed features of speech production in agrammatic aphasia are the omission and substitution of grammatical morphemes. Cross-linguistic studies have shown that the pattern of omission/substitution is not random but occurs in a systematic and highly constrained way. Although these descriptions are important, they do not explain why all grammatical morphemes are not equally impaired. Friedmann and Grodzinsky (1997) proposed the Tree-Pruning Hypothesis (TPH) to account for these patterns of sparing and loss. The TPH claims that in an agrammatic representation, an impaired functional node is underspecified, thus allowing inappropriate affixation to occur. Additionally, whenever a node is impaired, all nodes above it will also be impaired. Using four types of narratives collected from two Korean agrammatic patients, We test the claim that the impairment in agrammatism is based on such hierarchical representation. It was found that these patients consistently produced appropriate grammatical morphemes that are higher in a syntactic tree than the impaired morphemes. The finding that an intact node exists higher than an impaired node refutes the TPH.

• 음성과학
• /
• 제14권1호
• /
• pp.63-72
• /
• 2007

In this study, the researchers evaluate the hypothesis that the reaction time (RT) in the brain is largely dependent on age and gender. The researchers tested English and Korean words using two types: reading as visual stimuli, and listening as auditory stimuli. The E-Prime program installed in functional magnetic resonance imaging (f-MRI) was used. There are 136 Korean subjects in three groups: 30 children (5th and 6th grade elementary school students), 76 young adults (college students), and 30 adults (35-53 years old). In the listening test, the variation for the two languages was different among the three age groups, regardless of gender, whereas the data did not show meaningful differences in the reading test. The findings will provide some meaningful information regarding perception and acquisition of a foreign language.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 국제물리치료학회지
• /
• 제7권1호
• /
• pp.979-988
• /
• 2016

The purpose of this systematic review is to investigate the effects of tape application on improving body conditions. The search strategy for this review included a literature search by members of the International Kinematic Academy in 12 countries between January 2014 and February 2015 using PubMed, CINAHL, Cochrane, Google Scholar, websites and national journals. The search words included "Kinesiotape, Kinesio tape, kinesiotaping, elastic taping, taping, functional taping, myofascial taping, sensomotor taping". The review included all articles, even those published in different languages. These searches resulted in 821 publications. There are several effects of tape application were revealed such as improving blood circulation, lymphatic circulation, body range of motion, activation of mechanoreceptor and joint stability, and decreasing pain. No one negative about the positive effects of taping, however the more effort is required to find evidence of effects of tape application.

• Nonlinear Functional Analysis and Applications
• /
• 제29권2호
• /
• pp.559-580
• /
• 2024

In this paper, we aim to prove coupled and common coupled fixed point theorems for contractive type conditions in the context of partial metric spaces by means of a control function, and to provide some corollaries of the established results. This paper presents a number of results that generalize and extend previous work in the field. In order to better illustrate the process, we provide examples.

• 한국실내디자인학회논문집
• /
• 제14권5호
• /
• pp.98-105
• /
• 2005

Through advanced computer technology, our physical environment became a flexible and liquid space that is a multi-functional space structure, hetero-alliance, formless, interactivity. We attempt to interpretate Deleuze's Other geometry as a space designer. Hence first, the aim of this study is to define the meaning of the Other and Other geometry. Second, to extract keywords out of the Other geometry to analyze the work. Third, to analyze the work using the space formative languages(blob, blurring, distortion, folding, layering, lightness, nesting, repetition, shear, transparency, twisting, unfolding, warping, waving, and weaving). The 13 works were selected which have been issued after year 2000 with the focus on liquid space studies. The methods of this study are literature research and contents analysis. The results of the analysis were as follows. First, the source is the Other who is a hidden potentials in the surrounding environment, and this source has the capability of making it part of reality anytime. Other geometry means it is a theory that is comprised of various lines that with the kind of experiences that one has in life. Second, the key words that were extracted from the theory of Deleuze's Other geometry were of (1)hetero-alliance(reflected in a sculptured shape or a fluid abstract form), (2)dis-form(by speculating the user's movements, and combining space elements with external forces), (3)interactivity (information was exchanged real time between the user and his environment where the space took on a sensory institution). Finally, after studying the works using the space formative languages, we found that blob, warping, waving were used externally, and repetition, warping and waving for mostly used internally.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권8호
• /
• pp.459-465
• /
• 2017

매니코어 기술에 힘입어 컴퓨터 하드웨어의 성능이 향상되고 있지만 그에 비례한 소프트웨어 성능 증가는 다소 미미한 실정이다. 함수형 언어는 병렬 프로그램의 성능을 향상시키는 대안 중 하나이다. 이러한 언어는 부수효과가 없는 순수한 수식을 통해 내재된 병렬성을 지원하기 때문이다. 함수형 언어인 Haskell은 모나드를 기반으로 하는 다양하고 쉬운 병렬 구조를 제공하기 때문에 병렬 프로그래밍에서 널리 사용된다. 하지만 Haskell로 작성된 병렬 프로그램의 성능 확장성은 코어 수가 증가함에 따라 변동이 큰 경향이 있다. 이는 프로그램 실행에 있어 가비지 컬렉션이 공간과 시간에 모두 영향을 미치는데 Haskell은 이러한 가비지 컬렉션을 사용하는 가상머신 위에서 실행되기 때문이라고 추정된다. 따라서 본 논문에서는 GC-Tune이라는 메모리 튜닝 도구를 사용하여 이 추정이 맞는지 검증하고 Haskell 병렬 프로그램의 성능 확장성을 높이는 방법을 모색한다. 병렬 Haskell 표절 검사 프로그램을 대상으로 실험한 결과 성능 확장성이 향상되었다. 특히 메모리 튜닝을 하지 않은 프로그램에 비해 속도 향상의 변동 범위가 39% 감소하였다.

• 한국컴퓨터정보학회논문지
• /
• 제11권2호
• /
• pp.7-13
• /
• 2006

시멘틱 웹의 대두로 인해 웹 상에서 데이터를 접근 할 수 있는 방법도 다양화 되었다. 이에 현재 진행되고 있는 웹 온톨로지 뿐만 아니라 기존에 구축된 지식베이스 시스템에 접근하여 데이터를 핸들링 할 수 있는 모델이 필요하다. 웹 온톨로지를 표현하기 위한 언어로 RDF(Resource Description Framework), DAML-OIL, OWL(Web Ontology Language)등이 사용되고 있다. 본 논문은 웹 온톨로지와 기존의 구축된 지식 베이스의 데이터를 접근, 표현 및 처리할 수 있는 온톨로지 객체 모델의 생성과 그 방법에 관한 것이다. 웹 온톨로지에 대한 접근 방법으로 각각의 언어에 맞는 파서(Parser)를 이용하여 메모리 상에 모델을 생성하여 접근하게 되어 있는 기존의 방법과는 다르게 본 논문에서는 웹 온톨로지를 표현하기 위한 모델을 계층별로 구별하여 프레임 기반의 상위 온톨로지(frame-based ontology layer), 다른 도메인에서도 사용이 가능한 공통된 어휘(vocabulary)를 표현한 핵심 온톨로지(generic ontology layer)와 각각의 온톨로지 언어에 의존적인 어휘를 표현한 기능 온톨로지(functional ontology layer)로 구성한다. 이는 표현의 중복을 없애고 재 사용성을 높이기 위한 모델을 제공함으로써, 외부 어플리케이션(온톨로지 추론, 온톨로지 병합, 온톨로지 저작 도구 등)에서의 온톨로지에 대한 쉬운 지식 표현과 접근 및 핸들링을 제공할 수 있다.

• 대한물리치료과학회지
• /
• 제18권1호
• /
• pp.33-49
• /
• 2011

The process of physical therapy uses a problem-solving approach to enhance a patients's functioning status. The International Classification of Functioning, Disability and Health(ICF) is the common concept for the functioning in the world. Physical therapists require the ability to identify problems, formulate hypothesis, and plan intervention strategies through clinical reasoning. In the clinical process, physical therapists need to use standard and common languages in speech and in documentation. The purpose of this study was to suggest the process of making strategy for efficient intervention, examining and evaluating the functional problem of the person with stroke using ICF tools. For the first step in this process model, therapists could list the information relating to functional problems used by the ICF Core set and then could identify the interaction among the problems using the ICF assessment sheet. For the next step, therapist is needed to make the hypothesis and hypothesis testing, and then set a primary functional goals and therapeutic goals in detail after prioritizing the problems to be managed based on the problem list. Finally, after setting the identified problems as the purpose of intervention through the hypothesis testing, therapist could do some intervention after making a plan to solve these problems, and find out the outcomes using the ICF evaluation display. This report illustrates how to apply the process based on ICF concept into physical therapy practice. Making a decision for the most efficient intervention requires that therapists use the clinical reasoning process based on ICF concept.