VDM++ - a-sanの日記

VDM++ - a-sanの日記

だいぶ文法がわかってきたので、簡単なクラスを作ってみました。 まったくの未開の大陸なので、すべてが...概要を表示 だいぶ文法がわかってきたので、簡単なクラスを作ってみました。 まったくの未開の大陸なので、すべてが手作りから始まります。 例えれば、すらないC言語です。まぁ、面白い半分、苦労も多々。 /** * 有理数のクラス * 分子、分母は整数である。 * 分母は０になることはありえない。 * 分子と分母が割り切れる場合は簡単にする。 * 分母が負の場合、両方にマイナスを掛け、分母は常に正になるようにする。 * * 固定小数点演算もこのクラスを使えば正しく計算できる。 * 例えば、1.05（消費税）は new Rational(105,100)として計算すればよい。 * * VDM++では、有理数は内部的には実数と同じ扱いになっているため、望む機能が得られない場合がある。 * このクラスを使えば、正しい有理数が使えるようになる。（できれば言語側で対応して欲しいのだけれど） * 参考:SICP2nd *