- 科展類別
- 臺灣國際科展作品
- 屆次
- 2021年
- 科別
- 電腦科學與資訊工程
- 得獎情形
- 三等獎
- 學校名稱
- 國立臺灣師範大學附屬高級中學
- 指導老師
- 李柏翰
- 作者
- 陳立凡
- 關鍵字
- 程式語言、程式證明、函數式程式設計
摘要或動機
本研究主要考慮在盡量保留可讀性的情況下,找出將 Imperative Programming 程式碼對應的 Functional Programming 的程式碼並證明。
結果如下:
一、if statement 等價於由 ifte 函數所構成的程式碼,其中函數ifte定義在本文內
二、某些 for-loop statement 等價於由 foldl 函數所構成的程式碼
三、某些 for-loop statement 等價於由 map 函數所構成的程式碼
「為配合國家發展委員會「推動ODF-CNS15251為政府為文件標準格式實施計畫」,以及
提供使用者有文書軟體選擇的權利,本館檔案下載部分文件將公布ODF開放文件格式,
免費開源軟體可至LibreOffice
下載安裝使用,或依貴慣用的軟體開啟文件。」
檔案名稱 |
檔案大小 |
格式 |
TISF2021-190035.pdf |
1 MB |
|