スマートコン @mr_konn
『真猿をのぞくとき、真猿もまたこちらをのぞいているのである.』
-
収束列が取れるか。単射と全射から全単射が作れるか。
11825pv 64 4 users -
(´・_・`) は「昔ぺろぺろしてたけど今は彼女ができたので辞めたら、周りの人がやけに辛くあたるようになって悲しい」..
6998pv 52 6 users 1 -
かいとおいたんのクソ映画実況『メガピラニア』
7146pv 37
-
超準解析を代数的に。
17703pv 60 8 users 2 -
数学できるかわず先生 ! ! ! ! ! !
18315pv 96 3 users -
深夜の連打祭り ~ lovelang.heroku.com ~
3638pv 20 6 users 1 -
解析学徒があらわれた!
4876pv 18 3 users -
極大イデアルの存在とせんたくん
7189pv 42 1 -
ニュートリノ光速こえた?の物理学者のつぶやき
36431pv 346 65 users 20 -
車掌・駅員さんのアナウンスまとめ(おもに9/21の非常時)
728060pv 28901 1060 users 7210 -
ICFP2011 1日目
4945pv 16 1 user -
スタート集合論
2599pv 9 2 users -
ブルバキの論理体系と「選択公理」
10366pv 39 7 users 1 -
集合論と数学の形而上学
6202pv 16 3 users 3 -
一番中二病っぽい数学用語知ってる奴が優勝
61036pv 260 29 users 16 -
「〜でも…するレベル」数学者/哲学者編
32920pv 326 41 users 2 -
Coqで圏論の会
4047pv 9 -
【2011年記念】 x^2011-1 の因数分解
8609pv 22 3 users -
訳が分からんでござるそば。
3788pv 31 3 users 1 -
古野まほろによる4/25(月)の演説と邪教徒の狂乱
13041pv 56 1 user -
層・圏 and Something Completely Different
3202pv 15 1 -
Haskellでのエラーの扱い方。あるいはApplicative, Monad等とliftが多くなることについての考え。
5683pv 15 6 users -
夜中からの Haskell 談義
35579pv 63 38 users -
ミステリの探偵像とカタルシスについて
27000pv 117 28 users -
「人に勧めるには注意を要するミステリ」作家別シリーズ
107087pv 160 10 users