• 한국수학사학회지
• /
• 제21권1호
• /
• pp.17-28
• /
• 2008

이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.

• 한국공간구조학회논문집
• /
• 제4권3호
• /
• pp.93-101
• /
• 2004

구조시스템은 역사적으로 발달해온 기술적 배경에 따라 건축에 사용되었고, 구조의 역할도 변화되어 왔다. 그러므로 다양한 구법으로 이루어지는 연성구조시스템의 건립사례와 시기에 따라 건립된 규모를 조사함으로써 여러 연성구조형식의 a성을 고찰하고 연성구조의 전개방향을 모색하였다. 그 결과, 연성구조시스템은 초기에 여러 케이블구조로 발달하기 시작하였으나 1970년대 이후부터는 막구조가 주로 사용되고 있는 것으로 나타났다 또한 초기의 케이블 구조시스템들은 대공간 건축에 주로 사용되었으나, 1970년 이후에는 중소규모의 건축물에 사용되는 경향이 있으며, 격자형 케이블구조나 공기막구조 그리고 돔 형식의 들림형 하이브리드 막구조가 대형공간으로 발달하는 경향을 보이는 것으로 나타났다.

• 대한수학교육학회지:수학교육학연구
• /
• 제17권1호
• /
• pp.1-31
• /
• 2007

본 논문에서는 먼저 음수개념의 내재적 본질이 외형화되는 점진적 형식화의 과정을 역사적인 측면에서 분석하였다. 그리고 음수의 개념장을 가법구조와 승법구조에 측면에서 분석하였으며 역사적 심리학적 분석을 바탕으로 음수개념의 형식성을 이해하기 위한 방안을 모색하기 위해 음수개념의 발달 수준을 설정하였다. 그리고 음수개념의 형식적 본질에 비추어 현행 교육과정에서의 음수 지도 내용을 분석하여 그 문제점을 드러내고자 하였으며, 우리나라 중등학교 학생들의 음수의 이해 상태를 조사 분석하였다. 끝으로, 이러한 분석을 기초로 점진적 수학화 과정, 기호화 과정을 통하여 음수개념의 형식성을 지도하기 위한 구체적인 지도 방안을 제시하였다.

• 한국수학사학회지
• /
• 제20권4호
• /
• pp.49-60
• /
• 2007

본 논문에서는 초등기하에 나오는 도형의 합동의 개념으로부터 자연스럽게 얻어지는 3차원 유클리드 공간에 있는 매끄러운 곡면의 강성의 개념을 소개하고 컴팩트 곡면의 강성이론의 발전과정과 그 일반화를 살펴본다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2018년도 제58차 하계학술대회논문집 26권2호
• /
• pp.423-424
• /
• 2018

본 작품은 학생들의 캡스톤디자인 작품이다. 본 작품은 역사적으로 존재했던 공룡에 대한 이해와 생명에 대한 존중을 알리기 위한 앱으로, 단조로움을 피하기 위해 게임형식으로 퀴즈를 풀어 공룡관련지식을 얻을 수 있도록 개발하였다. 따라서 본 앱은 공룡알부터 어미가 되는 일대기를 앱으로 표현하고자 하였으며 알에서부터 성장까지 중간중간에 정답을 맞추게 함으로써 공룡알이 시간에 따라 점점 성장하는 형식으로 꾸며졌다. 본 앱의 타겟 사용자인 유아기 어린이들의 생명에 대한 애정과 책임감을 강조하였고, 오락적인 측면을 합친 교육용 게임 어플리케이션이다.

• ETRI Journal
• /
• 제8권3호
• /
• pp.123-128
• /
• 1986

CAD 워크스테이션과 설계도구가 다양해지고, 각 시스팀이 고유한 설계 데이터 형식을 가짐에 따라 CAD설계 데이터의 정보교환에 어려움이 생기게 되었다. 본고에서는 이러한 문제점을 해결하기 위해 최근 개발된바 있는 EDIF란 표준전자회로 설계 데이터 양식에 관하여 소개한다. 내용으로는 EDIF의 개발 동기와 역사, 구문과 구조, 특성 및 미래에 관하여 언급하였다.

• 전자공학회지
• /
• 제11권1호
• /
• pp.54-56
• /
• 1984

1983년은 금성사가 4반세기 25주년을 맞는 뜻깊은 해였다. 한국에서 전자공업은 물론이고 기술분야를 통털어 실로 황무지였던 1950년대의 암울했던 시대에 기술 개척의 깃발을 들고 우리 나라 전자공업의 역사를 만들어 오던 금성사가 이제 4반세기의 첫 해인 1984년을 맞이한 것이다. 그것은 단순히 금성의 기술 역사가 4반세기 25년의 장을 넘긴다는 형식적인 면에서 분만 아니라 그 4반세기의 면면한 자기 단련을 바탕으로 세계 굴지의 금성으로 또 한번 발돋움하기 위한 계기로 삼아(선진 금성)을 이룩하려는 의지와 (선진 조국)을 선도하려는 금성사 전 임직원의 굳은 결의와 열의로 미래의 조국을 준비하는 초석이 될 한 해이기 때문이다.

• 정보교육학회논문지
• /
• 제10권3호
• /
• pp.327-340
• /
• 2006

에듀게임은 학습자들로 하여금 흥미롭고 자기 주도적인 교육환경을 제공하기에 매우 적절한 분야이다. 본 논문에서는 고구려 역사에 초점을 맞추어서 역사 학습에 적용이 가능한 에듀게임을 개발하였다. 이름은 북벌로 명명하였다. 북벌의 주된 내용은 학생들로 하여금 고구려 역사에 대한 올바른 이해를 하도록 하기 위함이다. 중국이 고구려 역사를 왜곡하고 있다는 내용의 교육이 필요한 때이다. 단순히 교육과 재미의 형식적 결합이 되지 않도록 게임의 의미 요소를 염두에 두었다. 북벌은 일본의 Enterbrain사에서 만든 RPG making 2003(RPGツワ一ル2003)을 가지고 구현하였다. 마지막으로 학생들을 대상으로 에듀게임의 만족도 조사를 하였다. 조사 결과, 본 에듀게임의 역사 학습으로서의 긍정적인 활용 가능성과 더 나은 그래픽 인터페이스의 필요성을 알 수 있었다.

• 만화애니메이션 연구
• /
• 통권11호
• /
• pp.29-39
• /
• 2007

우리는 종종 우리가 접하고 있는 만화의 역사를 기원전까지 거슬러 올라가는 경우를 발견한다. 만화와 전혀 무관하다고 할 수는 없겠지만 이러한 입장은 동시대 만화의 특성에 대한 이해의 부족을 야기할 수 있다. 우리는 1896년, 리차드 펠튼 아웃콜트(Richard Felton Outcault)의 <옐로우 키드(Yellow Kid>)에서 오늘날까지 이어지는 만화라는 매체를, 만화의 사전(事前) 형식과는 틀린, '근대 만화(la bande dessin.e moderne)'라고 규정하고 이를 정의하려 시도했다. 이런 시도는 새롭게 등장하고 있는 '화면'이라는 지지대(support)와 기존의 만화형식과의 만남을 어떻게 이해해야 하는가에 대한 방향성을 설정하는데 도움이 될 것이라고 기대한다.

• 건축역사연구
• /
• 제17권1호
• /
• pp.7-28
• /
• 2008

Colin Rowe was an important historian, theorist and critic in Modern architecture. His significance in Modern architectural history lies in not only historiography which has changed our view of Modernism but deep theoretical involvement in practice. This study is a critical review and analysis on his formalist approach in Architecture. With a view that his position of formalist has indispensible relationship with liberalism from K. Popper's critical rationalism, this study try to show how his philosophical background has an influence upon his way of seeing architecture, history, form, urbanism, and meaning, etc. And this study also try to explain why the principle of architecture as an autonomous discipline which is the main point of view in Rowe's criticism has been so successful and influential. This study also explain what is the possibility and limitation of Rowe's formalist approach and way of reading buildings. His intelligent way of formal analysis can give us new understandings of how the form generates and the process of design goes on. Furthermore it guide us a new horizon of architecture as a language game. Since his early writings showed both side of formalist approach in architecture and it didn't changed a lot. We can understand his 'Collage City' was a his final answer to his formalist way of making architecture and urbanism. we can estemate it as a utopia without utopianism and an ideology without ideological color.