无题
其实我怎么不伤心。为什么偏偏是我们
今天删了500道题的源代码，也许明天就会后悔吧，不过不在乎，独自伤心ing
准告别ACM
虽然今天成都选拔赛被菜了吧，A了三道题，做得极其不顺利，卡题从头卡到尾，每次开始思路全错，但是怎么说都快结束了
半年的ACM生涯有悲伤也有惊喜，可以说ACM是良药，医好了我多年以来的唯利唯名心理，体会到了和队友合作的愉快，实现了心理彻彻底底的宁静，但是即使是良药也不能多吃，多吃了也会成为毒药，我们现在都是新手，到了明天，也许就变成老江湖，非要做出点成绩才算有对心理的安慰，那时候动机就不纯洁了，所以现在退出应该是一个好的选择。
虽然还有些恋恋不舍，但我还有很多很多事情要做，ACM只是副菜，而数学中广阔的天地才是我的乐园，物理神秘的土地对于我总有着无尽的诱惑，在ACM这块地方小憩一下，倒是很不错，现在，又是启程时！
忙完杭州现场赛吧，到时候就要对ACM说拜拜了，感谢当时我那股不怕输上进的精神，这才有了今天的愉悦，嗯，忘了说了，认识了许多这里的大牛，感谢他们给予的帮助！
公理之于数学
做一些为以后文章打基础的工作。
数学不同于物理，前者具有可辨真性，而后者只具有可辨伪性，可以这样来理解数学这个名词：数学是建立在一系列公理之上的经过严密推演得到一系列结论的学科。数学的严密性是毋庸置疑的，除了哲学，逻辑学等少数学科，没有哪门学科的严密性可以和数学媲美，公理作为数学的基础，当然就扮演了极其重要的角色。
公理的特点大概有三：
一，是公认的基本原理，公认，即大家都认可，比如一条直线可以无限伸长，如果不被所有人认同，例如欧几里得的第五公设：两条平行线没有交点，就会产生问题，从而导致不同的学科的产生，如罗氏几何和黎曼几何。
二，不可用其他公理证明，否则可称为等价公理，例如选择公理有几种等价形式，只需取出一条就可以
三，容易从公理推出其他结论
定义在一定程度上也可以称为公理，而公理系统则是一系列公理，从上述特点可以看出公理不是那么好断言的，一个人考虑一条公理的时候三个特点必须缺一不可，要不然就会闹出笑话。
对于公理的认识，人类可能走了两个极端。
起先数学家并没有意识到公理的重要性，而是依靠直觉，不可否认直觉在数学中扮演很重要的角色，Gauss，Galois等大数学家都是先靠着直觉来发现定理，这可以说是1%的天赋（虽然只有1%，但是更胜那99%的努力），但是，数学还有另一个特点：严密性，直到第三次数学危机爆发人们才完全意识到了这个问题，，Hilbert提出了23个影响了数学发展的问题并把公理化提上历史议程，但是他认为存在这样一个完备的数学系统可以把所有的定理推出，终于他的梦想被Gödel的不完备定理粉碎，数学可能就是缺憾美吧，完备的话也就不美了，于是数学还...
柯南剧场12
由于感冒缘故，昨天得以欣赏了柯南剧场版12《战栗的乐谱》，感觉还是不错滴，虽然我认为有很多人应该觉得这部如同第11部一样不好看，但我认为题材不错，是我喜欢的那种，而且剧情没有那么跌宕起伏，几乎可以猜到，可以用平静来形容，Amazing Grace更给了我回忆童年的温馨感觉
不过要把Amazing Grace换成Ave Maria就更好了，哈哈
Java — high precision
Although catching cold, I learned Java for the whole day yesterday and finished one book. Without any exceptions, Java is the language alike C++ and hence it’s easy for me. As I said before, Java is not so strong in most areas, STL for instance, but it really performances well in calculating high precision [...]
...哈尔滨之旅 ACM
首先10月9号那天，没有赶上火车。。。本来是5：37的火车，怎么说以防万一4点都应该走了，但是按照教练的意见——一个小时肯定到了，于是就说4:20走，没想到教练又说饿，4:20在那里吃东西，导致上出租的时候已经4:35了，再加上下雨+下班高峰+两会交通管制，所以说。。。没办法，只好再买K，但是只买到两张卧铺，两张硬座。。。于是我们就在火车站等了5个小时，然后在坐了17个小时的火车（还晚点了一个小时），到了哈尔滨还在下雨，而且出租车似乎还不允许在火车站拉客，导致我们只好走了很远然后才得以坐上出租车，到了宾馆已经第二天下午4:30了，本来一切顺利的话早上就能到。。总觉得是“出师未捷身先死”了，不过我们坚信根据RP守恒定律，正式比赛一定会RP爆发的！
哈尔滨并没有想象的那么冷，也就没有穿毛裤的必要，但是菜的口味很重（个人感觉）晚饭我们就品尝了一次“特色菜”——香菜炒洋葱，洋葱还相当呛，到的第二天主要是一些数据采集工作，还有参加一些无聊的开幕式，简单说来，就是让每位嘉宾都上台讲话，然后还有参观校园，发现主办学校——哈尔滨工程大学在军区里（还是军区在学校里。。），都是俄式风格的建筑，还是有别样的风情的
第三天就是正式比赛了，比赛的现场其实很混乱，自从有四个队过题之后版就一直没动过，后来一问是评测系统挂掉了，评测直到一个小时后才又恢复正常。。。这之中我们交了3道题（就是三道水题）有两道没有1Y，导致我们几乎加了3个小时的罚时，（其实两道题都很幼稚，一道是因为Deity同学认为10^10没有超int而没有用long long,还有一道更。。eenh同学没有把调试信息删掉，以至于每次运行那个程序开头都会自动...
哈尔滨现场赛题目–随便写写
综合说来，题目都很长，而且每一道题都无聊的扯到了海军。。。。还有很多描写景色的，例如什么the sun is shining and the sea is calm….
三道水题，就差不多可以保铜奖了
嗯，借用一下HIT某大牛的简略解释，
A : 一个球体组成的金字塔，每层都是三角形。第一层1个，第二层1+2个，第三层1+2+3个，第n层1+2+3+….+n个。从第一层开始往下按顺序给每个小球编号，每层的三角形也是从上到下遍。现在给定一个编号，求它的位置，也就是层数、层内的列数和列内的第几个。二分+二分，推的时候可能有点儿麻烦，不是我写的
B : 一个数有K个约数（算自己）就叫K维数。求第n大的K维数。n