Latest

KeiTsuki

KeiTsuki's Blog

大气科学

云降水和大气物理

March 14, 2026

水汽饱和条件 f=eEf = \frac{e}{E} f=Ee​ ln⁡f=ln⁡e−ln⁡E\ln{f} = \ln{e} - \ln{E} lnf=lne−lnE dff=dee−dEE\frac{df}{f} = \frac{de}{e} - \frac{dE}{E} fdf​=ede​−EdE​ 其中,eee 为实际水汽压,EEE 为饱和水汽压,ff...

Read article

找自己

April 3, 2024

David Tao! 昨天晚上做了個夢 我走進撒哈拉沙漠。 空無一人 站在太陽下。 攝氏六十六點六度 快要焚化我的眼珠。 忽然一場大雨降下來。 汗水被那雨水沖走 結束四十天的折磨<span class="heti-hang">。</span><br> 荒漠一轉變成了綠洲<span class=&q...

Read article

CS

实现一个 Hindley-Milner 类型系统

December 20, 2023

随着对函数式语言的兴趣日渐浓厚,我对设计一门编程语言的冲动也越来越强烈。这个过程非常的艰难,需要大量的基础知识作为铺垫,其中非常重要的部分——类型系统尤为复杂。我从一些博文中了解到了Hindley-Milner类型系统、Algorithm W 和 Algorithm J等等知识,并试图整理出来一条脉络以供日后使用。 在这篇博客中,我将会通过一个例子展示Hin...

Read article

多谢你

December 18, 2023

《I'm OK》 我很ok吗? 当我一踏进家门。 我就感觉怪怪的。 当你坐在客厅瞪着TV。 你眉头上的皱纹。 你一直在深呼吸。 告诉我今晚我要小心。 我不明白什么事。 又让你发飚。 是不是这一次你能好好讲。 两个人什么事可以好商量。 ...

Read article

爱情好像流沙

December 5, 2023

爱情好像流沙,随他去吧,我不害怕 Amo estas kiel movebla sablo, lasu ĝin, mi ne timas David Tao!

Read article

大气科学

大气运动的基本方程组

September 9, 2023

为了便于气象上的应用,我们需要首先导出运动气块的场变量变化率和固定点上场变量变化率的关系。 全导数和局地导数的关系 选取一个要素场变量(如温度)来讨论全导数与局地导数的关系,既便于推导关系式,又利于了解物理意义。 在笛卡尔坐标系中,温度TTT可以写为: T=T(x,y,z,t)T = T(x,y,z,t) T=T(x,y,z,t) 对于一定的气块而言,位置(...

Read article