×


系統正在處理中....

窗口將在 5 秒后自動關閉.

  1.   首頁  
  2. |
  3.   產品專區  
  4. |
  5.   加值服務  
  6. |
  7.   客戶服務  
  8. |
  9.   企業專區  
  10. |
  11.   網路商城  
 
跨平台產品
Dr.eye PLUS
Dr.eye Quiz
 
家用産品
Dr.eye 365
Dr.eye 譯典通 X
Dr.eye 譯典通 X 升級版
 
行動産品
Dr.eye 雲端免費版
Dr.eye 雲端版 - 日語通
Dr.eye 雲端版 - 韓語通
Dr.eye Mobile for Android
Dr.eye Mobile for iPhone
 
硬體産品
Dr.eye 翻譯小子 X
Dr.eye 翻譯小子 3
 
過往產品
Dr.eye 譯典通 9.0 旗艦版
Dr.eye 譯典通 9.0 旗艦升級版
Dr.eye 譯典通 9.0 全民版
 
 
lean  
添加到生字筆記
KK:[lin] DJ:[liːn]

形變: 比較級:leaner  最高級:leanest  

權威釋義


維基百科

Lean是一款在含歸納類型的構造演算基礎上所開發的電腦證明助手和函數式程式語言。Lean最初由萊昂納多·德·莫拉在微軟研究院下研發,目前以開源合作計劃的形式刊登在GitHub上。2023年成立的非盈利Lean集中研究組織(英語:Lean Focused Research Organization,縮寫Lean FRO)支援Lean的持續開發。



聯絡我們

客服專線 : (02)77378801
客服信箱 : service@dreye.com
服務時間 : 週一至週五 09:00~11:40 12:40~17:00 國定假日休息
購買鏈接
PC
Mobile
加入粉絲團


2017 Inventec Besta Co.,Ltd. All rights reserved
無敵科技股份有限公司版權所有
   隱私權聲明