The fact.

2010년 4월 17일 토요일

미국의 시골집

김영구 과장님의 작품. 내 뒷모습도 어딘가에 있다는. 정확하게는 모르지만 게스트 하우스는 3억이라고 했다. 다운타운이 아니라서 시골집이라고 했지만.

정말 멋지지 않은가. 집들도 이쁘고. 하지만 이쁜 이면에 단점도 있다. 그래도 이쁜 것만 감상하기.

폰카지만 해상도가 높다. 클릭~ 클릭~

2010년 4월 13일 화요일

피사의 사탑

http://ko.wikipedia.org/wiki/%ED%94%BC%EC%82%AC%EC%9D%98_%EC%82%AC%ED%83%91

2010년 4월 10일 토요일

기타센터

크훼훼훼 12만원 짜리 기타부터 200, 300, 350, 400, 500만원 짜리 기타 쳐 봤다.

결론은... 흠... 왠지 비싸면 소리가 좋은 것 같은 느낌이 ^^

뭐, 똑같다는 소리지 뭐. 서울에도 있을 것 같은데 여긴 뭐 지다다가 먼 상점같이 생겨서 들어갔더랬다. 얘네들은 뭐든지 다 커 ㅡㅡ;

여튼, 김영구 과장님과의 추억!

2010년 4월 9일 금요일

천재 수학자

많은 것을 생각하게 해준다. 정말. 명예에도 초연했던.

그보다 그 명예를 다른 사람이 가져간다는게... 참.

세상은 수많은 별들도 모두 그들이 이루었던 것은 아니었겠지...하는 추측을 해 본다.

푸앵카레추측 [Poincare conjecture]

'3차원에서 두 물체가 특정 성질을 공유하면 두 물체는 같은 것'이라는 이론을 말한다. 미분방정식의 곡면 분류에 관심을 갖던 푸앵카레가 1904년의 논문에서 '단일연결인 3차원 다양체는 구면과 같은 것인가'라는 문제를 제기하면서 비롯되었다.

이 문제는 n차원 다양체까지 확장되었는데, 미국 캘리포니아대학교 샌디에이고 분교 교수 스메일(Stephen Smale)이 n?5의 문제를 다양체의 특이점과 곡면 위상의 상태를 나타내는 양(量)의 대응을 이용하여 위상동형임을 밝히는 데 성공했다. 스메일 교수는 그 공적으로 1966년도 필즈상을 수상했다.

1981년에는 같은 대학교 버클리 분교 교수 프리드먼(M.H. Freedman)이 4차원 푸앵카레추측을 해결하여, 1986년도 필즈상을 수상했다. 이 같은 진전은 '수학 문제는 차원이 높아질수록 어려워진다'는 단순한 생각을 뒤엎었다는 점에서도 획기적이었다.

미국의 클레이 수학연구소는 이 문제를 푸는 데 100만 달러의 상금을 걸었고, 2003년 '러시아 태생의 베레르만이 미분기하학의 도구를 이용하여 해결했다'는 보고가 발표된 바 있다.

라고 네이버 백과사전에 나와 있네요.

수학계 밀레니엄 난제 '푸앵카레추측' 풀렸다

[머니투데이 김유림 기자]한 문제를 풀 때마다 상금 100만달러가 수여되지만 아직까지 아무도 풀지 못한 '밀레니엄 7가지 난제' 중 한 문제인 '푸앵카레 추측'을 러시아 수학자 그리고리 페렐만이 증명한 것으로 결론지어졌다고 월스트리트저널이 21일 보도했다.

미국의 부호 랜던 클레이가 지난 2000년 한 문제당 100만달러씩 총 7백만달러를 내건 '밀레니엄 난제'는 ‘리만 가설’과 ‘양-밀스 이론과 질량 간극 가설’, ‘내비어-스톡스 방정식’, ‘푸앵카레 추측’, 'P 대 NP 문제', ‘버치와 스위너톤-다이어 추측’, ‘호지 추측’ 등 지금까지 인류가 해결하지 못한 7가지 미해결 수학문제를 일컫는다.

'밀레니엄 난제'는 지금까지 수많은 수학자들이 도전하고 있지만 아직까지 풀리지 않아 ‘수학의 에베레스트’로 불리기도 한다.

푸앵카레 추측은 ‘어떤 하나의 밀폐된 3차원 공간에서 모든 폐곡선이 수축돼 하나의 점이 될 수 있다면 이 공간은 반드시 원구(圓球)로 변형될 수 있다’는 추론으로 이를 증명해야 하는 것이 문제였다.

러시아 상트 페테르부르크의 스테클로프 수학 연구소의 그리고리 페렐만은 지난 2002년과 2003년에 걸쳐 인터넷 홈페이지에 푸앵카레의 추측을 증명할 수 있는 방법들에 대한 짤막한 논문을 게시해 수학계의 주목을 받았다.

pdf파일을 통해 각각 22페이지와 39페이지로 돼 있는 논문은 '푸앵카레'라는 단어 조차 나와 있지 않아 처음에는 관심을 끌지 못했지만 푸앵카레 추측을 풀 수 있는 결정적 단서를 포함하고 있었다.

세계 수학계는 이 때문에 그에게 자세한 설명을 요구했지만 정작 페렐만은 이 논문에 대해 설명하고 싶은 생각이 없다며 입을 닫아 버렸다.

은둔적 학자 스타일의 페렐만이 권위적인 세계 수학계에 이를 설명하고 싶은 마음이 없었고 상금 100만달러에도 역시 관심이 없던 것으로 알려졌다.

금세기 최고의 수학 문제를 풀고도 논문으로 자세히 발표하지 않고 인터넷에 짧게 올린 것 역시 그의 권위파괴주의적인 사상 때문이라는 분석도 있다.

하지만 수학계가 그의 논문을 몇 년간 검증한 결과 페렐만의 주장은 푸앵카레의 추측을 푸는데 거의 완벽한 해답을 제시한 것으로 결론지어졌다.

그러나 불행히도 상금을 거머쥐게 된 것은 페렐만이 아닌 미시간대학의 클레이너와 로트 교수로 이들은 페렐만의 짧은 논문을 검증한 끝에 300쪽에 달하는 '푸앵카레의 추측 증명' 논문을 발간해 상금을 받을 전망이다.

클레이 수락 연구소의 제임스 칼슨 회장은 "푸앵카레의 추측을 상세히 풀어내고 이를 다른 사람들에게 설명할 수 있는 학자에게 상금을 수여하는 것이 맞다고 생각한다"고 말했다.

칼슨 회장은 또 "내 생애에 남은 6문제 중 한 문제라도 풀릴 것이라고 기대하지는 않지만 푸앵카레의 추측 역시 풀리지 못할 것이라고 생각했었다"고 말했다.

이로써 은둔 수학자인 페렐만은 이 어려운 세기의 난제를 풀고도 상금을 받거나 세상의 시선을 자신에게로 집중시키지 못하게 됐다.

그는 16살의 나이인 82년 당시 국제 수학 올림피아드에 출전해 우승을 한 영재로도 알려져 있다.

아래 뉴스기사 때문에 이슈가 되는 것 같네요.

숨어버린 천재 수학자

현대 수학의 최대 난제 중 하나를 풀어낸 천재 수학자의 행방이 오리무중이다.

세계 수학계가 3년 전 ‘밀레니엄 7대 난제’ 중 하나인 ‘푸앵카레 추측’(Poincare conjecture)을 증명해낸 러시아 수학자 그리고리 페렐먼(Grigory Perelman)을 애타게 찾고 있다고 뉴욕타임스가 15일 보도했다. 오는 22일 스페인 국제수학자회의(IMU)에서 ‘수학의 노벨상’이라는 ‘필즈 메달’ 수상이 유력하지만 정작 본인은 감감무소식이다. 미국의 클레이재단이 ‘7대 난제’를 푼 수학자에게 줄 100만달러의 상금도 주인을 찾지 못하고 있다.

‘푸앵카레 추측’이란 ‘하나의 밀폐된 공간에서 모든 폐곡선이 수축돼 하나의 점이 될 수 있다면 이 공간은 반드시 원구(圓球·sphere)로 변형될 수 있다’는 추론. 예를 들어 야구공과 담배는 변형에 변형을 거듭하면 결국 구체라는 점에서 같다는 것이다. 이는 우주의 전체적 형태를 밝혀내는 문제와도 관련돼 있다고 NYT는 전했다.

페렐먼의 행방에 대해서는 “은둔 중일 것”이라는 추측이 무성하다. 연구를 팔아 돈을 버는 것처럼 비치거나, 대중의 관심 대상이 되는 것을 꺼리기 때문이라는 것이다. 그는 본래 “수줍음 많고 물질적 부(富)에 관심 없는 비(非)세속적 인물”이라는 것이 동료 연구자들의 평가다. 취미도 자신이 살던 상트페테르부르크 교외의 숲에서 버섯 따기일 정도. 명예에도 초연해 1996년엔 유럽수학회가 주는 ‘젊은 수학자상’을 거절하기도 했다.

2010년 4월 5일 월요일

바베큐 경험담.

바베큐를 꾸븟다. 간지 나는 전기그릴(영화에서 나오는 큰~거)는 고장났다. 옆집도 고장나서 내놓은거 보니 숯불이 짱인가보다.

석탄 드립다. 붓고 신문지에 불 붙여서 달군다. 신문지 많이 쓰면 다 탄 종이 쪼가리 날리는데 "아! 이래서 잔디 마당이 필요한 거구나." 했다. 석탄은 흰색이 되고 나서 꾸워야 한다.

와~ 갈비 꿉자. 계란은 다 터졌다. 은박지에 싸서도 해 봤는데 터지더라. 계란 넣지 말자 ㅠ.ㅠ 계란 터지면서 석탄가루 날려서 고기에 다 붙었다. 사리 생기겠군...

번외편 삼겹살도 잘 꾸워지더라. 주변의 만류에도 꾸웠다. 다만.. 기름 뚝 떨어지면 불이 용솟음 친다. 죽는 줄 알았다. 막판에 석탄 봉다리 털어넣으니 또 불이 용솟음 치더라. 석탄 가루는 알콜과 같은 거였다. 타 죽을 뻔하고 먹는 고기는 맛있을 수 밖에 없었다.

그나저나 먹고 나서 뒤처리는 정말 일이다. 고깃집 짱!

2010년 4월 4일 일요일

크라운J의 차

인터넷을 뒤지다 보니 크라운 J가 캐딜락의 에스컬레이드를 구입했다는 소식을 접하고 포스팅을 해 본다. 테스트용으로 한달전에 선배가 빌려서 팀원들이 한번씩 타 봤는데 괜찮다는 이야기들을 하고 있던 차였다.

왼쪽문에 보면 의자를 조절할 수 있는 버튼이 보인다. 기억시키고 1번 누르면 1번 체형에 2번 누르면 2번 체형에 중간 버튼은 나갈 때 누르면 뒤자가 뒤로 땡겨져서 좀 편하다.

후진할 때 후방 카메라가 작동한다. 기어는 핸들바로 옆에 달려 있다. CD챌린저와 라디오가 달려있다.

흠냥.. 밤에 운전하다가 찍어서 좀 흔들렸다. 높아서 시야각이 좋고, 엔진이 좋아서 잘 나간다. 8기통이라고 들었는데 재원은 인터넷에 나와있을 테니... 좀 불편한게 액셀은 너무 민감하고 브레이크는 잘 안 먹는다. 차라리 둘 다 민감하등가. 액셀 조절 잘 못하면 퍽퍽 나가기 일쑤. 물론, 습관되면 다 편하지 뭐.

뒷 좌석은 이렇다. 솔직히 뒤에 사람들은 불편하다. 중간 의자는 앞으로는 다 재껴져도 뒤로는 다 안 재껴 진다.

백미러는 크다. 백미러에 깜빡에도 들어오고.

빨간버튼 눌렀다가 emergency service와 연결되었다. 통화 가능하다. 요건 좋은 기능이라 생각함. 전화기도 없는데 전화 연결도 되공.

뭐 밖은 이렇다. 걍 튼튼하게 생겼다.

내부는 이렇다. 뒤쪽에도 시거잭과 온도 조절 장치가 있어서 알아서 온도 조절을 할 수 있다. 라디오는 운전자만 ^^ ㅋㅋ

라디오는 편하게 카테고리 별로 분류되어 있다. 라디오도 먼 성인 방송 채널이 있더란다 ^^

참 좋은 차다 해서 미국 가격을 보면 7천만원 정도? 였는데 한국 가격을 보니 1억이 넘었다 ㅡㅡ;

참내 7천이면 우리나라 차와 비교해서 아 어느정도 메리트가 있다. 뭐, 캐딜락이라는거? 한국에야 없지만 여긴 출퇴근 시간에는 눈만 뜨면 거리에서 볼 수 있다고 해도 과언이 아니다. 여긴 캐딜락이 그리 대단한 상표가 아니다.

미국이 한국보다 잘 사는데 차값은 2/3 가격이다. 이해할 수 없다. 기름값은 반값이고. 한국서는 중고가가 1억 넘기도 하더라.

흠... 참. 그리고 한국차 매장 많다. 렌트 업체에 큰 한국차는 없어서 빌렸지만 만약 필드 테스트용으로 빌린다면 스타렉스, 카니발이 뒷좌석 사람들은 더 편할거 같다.(뭐 굳이 외제차 욕하긴 싫지만 사실 더 편하다 ^^)

미국서 현대 제네시스 광고할 때 BMW3의 가격과 BMW5의 안정성과 BMW7의 드라이빙(정확하진 않음.기억에 의존)이라고 광고를 한 적이 있다. 정말 그런 것 같다(다 타보진 않았지만 성환이는 알겠지)

그렇게 좋은 한국차들을 놔두고 공인이 한국에서 번 돈으로 외제차를 타는 것은 이해불가다.

공인이 아니라면 이해할 수 있겠다. 하는 행동이 대한민국을 대표하지는 않으니까.

뭐, 좋지 않은 차는 아니니까 살 수도 있겠지 뭐.

현차 사람들이 불쌍하다. 잘만들면 뭐하는가.. 제네시스 그렇게 좋다고 미국에서 인정받아도 길거리에 제네시스 한대 없다. 회사 가면 한국 사람들이 가끔 몰고 오는 것 외에는 길에서는 보기 힘들다. 디자인도 절대 꿇리지 않는다.

현대차 파이팅!

개략적 디버깅 방법.

[쌍판을 내놓는 다는게 쉬운 일은 아니지만. 개인적으로 좋아하는 사진이다. 어지러진 책상과 편안한 옷차림 하나의 문제에 문제에 집중하는.]

1. 우선 사람에게 물어본다.

우리가 하는 대부분의 프로젝트는 1인 프로젝트가 아니다. 최고의 디벨로퍼라도 10명은 감당할 수 있을지는 몰라도 100명은 힘들다. 즉, 사람과의 의사 소통이 가장 중요하다. 회사에서 싫은 사람이 있을지라도 일적인 것은 과감하게 물어보자. 접근 가능한 소스와 그렇지 않은 부분을 구분해서 관련 기관에 질문도 빨리 해야 한다.

2. 잘못된 판단이라도 일단 내린다.

과학에서 하는 가설 검증처럼. 이럴거라고 추측해 본다. 1번에서 제대로 물어보았다면 가장 빠르고 정확한 판단이 가능할 것이다. 잘못된 판단을 따라가다보면 어떻게 디버깅 해야할지 감이 온다.

3. 소스 리버스 엔지니어링

메모가 중요하다. 소스를 보다보면 자신이 짠 것이 아니기 때문에 소소한 내용이야 분석 가능하지만 큰 그림을 그리기에는 힘들다. 그래서 이렇게 짜여졌을 것이다라는 블럭 다이어그램을 그리면서(간단히 사각형만 그리면 된다) layout을 구성해 본다. 일단 큰 그림이 그려지면 어디서 문제가 발생하는지 찾을 수 있다. C의 경우 Source Insight는 필수다.

4. Trace32

회사에 와서 제일 좋았던게 Trace32을 받을 수 있었다는 것이다. 물론, 전 후 내용 모르고 일단 문제점을 건너뛰고 싶다면 Trace32가 가장 강력하다. 이건 정말 밖에서 배우려면 돈이 너무 많이 든다. 나 역시 학교 지원으로 89만원짜리 강의를 들은 적이 있는데 회사 오니 그냥 동영상 강의 파일이 돌더라.

정리하자면...

Trace32 있어야 한다. ㅡㅡ; 그게 아니라면 소스마다 Debug Msg를 심어야 하는데... 그 작업도 일이요. 심고나서 컴파일도 일이다. 가끔은 심었던 deg msg 때문에 reset이 나는 경우도 있다. 담당자한테 물어봐도 그건 자기 일이 아니라고 하기 일쑤며, 프로젝트가 클 수록 모든 layout을 아는 사람은 바쁘다. 그래서 그 다음 엔지니어에게 물어보면 자기 일이 아니기 때문에 정확하지 않은 정보도 대충 가르쳐 준다.

툴 하나가 이 많은 것들을 해결해 준다고 보면 되겠다.

2010년 4월 3일 토요일

Apple에 관한 내 생각.

내일이면 아이 패드가 나온다. 옆에 일하는 선배는 예약 주문해놔서 내일 매장가서 받으면 된다고 한다. 동영상으로 보니... 정말 잘 만들었다.

예전에 옴니아 폰을 검증한 적이 있는데(옵션이 너무 많아서 개고생했다) 상당히 좋았다. 학창시절 linux 진영에만 있을 때는 windows 자체를 싫어했는데. 집에 리눅스 깔고 X-window 깔아서 어머니께 컴퓨터를 가르쳐 드리려다가... 많은 것을 깨닫게 되었다.

아 쉬운게 좋은 거구나.

그래서 옴니아II가 하드웨어 스펙이 더 좋지만 소프트웨어가 좋은 아이폰을 선택했다. 물론, 난 삼성폰 주로 쓴다. 회사서는 아이폰 못쓰니까 2개 쓸 생각이다. 솔직히 난 좋은 것을 써봐야 좋은 것을 만들 수 있다고 생각한다.

평생 뽕짝만 들어서는 클래식을 작곡할 수 없을 것이다.(참고로 난 뽕짝이 더 좋다). 뭐, 예를 들면.

예전에 정전방식 터치 스크린을 엄니가 눌러보시니 잘 안되었다. 고생을 너무 하셔서 손에 굳은살이... ㅠ.ㅠ. 기회가 된다면 아이패드를 발 튀꿈치로 눌러보고 잘되면 어머니 하나 사 드리고 싶다. 일단 설명서 없이 쓸 수 있게 만드는 소프트웨어.

정말 수직적인 계급 체계에 자기 파트 아니라도 맘대로 시킬 수 있고, 정작 윗사람은 편하고자 하는 조직에서는 나올 수 없는 생각들. 물론, 우리 조직 내에서도 아닌 팀은 있지만 정작 내가 있는 팀은 좋지만 수 많은 아이디어는 묵살된다. 그리고 그렇게 될 수 밖에 없는 구조다.

애플은 부러운 존재다. 일단 이름하고 로고부터 월매나 단순한가? 맨날 똑같은 디자인으로 밀고... 그래서 명품이 되는 것인지도 모른다. 구관이 명관이지 모.

한결같은 브랜드. 쉬운 브랜드. 그것이 멋져 보인다.

우리 나라에도 애플 하나 있었으면 좋겠다. 난 배가 더 좋으니 이름은 pear면 좋겠는데...