欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
灰狐量子俱乐部
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→链接) |
||
| 第22行： | 第22行： | ||
[[category:blockchain]] | [[category:blockchain]] | ||
| − | [[category:artificial | + | [[category:artificial intelligence]] |
[[category:量化投资]] | [[category:量化投资]] | ||
[[category:huihoo]] | [[category:huihoo]] | ||
2017年7月17日 (一) 03:43的版本
灰狐量子俱乐部，一个高阶技术群。
目录[隐藏] |
简介
关注领域
机器人、人工智能、无人驾驶、游戏引擎、量子力学、量子计算、并行计算、区块链、金融科技、量化投资、对冲基金、私募、物理、数学。
相关
活动
图集
链接
分享您的观点
