|
|
| |
| |
| Research Grants |
| |
與院內合作之計畫 資訊所
| 編號 |
年度 |
計劃名稱 |
主持人 |
協同主持人 |
類別 |
| 1 | 2017/01 | 符應社會歸責之資料二次使用隱私框架-穆信成 | 穆信成 | | 主題研究與人才培育 |
與院外合作之計畫 資訊所
| 編號 |
起迄年月 |
計劃編號 |
計劃名稱 |
主持人 |
協同主持人 |
補助單位 |
| 1 | 2019/08–2020/07 | MOST108-2221-E-001-005 | 共時程式之型別系統與邏輯基礎 | 穆信成 | | 科技部 | | 2 | 2018/08–2019/07 | MOST107-2221-E-001-003 | 多重單子副作用之性質推理 | 穆信成 | | 科技部 | | 3 | 2017/08–2018/10 | MOST106-2221-E-001-001 | 單子程式之代數推導 | 穆信成 | | 科技部 | | 4 | 2016/08–2017/10 | MOST105-2221-E-001-022 | 單子式副作用處理之代數性質推理 | 穆信成 | | 科技部 | | 5 | 2015/08–2016/10 | MOST104-2221-E-001-004 | 以模組化資料結構實現單子式副作用處理 | 穆信成 | | 科技部 | | 6 | 2012/08–2013/07 | NSC101-2221-E-001-005 | 形式化程式建構、分析、驗證之方法與應用-子計畫一:並行程式正確性之靜態型別檢驗(I) | 穆信成 | | 國科會 | | 7 | 2011/08–2012/07 | NSC100-2221-E-001-003 | 以依值型別與對話型別確保並行程式之正確性 | 穆信成 | 莊庭瑞 | 國科會 | | 8 | 2008/08–2011/10 | NSC97-2221-E-001-003-MY3 | 程式之模組性與擴充性：驗證方法與工具-總計畫 | 莊庭瑞 | 穆信成、王柏堯 | 國科會 | | 9 | 2008/08–2011/07 | NSC97-2221-E-001-005-MY3 | 程式之模組性與擴充性：驗證方法與工具-子計畫二：模組化、可擴充之依賴形態程式設計典範 | 穆信成 | 莊庭瑞 | 國科會 | | 10 | 2008/08–2011/07 | NSC97-2221-E-001-004-MY3 | 程式之模組性與擴充性：驗證方法與工具-子計畫ㄧ：ML程式語言的模組化驗證 | 莊庭瑞 | 穆信成 | 國科會 | | 11 | 2007/08–2008/07 | NSC96-2221-E-001-013 | 一個有反函數功能的函數程式語言 | 穆信成 | | 國科會 | |
| |
|
|
|
|
|
 |
|
|
|
