現在２００６年５月６日１時１３分です。 今日の成果は、超積と超準解析が、１７ページの代数構造から、１９ページの上から５行目まで。 やっと超実数を用いて解析が出来るところまできました。 微分積分は１１７ページから１２８ページまで。ラグランジュの…