본문 바로가기

스펙이 가지는 의미 나처럼 바보같이 느즈막해서야 이해가는 사람이 있을까 해서 남겨두는 글 HTML4 , J2EE , SERVLET 2.0 , SERVLET 2.4 , JAVA 1.5.... 등등등 수많은 버젼 스팩이 난무하는 세상이다. 하지만 저 도대체 정말로 저 이름들이 뜻하는것은 무엇일까? 난 처음 일반 application처럼 새로운 버젼의 프로그램이 나오는 것으로 생각했었다. 물론 반은 맞는 말이다. 하지만 저것들은 specifications 즉 명세이다. 이것은 표준화란 말로 다시 설명 할수있는데 실제 저 이름이 뜻하는 것은 대상의 기능 및 사양을 정의한 명세서이다. 몇 천장의 상세한 기능을 설명한 구현 명세로서 저 공개된 저 명세서에 맞추어 구현을 하면 그것이 HTML4가되고 J2EE가되며 SERVLET이 되는것.. 더보기
괴델의 불완전성의 정리 먼저 컴퓨터에 대해 이야기하기 전에 컴퓨터가 할수있는 일. 즉 계산 가능성에 대해 알아야 한다. 이 계산 가능성에 대해선 괴델의 불완전성의 정리에서 잘 나와있다. 읽다보면 알겠지만 힐베르트의 완전성 증명에 대해 괴델의 불완전성 정리가 이를 답변하고 이에 처치 튜링이 계산가능한 것에 대한 이론을 발표함으로서 컴퓨터의 기초가 완성되게 되었다. 먼저 불완전성의 정리에 대해.. Wikipedia : Gödel's incompleteness theorems : 수리논리학에서 불완전성정리는 1930 년에 Kurt Gödel 이 증명하여 두차례에 걸쳐 발표되었다. 단순화 시키면, 첫 번째인 제 1 불완전성 정리는 다음과 같다. 기초적인 산술을 충분히 강력하게 허용하는 어떤 무모순의 수학 형식 시스템에서도, 그 시스템.. 더보기
공부잘하는사람과 머리가 좋은사람. 최근에 아트 디렉터로 유명한 "사토 카시와의 초 정리술"이란 책을 읽고 있고 있다. 책을 읽다보니 얼마전 공부잘하는 사람들의 공통점에 대한 뉴스가 떠올랐다 . 그 뉴스에서 나온 공통점은 공부 잘하는 사람들은 대부분 자신이 공부한것을 항상 정리하여 복습한다는 것이다. 사토 카시와의 초정리술에도 같은 이야기가 나오는데 그는 자신의 일이 남들과 다른 창조적인 작업이 아니라고한다. 자신의 작품들은 특별히 파격적이라든지 혁명적인 것이 아닌 기존에 있던것을 재배치 또는 활용한다는 것이다. 이것은 공간,정보,생각의 정리라고 불리는 정리술로 인해 나온다는 내용이었다. 최근 뇌과학에 관련된 책을 읽고 나서인지 이것은 뇌의 구조에 인한것이라는 생각이 강하게 들었다. 우리는 항상 수많은 정보의 홍수속에 노출되어있다. 시각,.. 더보기