2012/05/22 - 2012/05/23 の零時近傍の解析学 TL (@kotorin_z 主催) 続きを読む
解析学 TL (2012/05/22 - 23)
Coq と実数と停止判定
直観主義の数学
ソボレフ空間ちゃんの厚い本ください
明日が晴れならば「前提が偽の含意は真」である
関西すうがく徒のつどい第1回後半戦(3/31) - 127教室コンパクト版
関西すうがく徒のつどい第1回後半戦(3/31) - 128教室コンパクト版
関西すうがく徒のつどい第1回後半戦(3/31) - 網羅版
関西すうがく徒のつどい第1回前半戦(3/06) - コンパクト版
さかな ( @sakanafsku ) はイケメン
関西すうがく徒のつどい第1回前半戦(3/06) - 雑談編
関西すうがく徒のつどい第1回前半戦(3/06) - 開会~閉会
指導要領から考える #掛算 の順序問題
コンパクトタイムライン
多項式環 TL
数学クラスタとTeX
ハウスドルフ空間にならない話(軽量まとめ)
位相空間全体は集合を為すか
メモ:カリーのパラドックス
標準的自然数と超自然数