Page 37 - 2017 Brochure
P. 37
不能失去函數語言原有的好處：副作用也須以嚴謹、能以數學方法管理的方式出 研究人員
現在程式中。其中一種管理、描述副作用的方式是透過「單子」。我們近年來也研
究如何證明單子程式的性質，並嘗試釐清確保多種副作用結合後仍保持其應有性質 穆信成 Shin-Cheng Mu
的充分條件。
Associate Research Fellow
(4) 敏感資料之群組共享
王柏堯 Bow-Yaw Wang
隱私保護的意涵不僅在於
個人資料取得上的限制， Research Fellow
同時也在於資訊使用與揭
露的原則與規範。妥善管 莊庭瑞 Tyng-Ruey Chuang
理資訊流向、鼓勵資料分
享、並維持所分享資訊的 Associate Research Fellow
私 密 性， 可 真 是 挑 戰。
一般作法是透過集中式的 陳郁方 Yu-Fang Chen
資料控制單位，將來自眾
多個人的資料集去識別化 Associate Research Fellow
後，再行釋出供二次使用。
不過，這三方——資料控制單位、個人、以及第三方資料使用者——的切身利益並
不一致，這也是資料分享與再次使用的中心難題。經由與法律學者的合作，我們正
發展以社群為出發的個人資料管理方式：在沒有外部的控制單位之下，社群成員間
可以匯集關於自身的敏感，為共同的利益，供彼此使用。來自程式語言與形式方法
的原則，將有助於我們發展可被驗證的、具良好性質的資料共享方式。我們將發展
方法、工具、與系統，以實際幫助群體管理敏感資料。
(5) 教育、推廣
除了我們的研究活動外，
我們同時也奉獻顯著的資
源於教育。為了介紹我們
的 研 究 給 學 生， 我 們 自
2007 年 以 來， 每 年 舉 辦
「台灣邏輯，語言和計算
暑期學校 (FLOLAC)」。藉
由 FLOLAC， 鼓 勵 越 來 越
多的台灣學生至程式語言
和形式方法此一領域，學
習並進行研究。
35
現在程式中。其中一種管理、描述副作用的方式是透過「單子」。我們近年來也研
究如何證明單子程式的性質，並嘗試釐清確保多種副作用結合後仍保持其應有性質 穆信成 Shin-Cheng Mu
的充分條件。
Associate Research Fellow
(4) 敏感資料之群組共享
王柏堯 Bow-Yaw Wang
隱私保護的意涵不僅在於
個人資料取得上的限制， Research Fellow
同時也在於資訊使用與揭
露的原則與規範。妥善管 莊庭瑞 Tyng-Ruey Chuang
理資訊流向、鼓勵資料分
享、並維持所分享資訊的 Associate Research Fellow
私 密 性， 可 真 是 挑 戰。
一般作法是透過集中式的 陳郁方 Yu-Fang Chen
資料控制單位，將來自眾
多個人的資料集去識別化 Associate Research Fellow
後，再行釋出供二次使用。
不過，這三方——資料控制單位、個人、以及第三方資料使用者——的切身利益並
不一致，這也是資料分享與再次使用的中心難題。經由與法律學者的合作，我們正
發展以社群為出發的個人資料管理方式：在沒有外部的控制單位之下，社群成員間
可以匯集關於自身的敏感，為共同的利益，供彼此使用。來自程式語言與形式方法
的原則，將有助於我們發展可被驗證的、具良好性質的資料共享方式。我們將發展
方法、工具、與系統，以實際幫助群體管理敏感資料。
(5) 教育、推廣
除了我們的研究活動外，
我們同時也奉獻顯著的資
源於教育。為了介紹我們
的 研 究 給 學 生， 我 們 自
2007 年 以 來， 每 年 舉 辦
「台灣邏輯，語言和計算
暑期學校 (FLOLAC)」。藉
由 FLOLAC， 鼓 勵 越 來 越
多的台灣學生至程式語言
和形式方法此一領域，學
習並進行研究。
35
