2006-01-29から1日間の記事一覧

解決

バグがどこにあるのかにゃーと思いながらサイゼリアで食事。で、サイゼリアに学科ノートを持ち込んでデバッグ。なんかものすごくはかどって、一瞬でトレースできてしまいました。結局、FloatをStoreする命令がなぜかintをStoreする命令と同じ動作になってい…

動かん・・・

シミュレータで浮動小数点演算系統にバグ。sinとcosが動いていないので、どこに問題があるのか突き止めないと。とりあえず一箇所、分岐命令にバグを発見。除去。 後、多分メモリ関連の命令のどれかがバグっている可能性が大。

こちらも続き

id:namasute0:20060129#1138525127 「返しうる値の中から等確率でどれかを返す」 さえ満たされていれば返り値が浮動小数だろうと実数だろうと 本当にランダムだと思うんだけど。 うーんと、じゃあそれが正しいとして、任意のint(rand(n))において0からn-1ま…

ランダム順列

id:namasute0:20060129#1138517314による指摘。 さて、実はこのような指摘が出るかもしれないことは実は予期していて、考えてあったりする。この指摘のキモは、random関数が返す値が実際にはrandomと言うわけではないことに由来している。 例えば、[0,1)の範…

型推論とか型理論とか

例えばこういうプログラムがあるわけです。 int i = 1; float f = (float)i; 要はただの型キャストなんだけれども、これをOcamlだとこう書くことになります。 let i = 1 in let f = float_of_int i in ... このfloat_of_intという関数は、int -> float = <fun>と</fun>…