연비가 10km/L인 차가 2000만원이고, 연비가 20km/L인 차가 3000만원이라면, 연비가 좋은 차를 100000km를 타야 메꿀 수 있다. 물론 더 비싼 차라면 그 차이를 좁히는데 더 많이 달려야 한다. 출퇴근 거리가 50km라고 가정하고, 1년에 200일 일한다고 가정하면, 1년간 20000km를 달리게 된다. 따라서 비싼차를 산 값을 하려면 5년 이상 타야 한다.

이 계산에 사용된 항목을 모두 고려하면, 차를 구입할 때 필요한 적정 연비가 얼마인지 알아내는 공식을 만들 수 있을 것 같다.

난 연비가 좋은 차를 좋아하는 연비덕후니까…ㅡㅡ;

최근에도 비슷한 현상이 일어나고 있다. 스마트폰이 확산되면서 스마트폰에서 돌아가는 채팅 및 메신저 프로그램이 쏟아져 나오고 있다. 구글톡, M&톡, 카카오톡, 다음의 마이피플, 이제는 네이버 톡까지. 그리고 기존에 있던 메신저 프로그램들의 모바일 버전까지. 만약 이 모든 메신저에 골고루 친구를 갖고 있는 사용자라면, 전화기의 배터리 사용시간을 포기하고서 이 모든 프로그램을 모두 돌리고 있어야 한다.

Pidgin에서 네이트온의 플러그인이 늦게 등장한 이유는 SK에서 네이트온의 프로토콜을 공개하지 않았기 때문에 역공학으로 프로토콜을 알아내야만 했기 때문이다. 그나마 최근에는 공개된 듯 하다. 만약 네이트온 프로토콜을 공개했다면 네이트온 호환 메신저가 등장하면서 더 많은 사용자가 SK에 회원가입을 했을 것이다.

스마트폰 채팅 프로그램이 난립하게 되면, 그중 가입자 수가 많은 서비스가 시장을 독점할 수밖에 없다. 그것은 소셜 네트워크 자체가 가진 특징인데, 가입자가 많을수록 서비스에 편입되지 않은 사람들을 편입시킬 가능성이 높아지기 때문이다. 따라서 시간이 흐르고 나면 많은 서비스 중에 한두개 정도만 살아남고 나머지는 망하거나 근근히 유지만 되는 수준이 될 것이다. 이런점에서 카카오톡은 아주 잘 하고 있는데, 시장 경쟁자가 거의 없을 때 빠르게 성장했다. 그러나 이제 네이버와 다음이 이 시장에 진출하면서 카카오톡이 갖지 못한 무기를 들이밀고 있으니 긴장해야 한다. 네이버와 다음은 PC와의 연동이라는 강력한 무기가 있다.

언젠가 이 서비스들이 프로토콜을 공개해서 통합 메신저가 등장하거나 한다면 좋겠지만, 그럴 가능성은 없어 보인다. 이 폐쇄성은 당장은 서비스의 성장에 도움이 되겠지만 언젠가는 반드시 발목을 잡을 것이다. 적절한 시점에 공개하는 것이 좋다고 본다. 그렇지 않는다면, 프로토콜이 공개된 MSN이나 구글톡이 끝까지 살아남을 것이다. 네이버톡이나 다음 마이피플은 잘해야 한국에서만 좀 쓰는 그저 그런 채팅 프로그램밖에 안 될 것이다.

프로토콜이 공개되어 있지 않으면 제작사에서 제공해 주지 않으면 어떤 기능도 쓸 수 없다. 결국은 사용자가 제작사에 종속되고, 소셜 네트워크는 거대한 그물이 되어 자유라는 이름 하에 사용자를 가둘 것이다.

증명.

1. 어떤 달의 13일이 금요일이 되는 경우는 그 달의 1일이 일요일인 경우이다. (자명함)

2. 어떤 달의 1일은 그 전 달의 끝나는 요일의 다음 요일을 갖는다. (자명함)

3. 윤년이 아닌 경우(=2월 29일이 없는 해) 1월부터 12월까지 한 달이 갖는 날짜 수는 mod 7에서 각각 3, 0, 3, 2, 3, 2, 3, 3, 2, 3, 2, 3일이다. (자명함)

4. 앞에서부터 누적하여 계산할 때, 넘치는 날짜 수는 3, 3, 6, 1, 4, 6, 2, 5, 0, 3, 5, 1 (mod 7)이다. (자명함)

5. 넘치는 날짜 수에 0, 1, 2, 3, 4, 5, 6이 모두 들어있다. (자명함)

6. 따라서, 1년 중에 1일이 갖는 요일은 월, 화, 수, 목, 금, 토, 일요일 모두가 한번씩은 존재한다. (자명함)

7. 따라서 13일의 금요일은 적어도 1번 존재한다.

8. 윤년인 경우(=2월 29일이 있는 해) 2월의 날짜 수가 mod 7에서 1일이 된다. (자명함)

9. 앞에서 부터 누적하여 계산하면, 3월부터 12월까지 모두 +1일이 추가되는 것이므로, 역시 넘치는 날짜 수에 0부터 6까지 모두 존재한다. (자명함)

10. 마찬가지 논리로 윤년인 경우에도 1년중에 1일이 갖는 요일은 7가지 경우가 한번씩은 존재한다. (자명함)

11. 이것으로 정리가 증명되었다.

설마 여기에 쓴 사실들이 자명하지 않다고 우기는 사람은 없겠지.