伊藤のレンマを含む確率微分方程式の理論を、超準解析を使って書き直して
みると練習問題としてはいいかも。すでに誰かがやっていれば比較できるし。

ルベーグ積分とリーマン積分の議論は誰もが一度は通る道。梅沢さんが
森さんのことをベースにしてどこかに書いていたような。参考にどうぞ。