ひらいずみセミナー(2日目)

青い楕円形のぜろ @0_uda

わがはイデアル [栄養ぜろ]

Suga @SugaTheKid

何ｗｗｗこのフヒヒｗｗｗな補題ｗｗｗｗｗﾏﾀｼﾒｼﾀｧｧｧｧｧｧｧｧwwwwwwwwにゃんにゃんぱー♪ｱｯﾄｳﾃｷｽｳｶﾞｸｩｩｩｩｩｩwwwwwwww http://t.co/HqyO6PGj

黒ごまのかき氷 @hymathlogic

ミスタードーナツなう！

元祖眠り兎 @sleeping_walker

ＴＸなう

元祖眠り兎 @sleeping_walker

次は守屋な区間快速に乗ってるけど、他にだれかいる？

V-alg-d（ZZ） @alg_d

俺快速(^o^)v(^o^)v(^^)v(^^)v

元祖眠り兎 @sleeping_walker

ちなみにパソの電池がもうほぼない

V-alg-d（ZZ） @alg_d

RT @OnThisDayinMath: 1993 Max August Zorn died most famous for discovering something yellow and equiv­alent to the Axiom of Choice. http://t.co/sy1KyLy2

黒ごまのかき氷 @hymathlogic

ポンデのうこなう！あっ、これポンデ黒糖だ！

平泉 @hrizm_math

俺もつくば0915着の電車に乗る予定だったのがズルズルとずれこんで予定より30分くらい遅れそうで死にたい

V-alg-d（ZZ） @alg_d

If ZF is consistent, then it is not provable within ZF that the order of any group is divisible by the orders of all its subgroups

V-alg-d（ZZ） @alg_d

@alg_d これマジデカ

V-alg-d（ZZ） @alg_d

これ、もしかして濃度的なアレか。

平泉 @hrizm_math

よくわかんないけどラグランジュの定理がZFから証明できないってことですか。

元祖眠り兎 @sleeping_walker

電池ないから待ち合わせはがんばってそれっぽい人をさがそう

石塚 @Yusuke_Ishizuka

ＴＸに乗り込んだ。しかしこの車両は守谷止まりのようだ…

エヴィン・ラティエ @evinlatie

セミナー室に到着。

Suga @SugaTheKid

@evinlatie 早すぎワロタ

エヴィン・ラティエ @evinlatie

@SugaTheKid ホホハハハ

黒ごまのかき氷 @hymathlogic

おいらも電池ヤバイ

黒ごまのかき氷 @hymathlogic

兎さんとエンジンさんとパン耳さんなう！

V-alg-d（ZZ） @alg_d

改札出て真っ直ぐ前に居る。

石塚 @Yusuke_Ishizuka

乗り継ぎ成功

V-alg-d（ZZ） @alg_d

移動始めるみたいなので後のかたは直接部屋に来てください。

エヴィン・ラティエ @evinlatie

よし・・・暇だ