穆信成

Mu, Shin-Cheng・資訊學院

碩士畢業時長

2.48 年

中位數・平均 2.48 年・1 人（樣本太少）
全校 2.11 年

收錄論文

1 篇

105–105 學年度

畢業時長只統計碩士 100–111 學年度入學的學生：太近的入學年度還有同屆沒畢業，算進來會讓時長看起來偏短，詳見說明。下表與圖中灰色的論文不列入統計。

畢業時長趨勢

只計入有論文收錄的畢業生；中途休學或更換指導教授的學生不會出現在這裡。

構造性數學計數系統定理證明一階邏輯 AgdaConstructive mathematicsNumeral systemsTheorem provingFirst-order logic

點關鍵字可以找研究同一主題的其他教授（灰色的只出現過一次，不列入搜尋）。想看最新的研究方向與計畫經費，也可以查政府研究計畫（GRB）。

學年度	論文	學制	入學	提交日期	畢業時長
105	一般化位值計數系統 Generalizing Positional Numeral Systems 資訊科學與工程研究所・共同指導：楊武構造性數學、計數系統、定理證明、一階邏輯、Agda、Constructive mathematics、Numeral systems、Theorem proving、First-order logic	碩士	103	2017-01-24	2.48 年