Guava 芭樂 番石榴

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

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

• 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.

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

• 創用 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-á）、番石榴，是常見於熱帶與亞熱帶的植物。果實可食，水果攤必備；葉子粗糙，邊緣成波浪狀，有用於治胃腸病；枝幹堅硬，砍來當彈弓很合適。

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