归心似箭：计算机辅助证明寻找两个不动点之间的异宿轨道
编辑： admin 2017-17-08
-
自从上个星期老板组织的一个小型workshop，发现，要学习的东西好多。当然是颇有兴趣，主要还是因为与之前看的东西有关系。计算机辅助证明寻找两个不动点之间的异宿轨道，用的是半群(类似重整化群)方法。可最近心有些散了。不管怎样，硬着头皮继续。
-
4
26号的感恩节，在家睡觉!很像我们的中秋节吧。对我来说，学校也放假了，反而觉得异常的无聊。BlackFriday的deal也不是那么诱人了，也许是经济危机的缘故吧。听说最近国内的房价也是疯涨，人民币又贬值了。美国的物价似乎控制的还好，没有这种感觉。27号凌晨，见识了BlackFriday的San Marco Prime Outlet，昨晚一夜没睡，我室友要去朋友家接人+看美式足球，所以像我这样没车的人(明年有时间一定要考个驾照)，无奈只能跟着一起去了，所以，我傍晚6点就从家里出发了，在人家家里呆的那叫一个无聊。也只是抱着见见世面的想法，没有抱多大希望能买到什么好的打折的东西。我们大概在午夜12点30分的时候到达那个Outlet,高速I35下来的时候，还有警察叔叔在疏散车流。
牌子挺多，大多我不太知道，我去有点浪费了，和上次去la Roca Village差不多，这里的似乎要大一点吧。唯一发现好的deal就是Columbia了。买了冲锋衣，电脑包之类的，价格真是不错。因为是一起去买的，各自有各自想看的牌子，付钱也要排很长的队，所以浪费的时间很多，我不是购物狂，所以无所谓了，就跟着呗，就是比较累。不过已经满意的买了几样，也已经很开心了。
一看时间，离开的时候已经是早上6点，到家，微波了一个红薯，洗了个澡，汇报了一下，倒下2秒钟就睡着了(绝对没有夸张)。