編譯器最佳化技術：什麼是 SSA（靜態單賦值）
Tags
第 11 頁
Computer-Science
CAP定理與PACELC定理：分散式資料庫面臨的困境
正規表達式引擎與有限自動機
動態規劃（DP）與貝爾曼方程式
Leslie Lamport：賦予分散式系統「時間」與「共識」的靈魂人物
芭芭拉·利斯科夫：奠定抽象資料型別與分散式系統的計算機科學家
Xerox PARC：發明未來電腦卻錯失市場的實驗室
艾倫·圖靈：AI之父與悲劇的終結
惡魔的大腦：約翰·馮·紐曼與現代社會基礎的締造
愛達·勒芙蕾絲：預見電腦未來「世界首位程式設計師」的全貌
日本IT教育的現狀與挑戰：程式設計必修化之後
