Guava 芭樂 番石榴

這個網站是在「603/604實驗室」所進行之各項工作與發生之各種情事事情的紀錄存放所。

「603/604實驗室」是位於台灣、台北、南港、中央研究院、資訊科學研究所、新館六樓、南側一間門上掛著603和604牌子的房間已經移到317實驗室。許多研究工作在該房內發展，你現在正在閱讀的這個網站，包括由莊庭瑞, 穆信成及其旗下眾多研究同僚（其中多數為辛勤工作如苦力的研究助理們）所個別或共同進行的工作，其中有些人已離開到他處，但這裡仍然是所有曾在此處待過之人暫時還不會消失的場所。

• 84ccLOD 2015 暑期工讀徵才
• Guava Reports DL2014 and SDA 2014 Report
• FLOLAC2010 -2010 Formosan Summer School on Logic, Language, and Computation (2010 「邏輯、語言與計算」暑期研習營暨碩士學分班, FAC '10).
• 歡迎 千婷 加入我們這個小團隊。
• 嘉新 已經正式成為資訊科學研究所，擔任博士後研究的職務。
• 藝鴻 已經應聘至民族學研究所，擔任研究助技師的職務。
• Max 邁思 2007年10月前往英國，現正在 Oxford University Computing Laboratory 攻讀博士。
• Max 邁思 2007年10月在 2007 ACM SIGPLAN Workshop on ML 發表論文 "Status Report: Layered Streaming XML Processing with Modules"。
• 東波 2007年9月前往荷蘭，現正在 ITC (International Institute for Geo-Information Science and Earth Observation) 攻讀地理資訊博士。

• 我們提供研究所或大學部學生工讀的機會，如果你有興趣的話，請聯絡我們。
• 更多消息在這裡...

我們的研究主題可約略分為以下幾個領域：

• Functional Programming : It cannot be emphasized enough that both Tyng-Ruey and Shin-Cheng are raised as functional programmers, though they differs in their native languages (ML for one but Haskell for the other).

• 2008 Summer School on Logic Language and Computation: We are new in this area, but wish to make some difference.
• XML與網路技術: XML和相關的標準（即W3C的建議書）是我們使用最頻繁的語言。我們尤其專注於使用開放軟體、開放工具、與開放標準來發展整合性網路系統。
• 開放地理空間資訊處理: 我們已經處理過包括地形圖、社經地圖、GML、SVG等等，正往參與式地理空間系統前進。
• Semantic Web:

• Social Implications of Information Technologies: We care a lot about inadvertent social impact of information technologies.

• 記號學與資訊科學: We are interested in reasoning of inter-relationship interpretation between humans, informatin, and machines through the lense of sign theory.

• Semantic Web and Linked Open Data: The semantics and linked relations of the linked data is powerful and effective. We feel extra motivated to explore the possibility of linked data and semantic web, both in theoretical and practical dimensions.

我們所參與的其他計畫包括：

• 創用 CC ─ Creative Commons Taiwan： 創用 CC ─ Creative Commons Taiwan 進行 Creative Commons 授權的本地化。

• 自由軟體鑄造場OSSF (OSSF Supports Software Freedom)： OSSF 是台灣主要的開放源碼倉儲及管理系統。

• iCAST & TWISC: TWISC (Taiwan Information Security Center) is an integrated effort to conduct research and development activities in information security in Taiwan. iCAST stands for “International Collaboration for Advancing Security Technology”.

Guava、芭樂（台語，發音pa̍t-á）、番石榴，是常見於熱帶與亞熱帶的植物。果實可食，水果攤必備；葉子粗糙，邊緣成波浪狀，有用於治胃腸病；枝幹堅硬，砍來當彈弓很合適。

我們用許多水果的名稱來為我們的各個伺服器命名，如此多用途、多種類的芭樂顯然很適合用於這個多種風格的網站，故以之為名。