• Journal for History of Mathematics
• /
• v.28 no.4
• /
• pp.191-204
• /
• 2015

The reason of the confusion of learners about the logic concepts such as implication, necessary condition and sufficient condition can be analyzed from the point of view of history of logic, discrepancy between ordinary language and formal logic, and reification which occurs in the process of cognition of discursive object and also indicates the necessity of a research. This study analysed the difficulties related to study and implication concept and attempted to the reflection of textbook and curriculum. Not that ordinary language makes the introduction of formal language easier, but that this study discussed the possibilities ordinary language intervenes the learning of formal language. This study additionally intended to understand learning difficulties of concrete subjects, abstract subjects and the gap between primary object and discursive object by understanding the process of sagging, encapsulating and reifying.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.421-426
• /
• 2001

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.

• Korean Institute of Interior Design Journal
• /
• v.16 no.6
• /
• pp.65-76
• /
• 2007

This research is progressed on the premise that there is a basic rule to organize a space in form generation process. In this study first, antecedent researches are inquired, and formal vocabularies related with form generation in space design are founded. Generally in the organizing process of spatial form designer could have selectively combined formal vocabularies consciously or unconsciously, and these formal vocabularies related with form generation are classified with 'formal elements' and 'spatial relationships'. First, as formal elements '2-dimensional line elements(rectilinear, oblique-linear, curvilinear)' are chosen. Second, formal vocabularies of 'spatial relationships' are 37 extracted from literatures related with architectural language or spatial language. Among them there are several vocabularies with similar or same meaning, they are unitized to representative one. Thereupon 20 vocabularies are finally selected as the formal vocabularies of 'spatial relationships', they are addition, subtraction, intersection, superimposition, juxtaposition, shifting, rotation, reflection, scaling, stretching, shear, bending, folding, distortion, articulation, deconstruction, symmetry, repetition, proportion, and asymmetry.

• International Journal of Advanced Culture Technology
• /
• v.11 no.1
• /
• pp.212-220
• /
• 2023

The meticulous figure painting is one of the wonders of traditional Chinese painting and has blossomed in art history with its unique and interesting style. The period from the Warring States period to the Song and Yuan dynasties was a glorious period in its history, after which it tended to decline due to changes in painting materials and many socio-historical reasons. The extensive cultural exchanges in the world today, the penetration of Western values and the expansion of information technology have brought a huge impact on Chinese meticulous figure painting, which has developed an active way of thinking and expression after absorbing certain elements of Western culture and thought on the basis of inherited tradition. Contemporary Realistic Figure painters continue to explore new developments in meticulous figure painting in the contemporary context, and give contemporary meticulous figure painting a new cultural and ideological connotation, forming a new look that meets the requirements of the times, with richer and more lively content, subject matter and formal language. Traditional meticulous figure painting is characterised by a highly refined use of line and coloring composition. Contemporary meticulous figure painting focuses on the use of purely formal language and the expression of the personality of the creative subject, with a new outlook on the world of painting. In the contemporary multicultural context, new formal language and methods of expression are constantly being explored to create a new look. In the process of development, contemporary meticulous figure painting has merged the best qualities of traditional and contemporary culture, making it an art with a subtle language, rich in meaning and with the charm of the times and oriental characteristics. The author in the form of contemporary fine brushwork figure painting language as the research object, explore new form of fine brushwork figure painting, and in the contemporary society and multicultural context factors. Innovation, enrich and develop new forms of art language of contemporary social form and aesthetic temperament and interest.

• Genomics & Informatics
• /
• v.9 no.1
• /
• pp.5-11
• /
• 2011

Treating genomes just as languages raises the possibility of producing concise generalizations about information in biological sequences. Grammars used in this way would constitute a model of underlying biological processes or structures, and that grammars may, in fact, serve as an appropriate tool for theory formation. The increasing number of biological sequences that have been yielded further highlights a growing need for developing grammatical systems in bioinformatics. The intent of this review is therefore to list some bibliographic references regarding the recent progresses in the field of grammatical modeling of biological sequences. This review will also contain some sections to briefly introduce basic knowledge about formal language theory, such as the Chomsky hierarchy, for non-experts in computational linguistics, and to provide some helpful pointers to start a deeper investigation into this field.

• Journal of Fashion Business
• /
• v.14 no.6
• /
• pp.11-22
• /
• 2010

The main purpose of this research was to examine the linguistic characteristics of domestic men's formal wear brand name. Four linguistic characteristics of language type, combined structure type of language, word class, length of brand name were investigated in this research and also examined the difference between brand type. For sample selection, the 209 men's fashion brands were selected from '2009 Korea Fashion Yearbook' and then, 25 brands which could not collect proper informations about the brand name or naming were excluded. Among total 184 men's brand names, 66 men's formal wear brands were selected and studied. For data analysis, quantitative evaluation of the frequency and qualitative evaluation have been used. The result as follows.; (1) Seven language types were found in domestic men's formal wear brand names. English has been used the most, then followed by Italian and French. (2) For combined structure type of brand name language, the single word used the most, followed by separately combined word type, artificially combined word, and unified word type. (3) The most frequently used the type of word class was noun, and followed by phrase, adjective, and verb. In the noun type, 6 different types which expressed a person, concrete & abstract entity, place, acronym, and neologic were found. For phrase, only noun type was appeared, however, 6 out of 20 phrases were abbreviated type. All eight adjective brand names implied an attributive character of the brand such as 'Dainty' or 'Solus(Solo)'. (4) The long name used most and then followed by normal and short length of brand name. Looking by the number of syllable, 4 syllables appeared the most and then followed by 3, 5, 6, 2 & 7 showed the same rate, and 8 syllables. (5) The result which compared the difference according to each brand type showed a difference in its language type, language combined style, word class, but length of brand name.

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Lingua Humanitatis
• /
• v.5
• /
• pp.221-264
• /
• 2003

This paper takes issue with the idea of language as a 'serial-time structure' as opposed to the 'real-time event' of speech, an idea entrenched in Chomskyan model of linguistic theory. The discussion centers around the leitmotif question: Is language constructed entirely from a finite set of apriori discrete symbol types, as the 'competence vs performance' dichotomy implies\ulcorner A set of linguistic patterns examined in this study, largely with regard to phonological considerations, points to the evidence to the contrary. That is, while the patterns may be said to be linguistically distinct, they are not discretely, different, i.e. not different enough to be reliably differentiated. It is demonstrated that much of current research in phonology, including the most recent Optimality Theory, is misdirected in that it falsely presupposes a discrete universal phonetic inventory. The main thrust of the present study is that there is no sharp boundary between 'competence' defined as the formal, symbolic, discrete time domain of language and human cognition on the one hand and 'performance' as the continuous, fuzzy, real-time domain of human physiology on the other.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.45 no.1
• /
• pp.100-112
• /
• 1996

This paper presents a design experience of a control language for coordination of a multi-robot system. To effectively program job commands, a Petrinet-type Graphical Robot Language(PGRL) is proposed, where some functions, such as concurrency and synchronization, for coordination among tasks can be easily programmed.In our system, the proposed task commands of PGRL are implemented by employing formal model languages, which are composed of three modules, sensory, data handling, and action module. It is expected that by using our proposed PGRL and formal languages, one can easily describe a job or task, and hence can effectively operate a complex real-time and concurrent system. The control system is being implemented by using VME-based 32-bit microprocessor boards for supervisory, each module controller(arm, hand, leg, sensor data processing module) and a real time multi-tasking operating system(VxWorks). (author). 17 refs., 16 figs., 2 tabs.

• Cross-Cultural Studies
• /
• v.20
• /
• pp.29-66
• /
• 2010

This paper is a qualitative study of the experiences of Korean heritage language learners (KHLLs) with literacy (reading and writing), particularly before they enter the college-level heritage language classroom. Previous research, both qualitative and quantitative, has addressed the overall language background of KHLLs, including oral and aural proficiency and writing and reading ability, as well as demographic information (such as when the student immigrated to the United States) in relation to language test scores. This study addresses KHLL experiences in the following six areas as they relate to student perceptions and attitudes toward their own heritage language literacy: language proficiency, motivation for learning, academic preparedness, cultural connectedness, emotional factors, and social factors. Fourteen undergraduate students at a university in the western United States participated in a convenience sample by responding to a 10-question survey. Trends in responses indicated that KHLLs entered the classroom with high integrational motivation and experienced great satisfaction with perceived progress in literacy, but students also expressed regret for having missed childhood learning experiences that would likely have resulted in higher proficiency. These experiences include informal and formal instruction in the home and formal instruction outside of the home.