【三*彩法式复古小方领连衣裙 89】https://t.cn/A6ABuOhE

本期三条裙子里，这条最日常，虽然纯色米色，但是越简单越不易过时，也不挑人！方领+伞裙裙摆，款式简单大方。加宽收腰以及收敛的微泡灯笼袖，都是遮肉显瘦利器。 ❗️搭配米色这种完全不挑肤色，黄皮也好穿的颜色，各种场合基本都能hold住了，上班族/学生党都没问题~

我153 82斤穿的S，裙摆差不多在小腿肚附近，腰围64穿已经很合适了，给大家参考，建议超过95斤就要选M啦。小个子上身不会显得人被衣服吃了一样矮矮的~ S对应155以此类推，按照平时穿的尺码选

定制面料，有肌理感的编制小方格，仔细看质感很好。有衬裙，不透！

❤搭配单品
【罗马凉鞋已团https://t.cn/A66BMo7q】团89包，晒反3（二层牛皮，实心防滑橡胶鞋底很好）https://t.cn/A6imq7OR
【三宅一生小方盒大号 119】https://t.cn/A627TJ2A

#北北上身实拍#

[2/3] 趁着复活节前后老板放假不催工作，我这几天忙着干下一个大项目，把 HOL4 代码库里新老两个版本的微积分（基于 Henstock-Kurzweil 积分）合并在一起。为了保持兼容性，我并不直接删除旧版本，而是通过证明一些额外的桥接定理，让来自两个不同实现的定理可以互相转化。这个工作的难度不大不小，两个版本的微积分最早都是 HOL Light 的作者 John Harrison（曾经在 Intel 负责 CPU 的形式化验证） 实现的，Harisson 最初是在 HOL98 上形式化了实数和一维微积分，然后开发了 HOL Light，再在 HOL Light 上形式化了多维微积分。后来 HOL98 发展成了现在的 HOL4，几乎所有微积分代码也保留至今，而 HOL Light 上的新版本后来也被人移植到 HOL4 用于概率论，但是降到了一维。旧版本更贴近教科书，新版本提供的定理更多，我决心将它们完美合并后再更新下官方文档。

it’s two day that i hadn’t record my daily life.
so i will repay it today.
nevertheless, these days have nothing happened. everyday i memorized words, and had class.
only three day i didn’t meet my son and my girlfriend, i do miss they.
my girlfriend is enjoying her Easter holiday, but my school was still closed.
oh last night we had a BBQ!