OCaml学习——《Real-World-Ocaml》Chap2 Chap2 变量和函数 预计 1 天内推进两章（不过今晚和 CSU F8 去庆祝，估计要拖一下了。） 变量 变量，标识符，将含义绑定到一个特定的值。在 OCaml 中，通常使用let关键字引入。变量名必须以小写字母或者下划线开头。 1let <variable> = <expr> 作用域，let 创建有限作用域的变量，将其限定在某个特定的表达式。 1let &l 2020-09-28 Computer Science OCaml OCaml
OCaml学习——《Real-World-Ocaml》Chap1 Chap1 导览旅行 配好了 Emacs 的环境，敲一下样例。 函数类型和类型推断 初次见面，函数和类型推断。 12345let square x = x*x;;square 2;;square ( square 2);; 输出结果 123456# let square x = x*x;;val square : int -> int = <fun># square 2020-09-26 Computer Science OCaml OCaml
Emacs——基本操作入门 Emacs——基本操作入门 环境： Ubuntu20.04 内核 5.4 安装： 使用包管理工具sudo apt-get install emacs 主要依赖 Ctrl（CONTROL key）和 Alt （META or EDIT or ALT key）.、 Master Emacs in 21 Days 后面可以跟随学习一下。 Merlin自动补全问题 Basic cursor c 2020-09-22 Career 工具 工具 Emacs
形式化方法——Software-Reliability-Methods-Chap3 Software-Reliability-Methods-Chap3 P36 Regardless of the actual assignment of value to the variable \(x\). 2020-09-22 Computer Science 形式化方法 形式化方法
CCFADLOnline5——Suphx-Superhuman-Mahjong-AI Pushing the Frontier of Game AI 主讲老师：刘铁岩博士，微软亚洲研究院副院长 DeepBlue mimax, \(\alpha \beta\) Search 算法 本质上是一种搜索，主要由硬件实现了剪纸。 AlphaGO 先用专家标识的有监督学习。 蒙特卡洛书搜索， Notes AlphaGo Zero: Removing Human Knowled 2020-09-21 Research 讲座会议 讲座会议 CCFADL