原创 「離散數學」是一門什麼樣的學科
寫這篇文章的動機是想探討從離散數學開始入門數理邏輯的路徑以及離散數學與數理邏輯之間的關係。以學習數理邏輯爲目的學習離散數學，而一般的以學習計算機爲目的的學習還是有相當的不同，最大的不同就是：以數理邏輯爲目的的學習，應當以「證明」 — —
2020-07-08 04:11:40
原创 自然語言中的普通名詞語義和編程語言的對象系統
對於普通名詞語義的研究，其中一個重要方面是它的指稱性（referencingness）。在這方面，大多數文獻只關注不定指稱和確定指稱之類的定指性（definiteness）的含義，例如，‘一個人’與‘這個人
2018-12-08 02:51:25
1
原创 十年學會編程
十年學會編程 著者： Peter Norvig 翻譯： Dai Yuwen 爲何人人都這麼着急？ 信步走進任何一家書店，你會看到名爲《如何在7天內學會Java》的書，還有各種各樣類似的書：在幾天內或幾小時內學會Visual Basic
2018-08-25 06:09:30
原创 關於抽象類和接口之間的區別
抽象類和接口之間的關係 網上有許多文章講解抽象類和接口之間的關係，但大多偏重於特定的語言語法或設計理念，感覺與程序員希望得到的答案有些距離。作爲一個開發者，抽象類與接口之間的語法區別只要查看相應的語言手冊即可，而設計理念上的區別與實際開
2018-08-25 06:09:30
原创 利用Iterator模式遍歷JavaBean中的屬性
緣起 (Motivation/intent) JavaScript中可以遍歷對象中的屬性，但Java卻沒有這樣的語言支持。例如一個普通POJO對象UserBean public class UserBean { private
2018-08-25 06:09:28
2