전체 글
-
Forgas Band Phenomena - Roue Libre음악/Now Playing 2004. 1. 24. 15:06
프랑스 밴드 Forgas Band Phenomena의 1997년작이다. 이 밴드와 이 앨범에 URI를 부여한다면? http://music.net/Artists#ForgasBandPhenomena http://music.net/Albums#RoueLibre 이렇게 할 수 있을까? 헌데 앨범의 URL은 겹칠 가능성이 높겠다. 어떻게 하면 겹치지 않게 할 수 있을까......? http://music.net/Albums/ForgasBandPhenomena/1997#RoueLibre 이렇게 하면 겹치지 않겠지......? 그러나 겹칠 가능성은 여전히 남는다...... 클래스 이름을 UUID로 부여한다면? 그렇게 하면 유일한 ID로서의 URI를 앨범에 부여할 수 있을 것이다. 하지만, URI와 클래스 이름 자체는..
-
Volare - The Uncertainty Principle음악/Now Playing 2004. 1. 21. 15:05
커버 그림이 인상적인 Volare의 데뷔 앨범이다. 커버엔 악마 꼭둑각시 인형과 천사 손 인형이 있다. 악마 인형은 천사 인형을 손에 끼고 조정하고 있고, 천사 인형은 악마 인형에 매달린 줄을 조정하는 막대를 손에 쥐고 있다. 뱀이 꼬리를 문 것과 같은 이 그림은 아찔한 현기증을 느끼게 한다. 여러 생각을 샘솟게 하는 그림이다. 그렇다면, 음악은? Volare는 1997년에 발매한 이 데뷔 앨범으로 많은 주목을 받았다. 캔터배리 계열로 소개되기도 했으나, 테크니컬한 연주만으로 이루어진 앨범이라서 그런 평을 듣게 된 듯 하고 이들의 음악에서 딱히 캔터배리 계열로 분류할 만 한 단서를 찾기는 힘들다. 조금 작기는 하지만 아마존에서 찾은 커버 그림이다.
-
Modal?카테고리 없음 2004. 1. 21. 15:03
Modal의 의미를 사전에서 찾아보니 이렇다. a modal or a modal auxiliary is a word such as 'can' or 'would' which is used with a main verb to express ideas such as possibility, intention, or necessity. 영어 공부할 때 배운 조동사가 바로 modal 이다. 따라서, 양상 논리(Modal Logic)는 술어를 꾸미는 양상 연산자를 통해 가능성, 필요성, 의도 등을 표현할 수 있게 하고 각 양상 연산자가 논리 연산에 미치는 영향을 연구하고 정의하는 학문이 되리라. 실세계의 지식을 모델링하려면, 이는 필수적 표현력이 되리라.
-
양상 논리카테고리 없음 2004. 1. 20. 14:59
양상 논리를 키워드로 하여 구글 검색을 시도해 보니 다양한 문서들이 검색된다. 그 중 PDF 문서 하나[1]를 열어 보게 되었는데 그 내용인 즉 매우 복잡해 보이는 논리 이론에 관한 것이었다. 헌데 놀랍게도 - 내 무지로 인한 놀라움이리라 - [1]은 철학을 공부하는 분이 적은 글임에도 불구하고 그 내용은 매우 수학적인 것이었다. 웹 온톨로지와 규칙을 공부하면서 접한 각종 논리 기호와 집합론적 해석들...... 과연 이 글이 철학 분야의 글이란 말인가? 그렇다면, 컴퓨터 분야의 논리학은 수학과 맞닿아 있고, 이는 다시 철학과 맞닿아 있다는 얘기가 된다. 웹 온톨로지와 규칙을 이용하여 실제 응용될 지식을 저작하고 처리하는 일을 하려면 지식의 본질에 다가가야 하지 않을까? 적어도, 오늘 이 순간만큼은 철학과..