我
找自己
David Tao! 昨天晚上做了個夢 我走進撒哈拉沙漠。 空無一人 站在太陽下。 攝氏六十六點六度 快要焚化我的眼珠。 忽然一場大雨降下來。 汗水被那雨水沖走 結束四十天的折磨。 荒漠一轉變成了綠洲。 彩虹下有一棵大樹 大樹上有一顆蘋果。 咬下一口 我就全明白。 可不可以讓我再 讓我再一次 回到那個美麗世界裡。 找自己。 ...
Read articleLatest
KeiTsuki
KeiTsuki's Blog
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 article