又是很久没有写作了。但写作让我快乐，审视自己是一种快乐。 这不禁让我觉得独自一人的深夜也可以是快乐的，因为能腾出手来写作。 2012 年已然是多灾多难的一年。 在蒙特利尔（Montreal）酒杀了新的笔记本，彻底沦为板砖，只能期待重新投胎。 从奥尔巴尼（Albany）到雪城（Syracuse）的灰狗大巴上不知是谁选择我的行李。但其实丢掉一整箱并没有丢掉一些小东西来得那么的让人心痛。因为箱里的东西都已经打包成为了无名氏，若不细细回想，它们可能只能用代词一笔带过，接着被遗忘。 由于电脑彻底报废，所以新年刚露一角的那阵，愿望一时半会也许不出来。 当然，这是借口。许愿和电脑没有什么必然联系，和写不写下来没有什么必然联系。只是一时半会没有什么特别的愿望好许的。 有些事情我清楚我能完成，它们明明白白地放在你面前。这些不能算是愿望，那是已经放在口袋里，那是触手可及的，那是工作计划。 刨去这些，想了半天自己到底有什么诉求，还是憋出一个很土的：好好学习，天天向上。 这学期的课表和上学期类似，还是周一周三周五有课，周二周四周末没课。但与上学期不同的是，这学期的课仅仅集中下午 12 点 30 分以后。 今天是开学的第一天，周一。但由于今天是马丁路德金科拉格朗日，学校规定下午 12 点 30 分以后全部停课。于是…… 可能马丁路德金是要教育我们，好好学习，否则退学。即便退学，依然要有梦想。 那，我去睡觉了。
Mathematical Abbreviations
Here is a short list of mathematical abbreviations which troubled me the first time I graded students’ papers. You should be familiar with these words if you have used English as your first language in mathematics for years. But for students who has no experience of writing maths in English, this list might help. Abbreviation… Continue reading Mathematical Abbreviations
失恋 33 天
这篇文章写于神棍节，本应该在“那个特定的时间点”发表的，但后来因为“那个命中注定的相遇”一直搁置在草稿箱，今天才把它发出来。 除开那些事务性的日志，好久没有写和自己有关的任何文字了。美国这边抓得紧，学习忙到已经没有时间整理任何东西了。原本设想的很多事情也因为学业，只能最低限度的完成。 最近一周却异常平静起来，课程的作业渐渐少了起来。 总之，今天，周五，某个特殊的日子，离开了匹兹堡，乘坐JetBlue公司的航班，抵达波士顿。 这部电影，失恋 33 天，是在这周三看的。与其说它是一部电影，不如说它是一颗果糖，包装精美的，不知从何处被款款地放置到了你的手里，而你只是想要拨开它的外衣，并将它塞到自己的嘴里，无需特别在意它的味道。 类似的电影，那种我认定是想特意将自己埋进去寻找某种情绪的电影，也看过很多，借此放纵自己。处理这些电影的方式如下，每隔五分钟问自己，我是不是那个人？循着各种证据，时而肯定时而否定，沉浸在情绪的波动。最终，谁都不是。面对剧终，不知当不当失落。 所以，在我眼里，失恋33天是这样一部电影，在特定的时间出现，满足特定人群的心理。 我也不免成为这样人群中的一员。 所以，亦是如彼，带入带出的。 相识，相恋，再见，失恋，老死不相往来。 似乎寻找另一半的整个过程也和看此类电影一样，问一个问题，然后寻找答案，我是不是那个人，她是不是那个人。 人生如戏，如果接受了这样的设定，不如演一场戏给世界看。 可人在某种程度上是要保持某种一致性，有些人称其为原则或是责任，于是也就不能随心所欲。 都快二十多岁的人了，戏份到了这个田地，是不是要继续演下去？这是一个问题。
CMU mid-autumn talent show 2011 official video
Facebook event for CMU Mid-Autumn Talent Show 2011 can be found here. The following promotional video which was shot and edited by me is a collection of highlights in the audition on September 24, 2011 at Hamburg Hall, Carnegie Mellon University.
Quotation from Bruno Poizat
Professor Rami Grossberg mentioned the following book as a reference on his class ‘Model Theory I’, A course in Model Theory, Springer-Verlag 2000, by Bruno Poizat. Professor Grossberg wrote this on his website, This is a translation of Poizat’s book that was published about 25 years ago by him in France. It is intelligently written… Continue reading Quotation from Bruno Poizat
Macbook Air
Hooray! Finally, I don’t have to bear the spinning wait cursor anymore.
How to say maths terms in English?
On Maths Presentation Workshop at Carnegie Mellon University, Professor Brandon was trying to to help us understand the undergrad in United States and improve our teaching skills. This was my first time knowing how to say maths terms in English. And I want to share with you some of the tips. Before I start, I… Continue reading How to say maths terms in English?
我很好，美国还行
之前总是找不到一个时间，既有相机在身边，又有网络。今天，伟大且万能的室友在 Verizon 大罢工期间，居然把网络给开通了，还是 FiOS 的哦～ 先报平安，具体么，各种顺利啦。 去之前，房子莫名其妙就搞定了，室友很友善。去之前还在考虑家具的事情，结果原来住在那附近的小朋友要走，东西想变卖了：床，席梦思，桌子，台灯，四样打包 120 美元，还挺便宜，并且还帮忙搬到我住的房间了。并且更过分的是，去了之后，桌子前面莫名其妙多了一个非常舒服的椅子，室友都无法解释为什么那个椅子会出现在那里。 于是我就这样，过去，铺好床，开始睡觉了。 据说，这叫做窃取革命胜利果实。 从多伦多转机的飞机，邻座是位交大美眉，当时有种似曾相识的感觉。昨天才反应过来，原来长得像章子怡啊。来接机的学长的车是装不下两个人的行李的，但机场把她行李弄丢了一个，就正好了。汗。 补充一句，这里复旦和交大的人真多，每天认识一组。 睡醒的第一个早晨，室友就很好心地带我去开了银行和手机，还给我来了个 Campus Tour。虽然有点不习惯这样被带着走，但还是很感谢室友的热情的。 去系里报道，原来“小秘”是位和蔼的老太太。但记忆力惊人，居然见到我就报出了我的名字，还能背我的 email 地址，我被吓到了。领了办公室的钥匙之后，我就去自己办公室转了一圈，正好碰到办公室的室友，是哥伦比亚人，也超级友善的。 然后就是各种 Orientation，各种酱油，各种资料，各种排队，各种吃喝。比如在 Graduate Student Assembly 的忽悠下在 Walnut Street 上排了两个小时，得到了一个免费的 Gelato。今天中午在大太阳下面排了一个小时，一顿免费的 BBQ。 打算在开学的时候先考掉一门资格考试，所以又要开始学术啦。 办公室那层楼有一个巨舒服的研究生自习室，改日发照片。 过几天还有助教的考试，不知道能不能通过。管它呢，反正我是外国人，说不好英语正常的。据说明天的 Workshop 是帮助我们过那个考试的。 哦，忘记说了，这里东西都真心难吃。每次吃饱的时候，我才反应过来他们是多么的难吃。当然，这么说是夸张了。 附一个我“做”的菜。我清晰记得这道菜的做法：打开包装袋，放进微波炉，转三分钟，拿出来，对着土豆泥搅一搅，放回去，转一分半，就好啦。 怎么听着有点像纸包鸡呢？
John 椭球
对于一个三角形，一定可以找到一个椭圆，满足，。对于一个平行四边形，一定可以找到一个椭圆，满足，。由于在仿射变换下三角形，平行四边形，椭圆，线段比例都保持，所以只需要对正三角形和正方形进行证明就可以了。 实际上，John 定理断言，每一个维凸体都有一个相应的椭球E满足，。对每一个中心对称凸体，都有一个相应的椭球满足，。 为了证明 John 定理，我们需要引入 John 椭球的概念，为此需要证明 John-Loewner 椭球定理：对于任意一个维空间中的含有内点的紧子集，存在唯一的椭球包含K，使得椭球体积达到最小，此时，称该椭球为 John 椭球。 证明（概要）：利用椭球与阶正定对称阵的联系，考虑所有包含 K 的椭球的中心和其对应的正定对称阵构成空间，证明函数在上取到最大值，存在性得证。如果在中有两个极大值点，可以通过这两个极大值点构造中的元素，使得在该元素上的取值更大（这里需要利用在上的凹性），由此导出矛盾，唯一性得证。 作为应用，我们考虑所有的的紧子群，令，其中是单位球，此时含有内点。于是是在任意中元素作用下稳定，如果是的 John 椭球，那么在任意中作用下也稳定（这是因为的紧致性保证了其任意元素的行列式为，于是明显包含，且体积与相等，由 John 椭球的唯一性知的稳定性），由此可知存在，使得对任意，有，，故，也就是说在相差一个共轭的程度上，正交群是极大的紧子群。
A Web Crawler for Renren: A Ruby Approach
Recently, I learned some basics of ruby through Why’s (Poignant) Guide to Ruby, and I wrote an automated crawler to visit the home pages of other people on renren, the Chinese version of facebook. Here is the source code. You may save it as renren-crawler.rb. require ‘net/http’ require ‘CGI’ $email = ‘[email protected]’ # Enter Your… Continue reading A Web Crawler for Renren: A Ruby Approach