f(Program,Poet)=Programet

突然发现好久没有写我的推荐时间系列了~大概是这个学期关注的东西有所不同吧，没有什么新东西可以拿来和大家分享的…不过今天我终于有东西可以放在这里和大家同乐了~

这个是我刚才在校内上看TJK分享的，顿时觉得非常的赞~以下是视频来源的童鞋描述：

美国西北大学数学系的The Klein Four乐队创作,转自YouTube,自翻英文字幕,欢迎数学系同学指正…

下面是我根据字幕简单整理出来的英文歌词，中文歌词则仁者见仁智者见智了。

Three,four,two,one
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 Axiom of Choice,you know it’s true
But lately out 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 every day
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 was stable
A principal love bundle sitting deep inside
But then you drove a wedge between our two-forms
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
From my domain,it’s image looks so blue
‘Cause all I ee are zeroes,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’re a mirror pair,me and you
So let’s apply forgetful functors to the past
And be a finite simple group
a finite simple group
Let’s be a finite simple group of order two(Why no three)

I’ve proved my proposition now,as you can see,
So let’s both be associative and free
And by corollary,this shows you and I to be
Purely inseparable.Q.E.D.

估计我回家前也就发这一篇了，复习几代去也。

本文由 严酷的魔王 创作，转载或引用前请联系我们。

相关文章：

1. 推荐时间：初探思维导图
2. 推荐时间：关于数学家的纵横填词
3. 推荐时间：LHC in Rap
4. 推荐时间：EpisteMath
5. 推荐时间：数列填空游戏Hidato

2010年1月5日 星期二