Category Archive for '電腦科學'

Posted By Mr. Thursday
在《探討拓樸和語意之間的關係》這篇文章裡面,稍微探討了語意的問題,以及拓樸對於語意問題可能的解決方法。然而在拓樸方面,只有約略和各位提到,拓樸就是對一個集合作運算,集合裡面的元素,不管怎樣子擴張壓縮變形,之間的關係都會維持著,這種運算就符合拓樸的條件。如果對於集合的基本想法和運算有些不記得,可以先參考另外一篇文章《集合: 從邏輯到1+1=2》。
因此,為了解決用電腦來處理語意資訊的這個問題,筆者打算用拓樸來嚐試解決,拓樸又是使用集合作為運算的基本單位,因此有了前面第一篇拓樸的簡介文章,以及第二篇有關集合的簡介文章。然而拓樸空間本身的定義,則是有一定程度的複雜性,接下來的一系列文章,我將努力把拓樸的觀念,在使用白話文、卻又不失去數學公式所定義的觀念下,向各位介紹「拓樸」(topology),然後介紹「流形」(manifolds),最後回到一開始設定的目標:「用流形 (manifolds) 來嚐試解決語意 (semantic) 問題」。
在這條漫長的道路裡面,今天我們先來看其中的一小段。今日的主角是「開集合」,英文是 open set。有了集合的基本概念,再加上「開集合」的概念,我們就可以開始了解「拓樸空間」的基本定義,在這條路上往前一步,同時也可以了解相關的概念:「歐氏空間」、「度量空間」、以及最廣義的「拓樸空間」。
 

Read Full Post »

Posted By Mr. Wednesday
今天Mr. Wednesday看到一個有趣的資訊視覺化應用,將美國總統候選人與來自石油產業的政治獻金以圖形化呈現其關係。

不知道在三月總統大選時是否會有不怕死的好心人也來幫我們整理一份這樣的資訊。有興趣的讀者可以到原始網站來玩玩看。
資料來源:VisualComplexity

Read Full Post »

Posted by Mr. Valentine’s Day

曾經讀過一個哲學假設,稱作「桶中之腦」(Brain in a vat)。這個假設是這樣的,人類的腦究竟在作些什麼呢?其實就像 CPU 一樣,單純地接受外界訊息 input 而進行決策,也許這處理的過程是複雜了點,但本質上就是如此。而所謂的外界訊息又是什麼呢?經過人腦處理之後的 output 又如何傳達給外界(主要是我們的肉身)呢?一般認為,無論是 input 或是 output,都是透過神經衝動來傳達。而神經衝動又是什麼?其實就是電位差嘛!
如果以上的唯物觀點都成立的話,其實我們可以建立一個裝置。這個裝置模擬世界上的萬事萬物,或者,至少你身邊的那些:比方說,你現時點能夠看到的這台螢幕的長相啦,手上滑鼠鍵盤的觸感啦,隔壁同事今天香水的味道啦,通通依照所謂自然法則運算出來,再把這些訊號都直接 input 到你的腦袋裡面。所謂肉身存有的感覺,自然也可以模擬出來,並且接受人腦以電訊號所傳送的 output 並依令行事。
我們姑且不論為什麼一台電腦可以有如此強大的運算能力(寫過 game 的就知道,光模擬一些顯而易見的自然法則就吃掉一狗票資源,更遑論「完全」模擬),又為什麼這 program 如此的 robust 以致於你這有所知覺的二三十年間好像都不曾發現有什麼 bug(更不用說當機重開機等等了),如果真有這樣這樣一台電腦,所模擬出來的世界,與所謂的「真實世界」,理論上是可以並無二致的。
所以,如果真要說你長得像下圖這樣,一顆腦袋泡在維生液中,連到電腦,其實還真難反證呢。書本、電視、網路、朋友、師長、父母,一切的知識與情報的來源都是所謂「外在經驗」,而當這「外在經驗」本身很有可能是人工的,我們還剩下什麼論點可以作為反駁之用?

Read Full Post »

Posted By Mr. Thursday
在以前的文章裡面有幾次有提到「演算法」(Algorithm),可以把他想程式完成一件事情所需要的步驟,可能包含重覆某些步驟、依照條件執行部份步驟、或是從頭到尾執行固定的步驟。然而演算法通常需要資料結構的配合。不是主修計算機的讀者,也許不知道資料結構是甚麼東西,即使我說資料結構的英文是 Data Structure,可能還是沒辦法了解「資料結構」代表的意思。簡單地說,演算法是完成一件事情的步驟,那麼資料結構就是這些步驟作用的物品,譬如說刮鬍子,可能要先插插頭,準備鏡子,然後開始刮鬍子。但是如果沒有插座,沒有鏡子,沒有刮鬍刀,或是沒有鬍子,這些步驟就沒有東西可以作用了。因此演算法和資料結構,有一點點類似軟體和硬體的對應,只不過資料結構並不是完全屬於硬體的角色就是了。接下來我們就來看一下某些資料結構,尤其是樹 (tree) 的結構,以及不同的拜訪順序,產生的效果。
 

Read Full Post »

Posted By Mr. Thursday
不管我們用哪一台電腦,有時候下載檔案,或是複製檔案後,就把檔案放在桌面。過了一陣子,桌面就常常會有很多檔案,或是多新開的資料夾。這個時候,我們會希望作業系統像磁碟重組一樣,按一下「開始」,就可以幫我們把檔案整理好,依照各種分類,放到不同的資料夾,甚至需要重新命名的檔案,都幫我們命名好。然而現在的作業系統似乎都還沒有這種功能,因此讓我們來分析一下,這個問題,使用者來說會有哪些需求功能,現有的功能有哪些優缺點,以及設計者來說會有哪些問題要解決。

Read Full Post »

Posted By Mr. Thursday

拓樸 (topology) 在研究一種抽象轉換的關係,不管是函數、實數集合、或是普通離散物品的集合,拓樸的轉換都可以應用在上面。對於不是以數學為專業的讀者來說,要如何了解拓樸呢?就可以試著從上圖一目了然。上面這張圖有三列,每一列有三件物品,雖然這三件物品看起來外觀形狀都不相同,但是在拓樸學家的眼裡,這三件物品是等價的。等價英文用equivalent來表示,就是說三件物品,在壓縮扭曲拉開等各種變化之後,就可以變成另外一件東西的形狀,但是轉換的過程中,沒有「打斷」物品上面任何一個地方,所以是等價的轉換。所以第二列來看,在拓樸學家眼中,一個甜甜圈、有把手的茶杯、和捲筒,是等價的!但是拓樸的轉換,和語意又有甚麼樣子的關係呢?

Read Full Post »

Posted By Mr. Thursday
集合(Set)的概念可以在日常生活中常常見到。小時後我們可能都玩過「大風吹」的遊戲,大風吹,吹甚麼?吹有戴眼鏡的人,吹穿皮鞋的人,吹長頭髮的人。每講到一種特徵,符合這個特徵的人就要趕快起來換位置,但是因為原來講特徵的人也會搶位置,所以速度最慢的人,就變成下一個要講特徵的人了。因此每一個特徵,就形成一個集合。譬如說一個班級,考試成績大於70分的人,形成一群集合,考試成績小於90分的人,又形成另一群集合,我們如果要找成績大於70分又小於90分的人呢?只要把剛才兩個集合取交集(intersection)就可以了。除此之外,集合還有其他基本的運算,像是聯集(union),補集(complement),和差集(difference)。經由這些基本運算,可以幫我們處理不少事情,也讓數學家、統計學家、或是資訊科學家,可以在集合上面建立各種理論或應用。接下來就讓我們來看看,集合成為哪些理論的基礎或是延伸?下圖把一些集合的運算做視覺化(visualization):

Read Full Post »

Digg Labs最近利用前一陣子推出的Digg Image又新完成了一個迷人的視覺化呈現,DiggPics。在推出Digg Image服務後,不但擁有了新的管道讓使用者提供內容,也開啟了Digg與Photobucket的夥伴關係。既然有了這麼豐富的影像內容,該是來有點樂趣的時候了!

Read Full Post »

Posted by Mr. Wednesday

Website: WARM - The Interpersonal Relations on the Web
Services Provided:
Blogs are so popular in Taiwan these years. Someone who doesn’t blog is just like that he does not have name. Blog has become the common way to know people and to be known by others. Many blog service providers (BSP) provides the [...]

Read Full Post »

Posted by Mr. Wednesday

網站名稱: WARM 網路上的人際關係
提供服務介紹:
這幾年部落格大行其道,沒有一個部落格就像是沒有名片一樣,部落格成了認識人與被人認識的流行大眾管道。而許多的部落格系統上都有提供所謂的好友連結功能,簡單來說,就是把另外一個人設成自己的好友。無形中,許許多多這樣的單向好友連結就在網路上形成了複雜的社交網路。於是乎,社交網路搜尋引擎這樣的服務也就應運而生。
WARM是由樹德資工的吳邦一教授帶領著資工系學生許無寒、許迺赫、李紀廣、管世達於2007年所完成,原本是專題研究,卻意外暴紅。以下就來進行各項測試。

Read Full Post »

頁次 5 of 9«123456789»