C Details 之 基本细节
1、有效数字 一般而言，double型数据可以接受实型常量的16位有效数字，而float型变量仅能接受实型常量的7位有效数字， 在有效数字后面输出的数字都是不准确的。 例如： 1 2 float a = 123456.7890123456e12; double b = 123456.7890123456e12; 可以尝试： 1 printf("%f\n%f\n",a,b);
Changkun Ou欧长坤
Science and art, life in between.科学与艺术，生活在其间。
Bridging HCI, AI, and systems programming. Building intelligent human-in-the-loop optimization systems. Informed by psychology, sociology, cognitive science, and philosophy.连接人机交互、AI 与系统编程。构建智能的人在环优化系统。融合心理学、社会学、认知科学与哲学。
又读流形
从牛顿说起 说到流形，要从 Newton 说起。 寒假的时候，也不知是在哪儿看的，说是当时Newton对三次曲线分类，实可逆线性变换和平移变换下的标准型有78类。 今天读古今数学思想的时候才知道其实Newton只得到了72个，Stirling后来在1717年的时候又补了4个，一个叫 Jean paul de gua de maives（这货名字好奇特）的人在1740年的时候又补了两个。
ZFC 集合论中各公理的意义及作用
本文简要地介绍ZFC集合论中各公理的意义及作用。 首先，ZFC集合论中的公理大致分为3组： 1、外延公理。 2、子集公理模式、无序对公理、并集公理
谈线性空间定义中加法交换律独立性
前阵子看线性空间定义的时候无意间注意到定义中的加法交换律实际上是可以由其他七条证明出来的。 我们先明确课本上的定义： 定义：设V是一个非空集合，
为什么要有特征值和特征向量
迷惑很久，终于想通。 其实是一种数据的处理方法，可以简化数据。矩阵乘特征向量就是在其方向的投影。这点类似于向量点积既是投影。 通过求特征值和向量
2012 年终总结
（一）上半年、 一年前我们在高考的冲刺中追逐着，机械性的高三没什么可总结。 六月份的终点看昨天的我们走远了，在命运广场中央等待着。 那模糊的肩膀，
一个人的锦都
序 我不确定我能否写完这篇已经构思很久了的日志，但是不可否认的一点是：我的确动“笔”了。 一、你站在旧时光里。 如梦的舞台， 无意注入迷茫的情绪。 我
谈谈Google和Android
谷歌不像苹果，苹果自己就是手机厂商，直接管控手机的每一个细节以保证最终用户的体验，而谷歌自己不生产手机，很多手机厂商生产使用他操作系统的手机
又是一月流阙时
生活在呼啸中吼过，是谁那么慌，剪破七月的时光？ 一、看那场，似是繁华 从哪儿开始呢， 距离那场所谓的转折点已经过去差不多两个月了。 不过似乎我的人生
文艺还是苦逼 确实不是一个问题
爱已不在这里，我却还没走脱。 一、 高考完这一个月貌似什么正经事情都没做。 以前说的很多事情现在看来都变得如此的遥不可及。 比方说第一件事，我高考前