欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐大脑
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐大脑 Haskell brain ==简介== 这是一档自媒体节目，主理人：User:Allen ==领域== 涉及哲学/神学，...”为内容创建页面) |
2022年3月26日 (六) 07:03的版本
灰狐大脑
目录 |
简介
这是一档自媒体节目，主理人：User:Allen
领域
涉及哲学/神学，数学/物理学，人工智能/机器学习，认知科学/认知心理学/神经科学等领域。
课题
具体研究课题：
- 费曼学习法
- 认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind）
项目
图集
链接
分享您的观点
