ふぁぼられ ふぁぼり

ふぁぼったー

ざんのふぁぼられ(5633)
bio: 情報系の大学3年生。数学が好きです。最近は代数学と論理学を勉強しています。
zhanpon
今学期は大学の講義も無いし好きな事しかしてないのでハッピーという大変単純な世界観に生きている。
zhanpon/ざん 2012-05-26 22:00:09 1 fav by milking
zhanpon
CLTTは道具立てが高度すぎて手に負えなくなりつつある。
zhanpon/ざん 2012-05-26 21:56:01 1 fav by pirapira
zhanpon
名古屋大学出版会「論理学をこわす」
zhanpon/ざん 2012-05-26 01:39:54 4 favs by quolc Glass_saga chihirow noukoknows
zhanpon
しかもあいつらたくさんいるように見えて一つの個体だったりしてどう考えてもヤバい。
zhanpon/ざん 2012-05-26 01:24:32 1 fav by patho_logic
zhanpon
竹林を見ると「こいつらに滅ぼされる…!」という恐怖を覚える。
zhanpon/ざん 2012-05-26 01:23:56 1 fav by patho_logic
zhanpon
他の分野の証明だとああやってこうやってこうなったという風なストーリーを覚えてるんだけど、証明論だと「帰納法を使った(完)」という記憶しかないので何も覚えられない。
zhanpon/ざん 2012-05-26 00:01:32 3 favs by ut_an capella_1127 2ndZeta
zhanpon
「排中律が成り立たない」というか「排中律を使った証明が受け入れがたい」という話をしたほうが良いのでは。無理数の無理数乗で有理数になるものがある、という事実の典型的な証明とか。
zhanpon/ざん 2012-05-25 23:48:50 2 favs by capella_1127 2ndZeta
zhanpon
Civ5が75%オフ………
zhanpon/ざん 2012-05-25 16:14:40 2 favs by nekonyaaaaaaaan ke_ta3
zhanpon
まったく眠くならないので極限順序数でも数えるか
zhanpon/ざん 2012-05-24 01:24:08 1 fav by noukoknows
zhanpon
最近、寝床で考え事しててテンション上がりすぎて眠れななくなることが多い。
zhanpon/ざん 2012-05-24 01:09:59 1 fav by Ichrw
zhanpon
@An7s アニメ化決定! 「僕は椅子の座り方が無礼」
zhanpon/ざん 2012-05-24 01:08:35 1 fav by chihirow
zhanpon
構造が皆無の圏ばかりで疲れて来たのでtopos theory やりたし
zhanpon/ざん 2012-05-23 21:20:25 2 favs by eomole hiromichi_i
zhanpon
僕もちょうどLを整列してるところです。
zhanpon/ざん 2012-05-23 14:40:23 1 fav by ke_ta3
zhanpon
財布が見つからない悲しみを忘れるために三ツ矢サイダー飲んでる
zhanpon/ざん 2012-05-22 23:09:21 1 fav by milking
zhanpon
数学しようそうしよう
zhanpon/ざん 2012-05-22 19:43:00 1 fav by hiromichi_i
zhanpon
なぜならば!
zhanpon/ざん 2012-05-22 19:28:01 1 fav by chihirow
zhanpon
べろべろばーw
zhanpon/ざん 2012-05-22 19:17:47 3 favs by chihirow haroperi nekonyaaaaaaaan
zhanpon
明日セミナーだぴょん
zhanpon/ざん 2012-05-22 00:06:44 1 fav by noukoknows
zhanpon
@An7s 君は天才だ
zhanpon/ざん 2012-05-21 23:19:16 1 fav by lintias
zhanpon
@choruscoast @grafi_tt 茨城で大流行してますよ!
zhanpon/ざん 2012-05-21 21:22:53 1 fav by grafi_tt