我
找自己
David Tao! 昨天晚上做了個夢 我走進撒哈拉沙漠。 空無一人 站在太陽下。 攝氏六十六點六度 快要焚化我的眼珠。 忽然一場大雨降下來。 汗水被那雨水沖走 結束四十天的折磨。 荒漠一轉變成了綠洲。 彩虹下有一棵大樹 大樹上有一顆蘋果。 咬下一口 我就全明白。 可不可以讓我再 讓我再一次 回到那個美麗世界裡。 找自己。 ...
Read articleArchive
All posts
CS
实现一个 Hindley-Milner 类型系统
随着对函数式语言的兴趣日渐浓厚，我对设计一门编程语言的冲动也越来越强烈。这个过程非常的艰难，需要大量的基础知识作为铺垫，其中非常重要的部分——类型系统尤为复杂。我从一些博文中了解到了Hindley-Milner类型系统、Algorithm W 和 Algorithm J等等知识，并试图整理出来一条脉络以供日后使用。 在这篇博客中，我将会通过一个例子展示Hin...
Read article我
多谢你
《I'm OK》 我很ok吗？ 当我一踏进家门。 我就感觉怪怪的。 当你坐在客厅瞪着TV。 你眉头上的皱纹。 你一直在深呼吸。 告诉我今晚我要小心。 我不明白什么事。 又让你发飚。 是不是这一次你能好好讲。 两个人什么事可以好商量。 ...
Read article我
爱情好像流沙
爱情好像流沙，随他去吧，我不害怕Amo estas kiel movebla sablo, lasu ĝin, mi ne timas David Tao!
Read article大气科学
大气运动的基本方程组
为了便于气象上的应用，我们需要首先导出运动气块的场变量变化率和固定点上场变量变化率的关系。 全导数和局地导数的关系选取一个要素场变量（如温度）来讨论全导数与局地导数的关系，既便于推导关系式，又利于了解物理意义。 在笛卡尔坐标系中，温度可以写为： 对于一定的气块而言，位置是时间的函数，所以，，。建设时刻气块位于处，经过时间，气块移动到处，气块在运动中温度变化了...
Read article大气科学
大气运动的基本特征
大气运动基本特征大气被视为连续的流体介质，表征大气状态的物理变量在大气连续介质中具有单一的值，这些场变量和他们的导数是空间和时间的连续函数。 影响大气运动的作用力牛顿第二定律适用于惯性系，单位质量空气块相对于空间固定坐标系的运动加速度等于所有作用力之和。这里的力是真实作用于大气的力，一般称为“基本力”或“牛顿力”。对于自转的地球而言，还需要考虑视示力，如惯性...
Read articleDevelopment
比例和投影
比例和投影是地图中两个基本概念，但往往没有被人关注。比例（Scale）是指地图单位与现实世界单位的关系，而投影（project）涉及将三维坐标转换为二维坐标的方法。接下来将介绍到： 比例尺、以及告诉地图用户测量的方法 投影原理、投影分类以及它们的特点 最后，你应该能够看懂地图比例尺、分辨常用的地图投影，理解基本特征和用途。 Scale地球很大，表面积超过5亿...
Read article数学基础
Conceptural Mathematics book notes
全书共五部分，逐章讲述范畴论的基本内容。 Section 1 Galileo and multiplication of objects四个世纪以前，伽利略对物体运动的问题感到疑惑，他试图弄明白一块丢出去的石头抑或是喷泉中喷出的水柱的精确运动过程。这个过程包括每一时刻物体的位置，这需要一组连续的画面去描述。我们称这种运动是一种从时间向空间的映射(map)。 ...
Read article大气科学
风场和气压场的关系
天气尺度的运动系统，通常是指在天气图上所能分析出的，在气压场和风场中具有结构特征和移动、发展规律的天气系统。这种系统属于大尺度的运动系统，是影响大范围天气变化的重要成员，在这种天气尺度的大气运动系统中，风和气压具有显著的特征和密切的联系。 在讨论其中的关系前，首先应该先对大尺度运动系统的各控制方程进行梳理。 大尺度运动系统的控制方程物理学中的基本守恒定律导出...
Read articleCS
λ演算（一）
1936年，图灵在论文中引入了Turing Machine的概念，与此同时他在丘奇门下攻读博士学位。 而后经Kleene证明：演算、Turing Machine 和 Kurt Gödel引入的general recursion 函数等价。并由此提出了一个伟大命题——即任何可计算的东西都能被这三种方式所表达。 而函数式语言起源于 丘奇提出的演算。
Read article