2008-10-23から1日間の記事一覧

ランダム検証とモデル検証

ランダム検証はどこまで信用できる?? スカスカなのでは?? たとえば10年以上昔に回収騒ぎに発展したペンティアムCPUの割り算命令が特定範囲の数値で 有効桁が6~7桁減る(たしかこのぐらい)バグ。。 ランダム検証で見つけることが出来るか?? 厳密…

夜間雨中のrun練習

今日のrun練習はインターバル(心拍170程度を目標)を混ぜることにした。 いつもの湖畔周回コースでインターバルを始めたが、心拍165あたりでもう苦しい。。 我慢して170程度にあげ200m位維持。。2本でいやになった。汗 レーサーズHIと言うのか、レース時は…