欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐大脑
来自开放百科 - 灰狐
（版本间的差异）
小 (→课题) |
小 (→课题) |
||
| 第9行： | 第9行： | ||
==课题== | ==课题== | ||
| + | [[文件:GCC-logo.png|right|GCC]] [[文件:LLVM-logo.png|right|LLVM]] | ||
具体研究课题： | 具体研究课题： | ||
*[[费曼学习法]] | *[[费曼学习法]] | ||
| 第16行： | 第17行： | ||
*音频节目，今夜不寂寞（计划2022开启） | *音频节目，今夜不寂寞（计划2022开启） | ||
*认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind） | *认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind） | ||
| − | *[[Compiler|编译器]]（[[GCC]],[[LLVM]]）、[[Operating system|操作系统]]、[[database|数据库]][[Storage|存储 | + | *[[Compiler|编译器]]（[[GCC]],[[LLVM]]）、[[Operating system|操作系统]]、[[database|数据库]][[Storage|存储]] |
==项目== | ==项目== | ||
2022年3月26日 (六) 11:27的版本
灰狐大脑
目录 |
简介
这是一档自媒体节目，主理人：Allen
领域
涉及哲学/神学，数学/物理学，人工智能/机器学习，认知科学/认知心理学/神经科学等领域。
课题
具体研究课题：
- 费曼学习法
- 计算语言学和机器翻译
- 灰狐安全
- 灰狐网络
- 音频节目，今夜不寂寞（计划2022开启）
- 认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind）
- 编译器（GCC,LLVM）、操作系统、数据库存储
项目
图集
荣格作品集
链接
分享您的观点
