いろいろなところで言い尽くされていそうなことですが、読者の裾野が広大な話題（浮動小数とかC言語とか）は、前提や対象の特定が大変です。 「浮動小数には誤差があるらしい」「C言語には不定動作があるらしい」 というレベルから、 「x86のFPUレジスタは80…

http://lists.seas.upenn.edu/pipermail/types-announce/2007/000568.html (via http://d.hatena.ne.jp/KeisukeNakano/20070616/1181986791)Experience Reportがかなり多い。実用指向？