• School Mathematics
• /
• v.5 no.1
• /
• pp.59-76
• /
• 2003

Algebraic signs are important on learning and problem solving of algebra. This study investigated the contents of letters and expressions in textbooks by syntactics, semantics and pragmatics, and considered the introduction and extension processes of algebraic signs didactically. We also categorized the signs, and looked into textbook problems in view of semiotic. The result is that textbook is constructed in syntactics and semantics. Finally, the assessment of 7th grade students' competence in syntactics, semantics, syntactics+- semantics, pragmatics, and problem solving shows that students' ability in syntactics and pragmatics Is a predictive variable for algebraic problem solving.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.309-346
• /
• 2013

This paper deals with the problem, which logic of language and which metaphysics Wittgenstein suggests in the Tractatus logico-philosophicus. I will ultimately show how he bases the metaphysics on the logic of language. The logic of language by which Wittgenstein sets the limit to the language 'in the language' is the logical syntax of the language. And Wittgenstein extends the idea of the logical syntax to the understanding the nature of the world, i.e. to the metaphysics. The logical form the language(proposition) must have is the form of the world(or the nature of the world), and it can be determined only together with the logical syntax of the language. But what is the logical form(form of the world) 'cannot be said', since the proposition saying it is devoid of 'sense' and 'says nothing'. Therefore Wittgenstein expresses that the logical form(form of the world) 'can only be shown' in the proposition that has sense. The Metaphysics Wittgenstein wants to base on the logic of language(the logical syntax) must be mystical.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.135-140
• /
• 1998

GIS에서 공간분석은 최종 사용자의 의사결정을 돕는 중요한 수단을 제공한다. 다라서, 분석을 위해 사용되는 질의 모델은 질의 자체의 구문구성이나 질의를 이용하는 최종 사용자와의 상호작용적인 측면에 있어서 사용자관점을 지원할 수 있어야 한다. 질의 모델의 구문구조에 있어서 기존의 설계방법은 속성 데이터 베이스 검색을 위한 속성연산을 위주로 하여 공간연산을 위한 연산자들을 기존의 구문구조에 추가하는 형태의 접근방식을 취하였다. 그러나 속성검색을 위해 정의된 구문구조를 확장하여 공간연산을 처리한 방식은 공간연산이 가지는 특성을 고려했을 때 질의의 구문구조가 비일관적이고 부자연스럽다는 문제점들이 많은 연구들에서 제기되었다. 본 논문에서는 공간 질의가 공간분석을 위한 방법론이라는 기본 개념에 기초하여 공간연산을 자연스럽게 처리할 수 있는 질의모델의 구문구조 설계에 대한 방법론을 제안하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.294-296
• /
• 2012

본 논문은 일본어 웹 문서 말뭉치로부터 의존 구문 구조 관점으로 바라본 단어들의 동시발생(co-occurrence) 정보를 사용하여 서브토픽 마이닝(subtopic mining)을 수행하는 방법론을 제안한다. 우리는 의존 구문 구조를 반영하는 간단한 패턴들을 사용하여 서브토픽들을 추출 및 생성하고, 제안한 수식을 바탕으로 순위화한다. 본 방법론은 기존의 주요 상용 검색 서비스에서 제공하는 연관 검색어 및 추천 검색어를 사용한 방법론보다 좋은 성능을 보였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.11a
• /
• pp.192-195
• /
• 2011

본 연구에서는 SVC 기반의 HTTP 스트리밍 서비스에서 스케일러블 임의 접근 (random access) 기능을 가능하게 하는 방법을 제안한다. ISO MPEG에서는 DASH (Dynamic Adaptive Streaming over HTTP) 기술을 표준화 하고 있는데, H.264/AVC 비디오에 대한 임의 접근 기능을 지원하는 구문론 (syntax)과 의미론 (semantics)은 현재 표준의 범위에 포함되어 있는 상황이지만 SVC 비디오에 대한 임의 접근 기능에 대한 기술은 포함되어 있지 않다. 본 연구에서는 SVC의 계층적 구조(layered structure)를 고려한 스케일러블 (scalable) 임의 접근 기능을 지원하기 위한 구문론 (syntax)과 의미론 (semantics)에 대해 제안한다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.20 no.10
• /
• pp.1-9
• /
• 2006

The emergency lighting plan for underground space should be done with consideration of characteristics of the space. In terms of utilizing the Depthmap program from the Space Syntax theory, it is possible to analyze space quantitatively. Integration and intelligibility are major induces of this theory and we can use them as emergency lighting design parameters. For this study, human behaviors and survivor's evacuation routes in fire emergencies are analyzed through literature review. Based on those results, this study suggests the methodology of emergency lighting plan in underground space.

• Journal of Internet Computing and Services
• /
• v.5 no.2
• /
• pp.97-105
• /
• 2004

The reason that an intelligent agent cannot understand the representation of its own perception or activity is caused by the traditional syntactic approach that translates a semantic feature into a simulated string, To implement an autonomously learning intelligent agent, Cohen introduces a experimentally semantic approach that the system learns a contentful representation of physical schema from physically interacting with environment using its own sensors and effectors. We propose that negation is a meta-level schema that enables an agent to recognize its own physical schema, To improve the planner's efficiency, Graphplan introduces the control rule that manipulates the inconsistency between planning operators, but it cannot cognitively understand negation and suffers from redundancy problem. By introducing a negative function not, IPP solves the problem, but its approach is still syntactic and is inefficient in terms of time and space. In this paper, we propose that, to represent a negative fact, a positive atom, which is called opposite concept, is a very efficient technique for implementing an cognitive agent, and demonstrate some empirical results supporting the hypothesis.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.1-37
• /
• 2018

As is well known, Wittgenstein criticizes Russell's theory of types explicitly in the Tractatus. What, then, is the point of Wittgenstein's criticism of Russell's theory of types? In order to answer this question I will consider the theory of types on its philosophical aspect and its logical aspect. Roughly speaking, in the Tractatus Wittgenstein's logical syntax is the alternative of Russell's theory of types. Logical syntax is the sign rules, in particular, formation rules of notation of the Tractatus. Wittgenstein's distinction of saying-showing is the most fundamental ground of logical syntax. Wittgenstein makes a step forward with his criticism of Russell's theory of types to the view that logical grammar is arbitrary and a priori. His criticism of Russell's theory of types is after all the challenge against Frege-Russell's conception of logic. Logic is not concerned with general truth or features of the world. Tautologies which consist of logic say nothing.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.26 no.4
• /
• pp.200-217
• /
• 2023

The purpose of this study is to analyze the urban spatial network of Busan in a time-series manner to examine the planning role of centeral area change and spatial management. The analysis method used the ASA(Angular Segment Analysis) technique of the space syntax theory, and the analysis period was divided into three periods from 1937 to 2022, when the Busan urban planning was established. As the result, the center area formed in Nampo-dong and Gwangbok-dong were differentiated and moved to Seomyeon, and then the process of redifferentiated into Yeonsan was confirmed in Seomyeon. It is also room for the center area to move to the western region in the future, and it was possible to identify the center area formed by the policy-set and amenity elements. In addition, we examined the system of urban spatial structure through the intelligibility analysis of space syntax theory, and found that the qualitative interpretation of existing studies and the interpretation from the perspective of space syntax theory were consistent with each other. Through this, it was possible to confirm that the role of the plan for space management.