Hokkaido pm 8 LT

Hokkaido.pm #8Li!htnin! Talk

Hachioji.pm / Kokusaitenjijomae.pm@moznion

Sunday, December 23, 12

@moznion大学生アルバイトソフトウェアエンジニア

2年前まで道民でした

2日前に論文がリジェクトされたのでブルー入ってます


クリスマスらしくAcme の話……


はしません

クリスマスらしくAcme の話……


皆さんPerl で数値計算してますか！？


数値計算してるとクソ面倒なアイツがいますよね


浮動小数点数


浮動小数点数めんどい


浮動小数点数めんどい今日はこれについて


さて拙作のモジュールでハマったこと


浮動小数点数をこんな感じでテストすると死ねます


見るからにやばそうSunday, December 23, 12

こういう事をするとテストがズッコケる環境が出てくる


ぐぬぬ…


ありがたいことにISSUE が来る

(@syohex さんありがとうございます)


ISSUE が来る(ありがたいことに)

https://!ithub.com/moznion/Math--PhaseOnlyCorrelation/issues/1


https://github.com/moznion/Math--PhaseOnlyCorrelation/issues/1


浮動小数は色々めんどいから普通に比較するとダメよ、

とのこと† 以下が詳しい x86における浮動小数点演算の精度の制御と、 80bit 浮動小数点演算問題 http://www.takeoka.or!/~take/cpu/num/float80bit.html


http://www.takeoka.org/~take/cpu/num/float80bit.html

http://www.takeoka.org/~take/cpu/num/float80bit.html

あとCPAN Testers Daily

Summary Reportからも毎日メールが来る

(深夜に)


そしてCPAN Testers Daily

Summary Reportから毎日メールが来る

夜も眠れない！！(Report はありがたいんですが)


夜は眠りたいので直しましょう


方法 1


小数点以下を切り捨てて整数にしてからテストをする


TODO　こんなかんじ

e.!.


e.!.

TODO　こんなかんじまさに外道!!!


悪党な方法過ぎて駄目そもそもテストの正当性が

失われている


方法 2


$var * 10 ^ $numしてから小数点以下を切り捨ててテストする


e.!.


$num 桁までの精度は保証される

ただ、ちょっとダサい (主観)


あと、整数桁数が莫大に増えたら

それもそれで問題な気が


方法 3


採択域を設定して、両者の差がその範囲内かを

テストする



e.!.


割と良い感じ。拙作のモジュールでも

一時期 (3日くらい) やってた


方法 4


正規表現でバツンと切って小数桁数を制限する


e.!.


結構メイジャーな方法っぽい(特にPhysics のモジュールで)けど、なんかやだ (主観)


方法 5


sprintf(“%.${num}f”, $var)を使って桁数を制限する


e.!.


これが一番しっくり来た。なんか良い感じ

(Math のモジュールで良く見かける)


方法 6


Acme::Test を使う


例とか無いです


とまあこんな感じで


ただ



テストめんどい



テストめんどい

こうなるとまずい


「テストこけるけど動くから大丈夫だよー」

「めんどいからテストしなくてもいいよー」

「“cpanm -f Foo::Bar” でおk」


「テストこけるけど動くから大丈夫だよー」

「めんどいからテストしなくてもいいよー」

「“cpanm -f Foo::Bar” でおk」

破滅待ったなし


テストを蔑ろにしてはならない


その為には？


1Sunday, December 23, 12

テストがすぐ実行できて軽いこと

こまめにテストを走らせられる(物理的 | 心理的)環境を整える


2Sunday, December 23, 12

テストが書きやすいこと

書きやすければ書きやすい程テストの習慣は定着する


テストの書きやすさ、マジ重要！


というわけで、浮動小数点のテストを支えるモジュールが有るとハッピー


例えばTest::Number::Delta


方法3 として挙げた採択域うんぬんのテストをサポートしてくれる



e.!.

(デフォルトだと1-e6 が採択域)


Cool !


名前的にTest::Float

もイケそうだけど使ったことないです


あと今Test::LimitDecimalPlacesというモジュールを書いてます

https://!ithub.com/moznion/Test--LimitDecimalPlaces




方法5 として挙げたsprintf() を使って

テスト出来るモジュールです(ヘルパーメソッド的な)


こんな感じで使えます


内部的にはこんな感じ


ただ問題が


Test::LimitDecimalPlaces


Test::LimitDecimalPlaces名前がダサい


limit_oklimit_ok_bylimit_not_ok

limit_not_ok_by



limit_not_ok_byメソッド名がダサい



limit_not_ok_byメソッド名がダサい

そもそも英文法的に怪しい


とりあえずPrePAN に投げて反応を待とうかと思っています


アドバイス目下募集中です

よろしくお願いします。


あと、他にも浮動小数点数周りの良いテストモジュールがあれば教えてください


了


Hokkaido pm 8 LT

Documents

Transcript of Hokkaido pm 8 LT