FPSAC 2009 학회 참석하기 위해 오스트리아 Linz 인근 Hagenberg 에 7월 18-25일 동안 머물 예정입니다. 학회에서 저도 포스터 발표를 합니다.

• 7월 18일
  10h00 집 출발 / 11h30 Lyon 공항 도착 (라운지 이용)
  12h45 Lyon 공항 Terminal 1 출발 / 14h05 Munich 공항 Terminal 2 도착
  18h50 Munich 공항 Termial 2 출발 / 19h35 Linz 공항 도착
  19h45 Linz 공항 출발 / 20h45 Hagenberg 학회장 도착
• 7월 19일 / 리셉션
• 7월 20-24일 / FPSAC 2009
  
• 7월 25일
  18h25 Linz 공항 출발 / 19h35 Frankfurt 공항 Terminal 1 도착 (라운지 이용)
  21h15 Frankfurt 공항 Terminal 1 공항 출발 / 22h30 Lyon 공항 Terminal 1 도착
  22h40 Lyon 공항 출발 / 23h30 집 도착
  

위의 기간 동안에 아내와 제 휴대폰을 서로 바꾸었습니다. 참고 바랍니다.

구글 공식 블로그에 Introducing the Google Chrome OS (번역본) 이 올라왔다. 내용은 감동적이었다. 단 한 개의 글이었지만, 구글이 무엇을 만들고자 하는지 분명해 보였고, 이미 나는 그것을 기대하면서 상상하고 있었다.^[각주:1]

나는 구글 크롬 브라우저^[각주:2]를 사용하고 있다. 구글 크롬 브라우저가 처음 출시된 그 때 부터 지금까지 쭉 사용하고 있다. 가끔씩 한국에 있는 우리은행에 접속할 때만 IE를 사용할 뿐이었다.^[각주:3] Firefox 조차도 이질감 때문에 설치하지 않았었는데, 구글 크롬 브라우저에선 그런 이질감을 느끼지 못했을 뿐만 아니라, 사용해 보니 정말 빠르고 편했다. 특히 탭이 자유자재로 떨어져 나오는 것을 보고 있자면 감동스럽기 까지 한다. 그러한 크롬 브라우저가 OS가 된다는 소식을 듣고 어떻게 흥분하지 않을 수 있단 말인가!

구글 크롬 OS는 혁신적인 OS가 될 것이다. 구글 크롬 OS는 분명 가볍고, 빠르고, 안정적일 것이다. 부팅에서 웹에 접속하는 것까지 수초도 걸리지 않을 것이며, 모든 응용프로그램은 웹어플리케이션으로 대체될 것이다. Gmail과 Google Docs 그리고 그 외의 서드파티 제품들을 이용하면 될 것이다. 마치 휴대폰을 들어서 문자를 보내듯이, 컴퓨터에서 메일을 보내고 문서를 편집할 수 있을 것이다. 필요한 프로그램은 구글 앱스토어를 통해 웹어플리케이션을 구입할 수 있을 것이다. 그것도 착한 가격에 말이다.

완전 기대된다. 일단 출시만 하면 내 EeePC는 바로 구글 크롬 OS가 깔리게 될 것이다. 그나저나 구글 크롬 OS는 고용량의 저장공간이 필요하지 않게 될 것이다. 내가 넷북을 구입할 당시 윈도 XP를 주로 사용하게 될 것이라는 판단에 16G SSD 대신에 160G HDD를 선택했는데, 이는 바른 선택이 아닌 것이 되었다. 다시 SSD로 가야 할까?

C:\Windows\system32\driver\etc\hosts 의 파일을 메모장으로 열어서 다음을 추가한다.

127.0.0.1 cyad.nate.com # for NATEON Messenger
127.0.0.1 rad.msn.com # for Windows Live Messenger
127.0.0.1 rad.live.com # for Windows Live Messenger

출처: http://kaistizen.net/EE/index.php/weblog/comments/how_to_block_ads

지난 토요일 가볍게 Annecy 에 다녀왔습니다. Lyon 에서 기차로 2시간 거리에 있는 곳이라 당일치기로 다녀왔습니다. 도시가 주말인데도 조용한 공원과 넓은 호수가 있어서, 한가하게 여유를 부리며 쉬기에 좋았던 것 같습니다. 다만, 김밥 같은 것을 점심으로 가져갔으면 좀 더 좋았게다는 아쉬움이 있었습니다.

Gare d'Annecy

TGV 와 다른 TER 기차. 같은 TER 이라도 TGV와 견줄만한 기차도 있고, 비둘기호보다도 못한 것도 있다.

예쁜 꽃과 함께...

Annecy 에서 파는 엽서의 절반 이상을 차지하는 풍경

Palais de l'Ile. 예전에 감옥이었던 곳이다.

Lac d'Annecy / 안씨 호수

Jardins de l'Europe 에 있는 작은 집

Pont des Amours / 사랑의 다리

Pont des Amours 에서 바라본 Lac d'Annecy

Château d'Annecy / 안씨 성

구시가지

더 많은 사진은 Picasaweb 에 올려놨습니다.

http://picasaweb.google.com/ensual/Annecy#

PS. Annecy는 Rhône-Aples 지역이라 Carte TER Coup de Coeur 를 만들어서 좀 더 싸게 다녀왔습니다. 이 카드 가입비는 1년간 40유로이고, 혜택은 주중 본인 25% 할인, 주말에는 본인을 포함해 4명까지 50% 할인입니다. 그래서 Lyon-Annecy 1인당 편도요금이 23.1유로인지라 카드를 만들어서 대략 6.2유로 아낄 수 있었습니다. 그리고 덤으로 1년간 카드 혜택을 누리기 위해 Valence, Grenoble, Chambéry, Saint-Etienne 등을 다녀볼까 생각 중입니다.

이거 완전히 감동입니다. MIT 학생들이 만든 쇼핑 카트로 만든 LOLrioKart 입니다. 시속 72km 까지 나온다니, 단지 장난으로만 만든 것은 아닌 것 같습니다.

동영상을 보면 카드라이드를 하는 듯한 느낌까지 드는군요.

출처: http://miters.mit.edu

종교개혁가 Calvin 이 1509년 태어났다. 올해가 500주년이다. 그걸 기념하여 우리교회 교인들고 함께 프랑스 교회와 연합으로 Genève 에 다녀왔다. Genève는 Calvin이 프랑스 정부를 피해 잠시 들렸다가 죽는 날까지 Genève 에 살면서 카톨릭과는 다른 새로운 종교적 교리를 완성하고 종교개혁의 불씨를 일으킨 곳이다.

출발하기 위해 프랑스 교회 앞에서 모였다.

프랑스-스위스 국경에 위치한 휴게소에 잠시 정차

Cathédrale Saint-Pierre

일요일 아침 10시마다 예배를 드린다. 예배인도자가 좌측에 있는 점이 특이하다.

참석한 리옹교회 식구들. 사진기를 맡겼더니, 렌즈를 손으로 막고 찍었나 보다. ^^;

Cathédrale Saint-Pierre 정면 모습

제네바 시청

Place de Neuve. 좌측 건물이 오페라 극장.

Bastions 공원 정문. 이 안에 제네바 대학이 있다.

Université de Genève - Batiment Uni Bastions

Mur des Réformateurs / Calvin 이 종교개혁을 할 수 있게 영향을 준 사람들의 조각상

Genève의 Tramway.

Léman 호수

KAIST 오리광장에서 많이 본 듯 한 거위 ^^;

Jardin Anglais / 영국인의 정원

Musée International de la Réforme / 종교개혁 국제 박물관

박물관 내의 영상 관람 직전에 쉬면서..

우리가 방문한 6월 21일은 불어권 지역에서 음악 축제 (La fête de la Musique)가 있었다.

더 많은 사진은 Picasaweb 에 올려놨습니다.

http://picasaweb.google.com/ensual/Geneve#

대한 늬우스 라는 걸 만들었단다. 4대강 살리기 사업의 홍보가 목적이란다. 그리고 누가 이걸 부활시켰는가 봤더니, 문화체육관광부 유인촌 장관이다.

하긴 한국예술종합학교 재학생의 학부모에게 세뇌 당했다는 말을 서슴없이 하는 것을 볼 때, 유 장관의 세계관에서는 국민들은 말에 쉽게 현혹이 되는 어리석은 자들일 뿐이고, 이번 대한뉘우스 제작으로 유 장관 스스로가 어리석은 국민들을 세뇌시키는 자가 될 수 있다고 믿었을 테니 그리 놀랄 일도 아니다.

하지만 국민들에 대해 어리석어 세뇌시키기 쉽다고 판단부터 잘못이거니와, 설령 국민들이 어리석어 쉽게 현옥된다하더라도, 이렇게 영상물을 제작하여 세뇌시키려는 시도는 노골적으로 국민들을 기만하는 행위이다. 이명박 정부는 세금을 엉뚱한 곳에 잘도 쓴다.

이건 아니잖아.

애기_똥풀님 블로그에서 가져온 문제입니다.

위의 문제를 보자마자 재밌는 문제라고 생각해서 바로 풀어 보았습니다. 한 눈에도 분모는 다음 형태의 식

1+\sqrt{x}

을 반복적으로 가지고 있음을 알 수 있습니다. 그것을 이용하여 다음과 같은 풀이를 만들었습니다.

이 풀이의 좋은 점은 반복되는 식을 이용했다는 점 때문에, 다음과 같은 확장된 형태의 식 역시 성립함을 증명할 수 있습니다.

2009년 여름 한국 방문 세부 일정입니다. 꽤나 빠듯한 일정이 될 듯 합니다.

<2009년 7월 29일 - 9월 1일>