原创 IDEA底部工具欄調出Version Control
IDEA底部工具欄調出Version Control 步驟：VCS–>Browse VCS Repository–>Show GIt Repository …
2020-07-03 04:58:38
原创 Idea底部Version Control菜單調出
Idea底部Version Control菜單調出 步驟 VCS–>Browse VCS Repository–>Show GIt Repository … 示意圖
2018-12-07 13:22:01
原创 lambda演算
lambda演算 lambda演算是一種計算模型，由Alonzo Church引入以定義“可計算函數”。 lambda表達式定義 lambda表達式用以下格式定義 λ變量.表達式體 lambda函數工作方式 lambda函數如何工作—
2018-09-30 08:22:12
2
原创 筆記
爲了讓系統具有健壯性，應該讓它對小變化不敏感，也就是說，問題中的小改變只會導致解決方案的小改動，系統應該是連續的。與其在問題分解出的子問題上求解具體問題，不如解決一類問題。解決之道便是在該層次上構造一門語言，使得我們可以用這門語言來表述這
2018-08-30 12:44:51
原创 程序語言中第一級元素的某些權利
程序設計語言的第一級元素（first-class citizens）的某些權利 第一級元素必須能夠可以用變量命名 可以作爲參數傳遞給程序 可以作爲程序的值返回 可以包含在數據結構中
2018-08-29 03:18:23
2
原创 計算機科學中控制複雜度的方法
計算機科學中控制複雜度的方法 黑盒抽象（black-box abstraction） 約定接口（conventional interfaces） 1.面向對象 2.流 元語言抽象（metalinguistic abstraction
2018-08-28 00:41:42