電腦史# EDA算法史 FPGA λ演算 人工智慧 作業系統 函數式編程 密碼學 強化學習 智慧模型 演算法 神經網路 程式與證明 程式語言 編譯器 虛擬機 計算模擬學 計算理論 計算語言學 資料庫 資訊科學 軟體工程 電腦硬體史 電腦軟硬體