Development
比例和投影
比例和投影是地图中两个基本概念，但往往没有被人关注。比例（Scale）是指地图单位与现实世界单位的关系，而投影（project）涉及将三维坐标转换为二维坐标的方法。 接下来将介绍到： 比例尺、以及告诉地图用户测量的方法 投影原理、投影分类以及它们的特点 最后，你应该能够看懂地图比例尺、分辨常用的地图投影，理解基本特征和用途。 Scale...
Read articleLatest
KeiTsuki
KeiTsuki's Blog
数学基础
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 articleCS
(->)r 类型如何完成applicative functor的实例化
题 当我最近阅读haskell教材时，因为对于 类型的applicative functor的实例化的实现有些疑惑（主要是对于函数式编程的不熟悉），所以翻了些stackoverflow的回答解决了我的问题，在此留下一些痕迹。
Read article