〜岡本真夜『TOMORROW』のメロディに乗せて〜

Λ(ラムダ)の数だけ元が取れるよ
inductiveなる集合用意
Zornの補題に おびえないで
整列するよ 君のために

Λ(ラムダ)の数だけ元を取ろうよ
surjectiveなる写像を用意
自分をそのまま 写していてね
単射はあるよ どんな時も


Vocabulary for Mathematics
inductive:帰納的な
surjective:全射の(名詞形は-tionまたはonto。)
injective:単射の
bijective:全単射の



この歌、数学やっている人にとっては爆笑ものだと信じてる。

thank Q for your rEaDing.φ(・▽< )v