dif_engine @dif_engine
まったりとはじめました。 直接御用の方はGmail 宛: differential.engine にお願いします。 (旧サイト:http://blog.livedoor.jp/differential_engine/)
-
公理的集合論と「有限性」に関するつぶやきまとめ
1414pv 4 -
ネルソンのISTについての連ツイ
1135pv 1 -
なんでも距離にすればいいわけじゃないという話
1245pv
-
認識論?関係の連ツイ
671pv -
全てが箱になる
1044pv 5 -
超準解析反省会場
6092pv 5 2 users -
kovroid と kurietan の会話
2599pv 3 -
超準解析(IST)についてのつぶやきまとめ
2259pv 2 -
2014年末、Hakellや圏論の会話やつぶやき
1464pv 2 1 user -
超準解析と正則性公理
5387pv 5 1 user 1 -
「動く特異点を持たない方程式」がなぜ大事なのか
4767pv 15 1 user 1 -
一般位相の勉強の大変さ
7184pv 9 1 user -
直交多項式とか
6978pv 3 1 user 44 -
「ベンツ吸ってもいいですか?」
1007pv 1 -
すべてがHになる --- というかなってほしい
3728pv 6 -
QuickCheck使ってC++のテストも有効である可能性
2357pv 8 2 users