没有很多甜言蜜语，浪漫惊喜。
不忘初心，每个阶段都能找到对方的发光点。
相互欣赏，平平淡淡彼此珍惜。
14年的婚姻，我们做到了“每天爱你多一些”。
这是我们曾经一起许下的目标。
我们有着相同的三观，我总能猜到对方想要什么。
我有自己的小目标，做一名称职的贤内助。
人不能贪心，鱼和熊掌不可兼得，找到合适自己的位置，并用心经营。
以后的事谁也说不准，活在当下，开心快乐就好！

可能很多人都不知道 miniKanren 语言的名字是怎么来的，我也曾经以为它就是英文名 Karen 前面加了 mini，却没发现多了一个 n。其实 Kanren 是日语“関連”（かんれん）的拼音形式。

最初的版本叫做 Kanren，是由一个热爱日本，坚持不懈学日语的美籍俄罗斯人 Oleg Kiselyov 创造的。最初似乎是用 Haskell 写的。后来 Dan Friedman 和 William Byrd 用 Scheme 改写了一个简化的版本，叫做 miniKanren，并且和 Oleg 合写了《The Reasoned Schemer》。

“関連”就是“关系”（relation）的意思，逻辑编程其实也叫“关系式编程”。联想：关系式数据库。[阴险]

今天和S去食堂吃饭，人来人往，熙熙攘攘。进去一晃神仿佛嗅到曾经学校的气味，仿佛我也是一名学生。她买了食堂的韭菜饼和牛肉饼，很顶饿。两个人吃过饭在学校里转啊转，然后我们去看池里边的小乌龟，扑腾扑腾，悠哉悠哉，伸长脖子，丑丑的。然后凑过去看窗台的小玩具，把小茶壶摆整齐，原来模型老鼠的下边是个大桃子。然后好奇地看了很像月季花的七姑娘，从水泥墙上长出的绿叶，窈窕待放的石榴花。那只肥猫眼神很凶，那个双杠太矮了，单杠又太高了，不知道那片长着绿植的天台是否在这里……