Functional Thursday | 大學教師學術專長資料庫

Functional Thursday， 台北市。 820 個讚· 2 人正在談論這個· 3 個打卡次。函數程式語言 ... 因為原分享者身體不適，所以這次改由穆信成來和大家談一個有趣的小程式。

[評價] 104-1 穆信成程式語言. 時間Sun Jan 24 13:46:04 2016. ※ 本文是否可提供臺大同學轉作其他非營利用途？ ... 在程式部分，從functional programming導入，從最基礎的語法、型別、資料結構開始，接下來 ...

2010年3月28日 — 退伍之後進入中研院，穆信成老師實驗室工作，開始學習Haskell 跟Agda，邊看 ... 因為這類語言最先遇到的問題都不是程式設計的概念，而是一些環境設定啊 ...

開課年度, 課號, 班次, 課名, 學分數, 全半年, 授課教師, 時間(教室). 110-2, IM2012, 程式語言：函數程式設計, 3.0, 2, 穆信成, 四234 (管二204).

本課程為「程式語言(Programming Languages)」系列課程之一，著眼點並不是教特定程式語言，而是以函數語言(functional language)為媒介，討論設計程式解決問題的思考方式、 ...

本課程與「程式語言：函數程式設計」有可呼應之處，但兩者都可獨立修習。本課程亦與 ... 期中考、期末考成績較高者50 %, 較低者25 %. 講師、助教. 講師：穆信成scm [AT] iis.

程式之模組性與擴充性：驗證方法與工具-子計畫ㄧ：ML程式語言的模組化驗證, 莊庭瑞, 穆信成, 國科會. 11, 2007/08–2008/07, NSC96-2221-E-001-013, 一個有反函數功能的函數 ...