Kodama's home / tips. Rubyによる 超準解析 クラス.(HyperRael,MathExt) 超実数体とは,(大雑把に云えば) 実数体にライプニッツ的な無限小を添加して出来る体のことだ. 微分等, 通常の実数では limit を使う場面で, 超実数体内部の四則演算として直接求めることが出来る. 超準的な計算では, 無限小や∞の強さもわかるので 無限小/無限小, 無限小*∞, ∞/∞ 等の計算が矛盾無く解釈可能となる. ただし単なる体なので, 真の0(無限小でなく) については, 0*∞=0 で, 0/0 や 1/0 は定義されない. この点は IEEE754 的な浮動小数点計算で 1.0/0.0 で Infinity を返すような気持の悪さは解消できる. Ruby で 超実数(HyperReal) の計算を実行する クラスを作成. 興味がある方は polynomia