程式之模組性與擴充性:驗證方法與工具-子計畫ㄧ:ML程式語言的模組化驗證,莊庭瑞,穆信成,國科會.11,2007/08–2008/07,NSC96-2221-E-001-013,一個有反函數功能的函數 ...
程式之模組性與擴充性:驗證方法與工具-子計畫ㄧ:ML程式語言的模組化驗證, 莊庭瑞, 穆信成, 國科會. 11, 2007/08–2008/07, NSC96-2221-E-001-013, 一個有反函數功能的函數 ...
-
FLOLAC'14 穆信成老師函數編程Part 111 | 大學教師學術專長資料庫
-
Functional Thursday | 大學教師學術專長資料庫
Functional Thursday, 台北市。 820 個讚· 2 人正在談論這個· 3 個打卡次。函數程式語言 ... 因為原分享者身體不適,所以這次改由穆信成來和大家談一個有趣的小程式。
-
[評價] 104-1 穆信成程式語言 | 大學教師學術專長資料庫
[評價] 104-1 穆信成程式語言. 時間Sun Jan 24 13:46:04 2016. ※ 本文是否可提供臺大同學轉作其他非營利用途? ... 在程式部分,從functional programming導入,從最基礎的語法、型別、資料結構開始,接下來 ...
-
為甚麼是Functional Programming? | 大學教師學術專長資料庫
2010年3月28日 — 退伍之後進入中研院,穆信成老師實驗室工作,開始學習Haskell 跟Agda,邊看 ... 因為這類語言最先遇到的問題都不是程式設計的概念,而是一些環境設定啊 ...
-
程式語言:函數程式設計 | 大學教師學術專長資料庫
開課年度, 課號, 班次, 課名, 學分數, 全半年, 授課教師, 時間(教室). 110-2, IM2012, 程式語言:函數程式設計, 3.0, 2, 穆信成, 四234 (管二204).
-
程式語言:函數程式設計· National Taiwan University | 大學教師學術專長資料庫
本課程為「程式語言(Programming Languages)」系列課程之一,著眼點並不是教特定程式語言,而是以函數語言(functional language)為媒介,討論設計程式解決問題的思考方式、 ...
-
程式語言:命令程式設計· National Taiwan University | 大學教師學術專長資料庫
本課程與「程式語言:函數程式設計」有可呼應之處,但兩者都可獨立修習。本課程亦與 ... 期中考、期末考成績較高者50 %, 較低者25 %. 講師、助教. 講師:穆信成scm [AT] iis.
-
穆信成的首頁 | 大學教師學術專長資料庫
程式之模組性與擴充性:驗證方法與工具-子計畫ㄧ:ML程式語言的模組化驗證, 莊庭瑞, 穆信成, 國科會. 11, 2007/08–2008/07, NSC96-2221-E-001-013, 一個有反函數功能的函數 ...