dif_engine @dif_engine
まったりとはじめました。 直接御用の方はGmail 宛: differential.engine にお願いします。 (旧サイト:http://blog.livedoor.jp/differential_engine/)
-
「ZFCのモデル」についての会話
2395pv -
数学基礎論を一人で勉強していて悩んだときの思い出
29604pv 71 28 users 3 -
超準解析にまつわる「不思議」
1288pv 2
-
超準解析において無限小量はいかなる意味で「存在する」のか
2855pv 3 -
黒木玄先生の統計の話(など)
14641pv 1 -
超準解析を応用することに関連するつぶやき
5801pv -
一様収束の理解とゲーム的意味論
3240pv 4 -
黒木玄先生のモナド談義(#数楽)
10695pv 30 9 users -
数の実在性についての対話
5331pv 17 -
微分形式は近代的微積分に埋め込みDSLとして実現された無限小計算である、という話
2804pv 4 1 user -
「超準解析は結局どんな感じの本でやるのがいいのでしょうか」に対する答
12798pv 29 1 user -
超準解析を含むつぶやき(まとまりなし)
1260pv -
オイラーの無限小概念はどれくらい正当化できるか
2081pv 5 -
公理的集合論と「有限性」に関するつぶやきまとめ
1414pv 4 -
ネルソンのISTについての連ツイ
1135pv 1 -
なんでも距離にすればいいわけじゃないという話
1245pv -
超準解析反省会場
6092pv 5 2 users -
超準解析(IST)についてのつぶやきまとめ
2259pv 2 -
2014年末、Hakellや圏論の会話やつぶやき
1464pv 2 1 user -
超準解析と正則性公理
5387pv 5 1 user 1 -
「動く特異点を持たない方程式」がなぜ大事なのか
4768pv 15 1 user 1 -
一般位相の勉強の大変さ
7184pv 9 1 user