バファリン様のお力にすがって,すこし鈍痛が取れたところである。昨日の昼寝が原因であることははっきりしている。うーっ,HPCSが終わって気が抜けたせいであろう。散髪へ行ったあとイチゴ大福をほおばってもしゃもしゃやっていたら眠くなりつい・・・という次第である。
自宅のログチェックをしていたら,どうやらMPFRの本家からリンクされたらしいことを知る。んっとに,MPFRの中心人物であるPaul Zimmermannという人,この分野では有名な研究者らしいが,MPFRの評判にもセンシティブなお方であるらしい。お知らせしておこうかなぁ,どうしようかなぁと逡巡しているうちにリンクされてしまった。・・・と本人には読めない文字で書いてもしゃーないから,へたくそ訳をつけておこう。
When I was cheking logs on my website, I found the linking to my traslation of MPFR manual from MPFR developers website. Oh, Paul Zimmermann, the centeral key person of developping MPFR, would be sensitive to information about his MPFR. Probably, he would often use google to search that about MPFR.
・・・最後がちょっと(か?)違うが,まあいいだろう。
とか気楽に書いていたらご本人からメール届いた~(驚愕)。って翻訳のことではなくて,例のStegun & Abramowitzの件に絡む話・・・いいじゃんかよ,10進二桁ぐらい違っていてもよ・・・ということが許せないらしい。つまり”Correctly Rounded”な結果を返すようにワシの”Try MPFR!“を修正しろということである。彼が例に挙げているのはprec=64bitで,6 * PI – 7 * exp(1)を計算した場合,あんた(つまりワシの”Try MPFR!“は)のプログラムは-1.784168776745572171e-1を返しているが,10進19桁で出力するなら
-0.178416877674557216が正しいという。つまり末尾2桁が違っているので直せっつーことらしい。
うーん,この切羽詰った時期に―,あんたって人はもー,極東の木っ端研究者が暇に明かせて作ったCGIぐらい大目に見てくれてもいいじゃんかよー・・・などという言い訳は通じそうもないので,2月上旬をめどに何とか直すことにしたい。しかし・・・鬼だね,ホントに。
少し頭の中の霧が晴れてきたようなので,ボチボチやりますか,計算。