雷欧涅的海底摇篮曲

2010.1.27     8:30   上海浦东国际机场    小雨

2010.1.27    11:00   沈阳桃仙机场         小雪

一、东北印象

      第一次到东北，尽管全副武装做好了战斗准备，在浦东机场姜老板看到我的行李后说，你带得真少，到那儿要冷的；又说，没事，冷了在那儿给你买。感动得眼泪哗哗地。。。但是几天下来，除了两次晚上出门去超市采购，羊毛裤和围巾毫无用武之地，难怪小开敢在前一天把msn签名改成了“单裤闯东北”，我在那儿穿得要比上海都少，原因是在外面的时间很有限，而屋里实在太热了。。。

      飞机降落但还等着下飞机的时候，天上飘起了小雪，等下了飞机雪已经下大们，于哥说我们很幸运，这雪要是再下半天，飞机就降不下来了。作为一个南方人，看到路面积雪实在是一件很稀奇的事，雪灾那年，上海的路面也没至于积雪。不过路面积雪对于司机就不是什么好事，车难开不说，开一阵子之后每个车子的前轮后面的底盘位置都挂上了黑色的冰，据说挺难清理的。。。

      虽然并不觉得很冷，但是跟上海不一样的是那儿实在是很干，我又没做好万全准备，准备好的凡士林和润唇膏也没带去，大约5天之后，脸绷得要死，嘴唇更是裂得不成样子了，于是买了个润唇膏，抹脸的就问别人借用了。。。实在是有点杯具。。。

二、沈阳印象

      其实我一共也没去几个地方，每天基本就是东软---裕宁（宾馆），只有一天跑银行函证，算是在车上大致转了转沈阳城，其实跟上海也差不多，除了房子还是房子（废话- -b），不过那天发现市内有一个小山，或者说土坡，上面积着的雪都是白色的干净的雪（路边的雪要多脏有多脏），很多人在那儿玩，不知道是不是人工的。

      作为城市，沈阳一样地堵车……姜老板说她感觉沈阳的路很宽，但是她其实只见过机场到东软再到宾馆的路，但除了宾馆那段，基本都在市郊，自然很宽。而事实上市内堵车比上海都严重，没几个银行一天都没跑完（这当然跟银行效率低也有一定的关系）。

      沈阳的出租车起步8元3公里，每公里1.82（诡异的数字），比上海北京便宜，和武汉差不多（3元1公里，每公里1.6）。每个城市的出租车文化也不同，北京的哥基本都是相声，上海的多数是交通信息或者是Music Radio，沈阳不是评书就是东北特色的瞎侃（概括地讲就是有声版的糗事百科）。

      看到的还有一个比较有意思的事情就是沈阳的三轮车，前面是两个轮子的车身，骑车人在后面。我说这样的话，装满了东西转向多累啊，不过东西掉了马上就能发现倒是真的。

      这次算是吃到了正宗的东北菜，东北菜也没大排这种的大肉菜，不过比武汉好很多；菜码也确实大不少，打卤面味道也不错，饺子被我们一致认为皮比较好吃……在东北可能是因为热量消耗快？我饭量感觉增大不少……估计要增重了……

三、东软印象

      作为一个技术的企业，东软从内到外的门锁一律是电子锁，到了的第一件事就是每人给我们发了一张临时员工卡，否则除了厕所门，哪儿都进不了……而且这卡的级别也不一样，有了卡很多门还是打不开……第一次觉得，真是技术啊……

      东软的办公条件其实还是很好的，东软软件园占地很大，楼造得普遍低，但是占地面积巨大，站在房产商的角度，肯定是奢侈到极点了。办公室很宽敞，不过无线上网要认证mac这点比较恶心，他们只给我们开放了四个……太小气了，还是农房财大气粗……

      东软的待遇也还行。根据账面显示的数据，平均工资大概是4000+（不包括四金，税前），除掉被平均的效果，我觉得就这个规模，员工工资3000+肯定有，在沈阳算是很不错的了，立信沈阳分所的同事大概只有2000多一点。

四、后记

      出差=加班是我们这行亘古不变的真理，这次由于春节时间比较尴尬，沈阳之行时间紧，更是把我们逼到了极点，有两天差不多都到两点，12点之后那是肯定的。

      期间我还发生了一个插曲，不小心把水泼到笔记本上了，不过还好是一拨活做完，准备跑银行的间歇期，同事电脑又一样，于是硬盘拆下来装他机器上把重要资料导了出来。笔记本放在宾馆对着空调吹了一天，又正常工作了，算是运气不错。

2010.2.6   13:00     沈阳桃仙机场        晴

话说，在飞机上，看到底下白皑皑的一片，真后悔相机放在箱子里一起托运了。不过有个奇特的现象，丘陵地带的话，那些山坡上都没雪，积雪都在山谷或是平的山顶，这是为什么呢？哪位解释一下啊……

2010.2.6    15:20     上海浦东国际机场  小雨

视频链接：http://www.56.com/u79/v_NDg1ODU2NjA.html

The path of love is never smooth  爱情的道路从来不光滑

But mine's continuous for you  但是我的道路为你而连续

You're the upper bound in the chains of my heart  你是我心链的上界

You're my Anxiom of Choice, You know it's true  而你也知道你是我的选择公理

But lately our relation's not so well-defined  但我们最近的关系似乎定义不明确

And I just can't function without you  我失去你就没有效用（函数）

I'll prove my proposition and I'm sure you'll find  我要证明我的命题，则你会发现

We're a finite simple group of order two  我们就是一个二阶有限的单群

I'm losing my identity  我正在失去我的身份（单位元）

I'm getting tensor everyday  我每天都在紧张（张量）

And without loss of generality  而不失一般性地

I will assume that you feel the same way  我假设你也有同样的感觉

Since every time I see you, you just quotient out  因为每次见到你，你都会。。。

The faithful image that I map into  把我映入的忠实映像商出去

But when we're one-to-one  但当我们一对一

You'll see what I'm about  你会把我看清楚

Cause we're a finite simple group of order two  因为我们就是一个二阶有限单群

Our equivalence is stable  我们的等价关系是稳定的

A principal love bundle sitting deep indside  一根爱的主丛根植期间

But when you drove a wedge between our two-forms  但之后我们的2-形式之间划上一个契积

Now everything is so complexified  所以一切都被复化了

When we first met, we simply connected  当我们初次相遇，我们还单连通

My heart was open but too dense  我的心是开的但是太稠密

Our system was already directed  我们的系统已经有向

To have a finite limit, in some sense  某种意义上有个有限的极限

I'm living in the kernel of a rank-one map  我生活在一个秩1映射的核里

From my domain, its image looks so blue  从我的定义域来看它的像太忧郁

Cause all I see are zeros, it's a cruel trap  因为我看到得都是零点，一个残酷的陷阱

But we're a finite simple group of order two  但是我们是个二阶有限单群

I'm not the smoothest operator in my class  我不是我的类中最光滑的算子

But we are a mirror pair, me and you  但我们是个镜像对，我和你

So let's apply forgetful functors to the past  所以让我们对过去作用忘性函子

And be a finite simple group  然后一起当一个有限单群

be a finite simple group  当一个有限单群

Let's be a finite simple group (Why not three?)  让我们做一个有限单群 （为什么不是三阶？）

I'll prove my proposition now, as you can see 如你所见我已经证毕了我的命题

So let's both be associative and free  所以让我们都满足结合律并且自由

And by the corollary, this shows you and I to be  而且根据推论这蕴含着我和你

Purely inseparable. Q.E.D.  是纯不可分的。证毕。