1. data.gov.tw
  2. 國家教育研究院-電子計算機學術名詞
  3. 62192242
column value
英文名稱 theory of type number
中文名稱 型數理論