CとかC++でいろいろ
任意の可分距離空間の誘導位相が全有界な距離によって距離付け可能である事の自己完結な1ページの証明
計算嫌いの為のJordan分解
確率積分(2015/3/25改, 特にルベーグスチルチェス積分について訂正)
有界$p$次変動(finite p-variation)についてのノート
初等関数は$C^{\infty}$級である(指数関数と三角関数の再定義)
収束と位相に関するノート
横断数を用いないマルチンゲールの収束定理の証明
_