caasih.net

排列之城

au 晚上在 #haskell.tw 上提到 Permutation City

大概十年前,在重考班,卻不願意面對現實時,曾從計算到底是什麼出發,想到也許平行的事件可以是宇宙在背後循序計算出來的。宇宙計算機存在的世界,時間尺度將和內部世界不同。另外一個原因大概是自己從來沒面對過 threads ,老是在寫 single thread ,最多只到 event-driven ,想想現在會那麼鳥蛋也是剛好而已 XD

當時只當成有趣的,可能成為小說題材的點子,還在台中龍軒急著打電話給 lunadance 聊。 Permutation City 更深入地探討這樣的模擬,甚至還延續了(故事中的)現實中的貧富差距到模擬的世界,不知道哪天才有機會讀?

另外一個結果就是對紙筆能做的「計算」有興趣,但已經忘了是在之前還是之後,發現當時由 godfat 管的 PLT 版。此後接觸了 untyped λ calculus ,一直到今天來上 FLOLAC ,還在跟這樣的計算奮鬥,仍常常推錯,或是不知道接下來要怎麼算 XD 後來對費曼的計算機教材有興趣,也是源於此(很晚才發現 and or 之類的鬼東西會遺失資訊,要是不漏掉,就能搞可逆計算?)。

高中數學唸得不好,但有幸讀了數學歸納法,除了看到自然數的推導會興奮外,也喜歡可以先猜出意義再用歸納法證的證明,唸離散時,也只對無窮數列與它的和有興趣(能把無窮數列改用有限的符號表示,並對它們做計算,再推出到第 n 項的和不是很美妙嗎?),其他都不太明白。

由 Isaac Huang 發佈於