• 대한수학교육학회지:학교수학
• /
• 제5권1호
• /
• pp.59-76
• /
• 2003

학교수학에서 학생들이 수학을 학습하고 문제해결을 하는 데에는 기호가 중요한 역할을 한다. 본 연구는 기호학의 분야인 구문론, 의미론, 화용론의 관점에서 수학 7-가 문자와 식 영역의 교과서 내용을 분석하고, 교수학적으로 대수 기호가 도입되고 전개하는 과정을 살펴보았다. 또한 기호학 관점에서 교과서의 대수 기호를 분류하고 문제 구성 분포에 대해서도 조사하였다. 그 결과 교과서의 대수 개념 설명과 문제들은 주로 구문론과 의미론의 관점이 많았으며, 화용론적 관점의 언급은 거의 없었다. 마지막으로, 대수 기호에 의한 학습을 통해 학생들의 문제해결을 예측하기 위하여 회귀 분석을 실시한 결과, 구문론과 화용론의 점수가 대수적 문제해결 점수의 예측 변수였다.

• 논리연구
• /
• 제16권3호
• /
• pp.309-346
• /
• 2013

이 글은 비트겐슈타인이 "논리-철학 논고"에서 어떤 언어 논리와 또 어떤 형이상학을 제시하는 지 다룰 것이다. 필자는 궁극적으로 어떻게 그가 언어 논리로부터 형이상학을 근거 짓는 지 밝히려고 한다. 비트겐슈타인이 언어의 한계를 '언어 내에서' 그으려 할 때, 그 언어 논리는 언어의 논리적 구문론이다. 그리고 비트겐슈타인은 논리적 구문론에 대한 사상을 세계의 본질에 대한 이해, 형이상학으로 확장시킨다. 언어(문장)가 가져야 하는 논리적 형식은 세계의 형식(또는 세계의 본질)이고, 그것은 오로지 언어의 논리적 구문론과 더불어서만 확정될 수 있다. 그러나 논리적 형식(세계의 형식)이 무엇인지에 대해서는 '말 되어질 수 없다'. 왜냐하면 그것을 말하는 명제는 '뜻' 없고, '아무것도 말할 수' 없기 때문이다. 그러므로 비트겐슈타인은 논리적 형식(세계의 형식)이 뜻 있는 문장에서 '오로지 드러날 수 있다'고 표현한다. 비트겐슈타인이 언어 논리(논리적 구문론)로부터 근거 지으려 하는 형이상학은 신비적일 것이다.

• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.469-493
• /
• 2012

본 연구는 증명을 성공적으로 구성하는 학생들은 수학적 개념을 어떻게 이해하고 있으며, 증명을 어떻게 구성하는 지를 살펴보고 이를 통해 증명을 구성하는 다양한 방식과 개념 이해의 관련성을 분석하는 데 목적이 있다. 증명 구성에 도움이 되는 수학 학습에 제언을 얻기 위해서는 증명을 구성하는 과정과 그 과정에서 개념이 어떻게 반영되고 이용되는 지를 살펴볼 필요가 있다. 이를 위하여 4명의 수학교육과 학생들을 대상으로 사례연구를 실시하였다. 그 결과 구문론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있을 뿐만 아니라 그 개념이 담겨있는 명제는 어떠한 방식으로 증명하는 지 그 방법까지 알고 있었다. 실제 증명에서도 평소 증명 경험을 통하여 학습한 증명 전개 방법을 이용하여 증명하는 것을 볼 수 있었으며, 이로부터 증명 방법에 대한 절차적 지식이 구문론적 증명에는 중요한 요소라는 결론을 얻을 수 있었다. 의미론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있고 그 내용과 의미를 본인만의 언어나 그림으로 표현한 개념 이미지를 가지고 있었다. 구문론적 증명을 하는 학생들의 개념 이미지와 비교해보았을 때, 의미론적 증명을 하는 학생들의 개념 이미지는 구문론적 증명을 하는 학생들의 개념 이미지보다 형식적 개념의 내용을 잘 반영하고 있었다. 이러한 개념 이미지는 개념 이미지를 활용하여 증명의 아이디어를 생각하고, 생각한 아이디어를 증명의 형식에 맞게 표현하는 데 사용된다는 점에서 의미론적 증명에 필요한 요소라는 것을 발견할 수 있었다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.135-140
• /
• 1998

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.294-296
• /
• 2012

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

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2011년도 추계학술대회
• /
• 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)에 대해 제안한다.

• 조명전기설비학회논문지
• /
• 제20권10호
• /
• pp.1-9
• /
• 2006

지하공간은 화재를 비롯한 재난이 발생했을 때 지상공간에 비해 더 큰 위험이 따르므로 비상유도등 설계시에 공간의 특징을 충분히 고려해야 한다. 공간구문론의 뎁쓰맵(Depthmap) 프로그램은 공간의 정량적인 분석을 가능하게 하는 프로그램으로, 이를 통해 개구부의 위치 등 평면 구성에 따른 공간의 정확한 분석을 할 수 있다. 본 연구에서는 공간구문론을 이용한 지하공간 비상유도등의 위치선정 방법론을 검토하기 위해 화재발생시 나타나는 인간 행동의 특징을 파악하고 복잡한 공간에서 생존자득의 피난경로를 선택하는 방법을 분석하였다. 그리고 공간구문론으로 분석된 특정 공간에 이상의 분석결과를 종합하여 천편일률적인 설치가 아닌, 공간의 구조를 고려한 비상유도등의 효율적인 위치선정 방법론을 검토하였다.

• 인터넷정보학회논문지
• /
• 제5권2호
• /
• pp.97-105
• /
• 2004

에이전트가 지각이나 행위의 표상을 이해할 수 없는 이유는 의미론적 자질을 문자열로 변환하는 구문론적 표상방식에 의해서 일어난다. 자율적으로 학습하는 인지 에이전트를 구현하기위해 코헨은 에이전트가 sensor와 effector를 사용하여 주위환경과 물리적으로 직접적인 상호작용을 통하여 물리적 스키마의 의미 표상을 학습하는 의미론적 방법을 제안하였다. 본 논문에서는 부정(negation)은 그러한 물리적 스키마를 인식하게 하는 메타 스키마임을 제안한다. 최근에 Graphplan은 계획 시스템의 성능을 향상하기 위하여 inconsistency를 이용하는 제어규칙을 사용하지만, 구문론적으로 접근하여서 부정의 의미 개념을 이해하지 못하고 중복표현의 문제를 야기한다. IPP는 부정 함수인 not을 도입하여 중복문제를 해결하지만 여전히 구문론적으로 접근하며 또한 시간과 공간에서 비효율적이다. 본 논문에서는 의미론적인 접근법을 도입하여 부정을 위해서 반대 개념이라는 긍정 아톰(atom)을 사용하는 것이 지능 에이전트를 구현의 효율적 기법이라고 제안하고, 이 가설을 지지하는 실험적 결과를 제시한다.

• 논리연구
• /
• 제21권1호
• /
• pp.1-37
• /
• 2018

잘 알려져 있듯이, 비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론을 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 이 물음에 대답하기 위하여 나는 철학적인 측면과 논리학적인 측면에서 유형 이론을 살펴보고자 한다. "논리-철학 논고"에서 비트겐슈타인의 논리적 구문론은 말하자면 러셀의 유형 이론에 대한 대안이다. 논리적 구문론은 "논리-철학 논고"의 표기법의 기호 규칙들이며 특히 형성 규칙들이다. 비트겐슈타인의 말하기-보이기 구분은 논리적 구문론의 가장 근본적인 근거이다. 비트겐슈타인은 러셀의 유형 이론에 대한 비판과 함께 논리적 문법의 임의성(자의성)과 선험성으로 나아간다. 유형 이론에 대한 이러한 비트겐슈타인의 비판은 결국 프레게와 러셀의 논리학관에 대한 도전이다. 논리학은 세계에 속하는 일반적인 진리나 특성들을 다루지 않으며, 논리학을 이루는 동어반복은 아무것도 말하지 않는다.

• 한국지리정보학회지
• /
• 제26권4호
• /
• pp.200-217
• /
• 2023

본 연구는 부산의 도시공간 네트워크를 시계열적으로 분석하여 중심지 변화 및 공간관리의 계획적 역할을 살펴보는 것이 목적이다. 분석 방법은 공간구문론의 ASA(Angular Segment analysis) 기법을 사용하였고 분석 기간은 부산시가지계획이 수립된 1937년부터 2022년까지 세 시기로 구분하여 살펴보았다. 그 결과 남포동, 광복동 지역에서 형성된 중심지가 분화하여 서면으로 이동하였고, 이후 서면에서 연산으로 재분화하는 과정을 확인하였다. 아울러 향후 중심지가 서부권으로 이동할 여지가 있고 정책적으로 설정된 중심지 및 어메니티적 요소로 형성되는 중심지를 파악할 수 있었다. 또한 공간구문론의 명료도 분석을 통해 도시공간구조의 체계성을 검토한 결과, 기존 연구들에서 정성적으로 해석한 것과 공간구문론 관점에서 해석한 것이 서로 일치하였다. 이를 통해 공간관리를 위한 계획의 역할을 확인할 수 있었다.