OCaml学习——OCaml-Code-Problems OCaml Code Problems Configuration kickstart install opam set up opam configure utop set up editing environment (Emacs & Visual Studio Code) Install basic libraries and tools. 1opam ins 2020-10-15 Computer Science OCaml OCaml
入海——来不及说再见 入海——来不及说再见 第 5 周周一早 11 点，我在飞往上海的 CZ3240 航班上，来不及说再见。 在和诚哥敲定 4 个月研究院实习加 4 个月实验室实习时，就已经可以预料到，一切刚刚好，撞上了三年前刚来长沙时那个不成熟的想法“我真正的大学生活只有三年，因为最后一年是看得见结局的等待。” 10.4 晚 和小邹吃完烧烤后匆忙赶回在长沙暂住的家，结果顺丰上门寄件放了我鸽子。去 15 栋给 2020-10-05 Life 随笔 随笔
OCaml学习——《Real-World-Ocaml》Chap4 Chap4 文件、模块和程序 （本章很多内容 15 年中文版不适用，需要 2nd Edition 英文版，现在已经转向英文版学习） 从练习转向实践，抛开顶层环境，由文件来构建程序。 文件不只是存储和管理代码的一种方便方式，在 OCaml 中，文件还与模块对应，相当于边界，可以把程序划分为不同的概念单元。 单文件程序 实际例子，从stdin读入输入行，并计算各行的频数，最后，会写出频数最高 2020-10-03 Computer Science OCaml Ocaml
OCaml学习——《Real-World-Ocaml》Chap3 Chap3 列表和模式 列表基础 列表构造，表示基础，[; ;]语法糖，::直接构造。空表[]用来结束一个列表。空表是多态的，这意味着它可以用于任意类型的元素。 123let empty_list = [];;let one_element_list = 3::empty_list;;let one_element_list = "test"::empty_list;; 2020-10-01 Computer Science OCaml OCaml
《战争时期的日本精神史》读书笔记 战争时期日本精神史（1931-1945） 导读 异端之必要 译者谈鹤见俊辅。 i “最后一次谈及鹤见俊辅，是在一家过分拥挤的意大利餐厅里。这是纽约 4 月的一个傍晚，我与坂本龙一斜对而坐。” “在一张餐巾纸上，我写下了几个日本知识分子的名字，丸山真男、加藤周一以及鹤见俊辅。在我有限的理解中，他们是战后日本社会的关键人物，他们的思想与行动塑造了一代人的成长。” iv “他最重要 2020-09-28 Life 阅读 阅读
