无意间看到这篇(好久没上英诗版了^^") 突然想起前阵子看到的一个自创搞笑歌 也是用数学来唱爱情 仅把原址及歌词贴上 虽说是歌词 许多歌词也都是如诗的 以此歌来说更是如此 我认为 歌词不但顺畅的使用了各种数学术语 押韵 合声起来也非常悦耳 丝毫不感唐突 但若版主真认为不符 请帮忙删罗:) https://www.youtube.com/watch?v=UTby_e4-Rhg Finite Simple Group (of Order Two) The Klein Four Group 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 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 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, its image looks so blue, 'Cause all I see 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 (Oughter: "Why not 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 -- Stultior stulto fuisti, qui tabellis crederes! http://blog.pixnet.net/Miska --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 24.19.51.161 ※ 编辑: hemels 来自: 24.19.51.161 (07/23 07:49)