fixedpoint.jp


2016

2016/12

R7RS's infinite NaN
2016年におけるLibreOfficeの開発をgitログから振り返る
LibreOffice Kaigi 2016.12での発表「Maintainting LibreOffice Math」

2016/11

(XOR (AND (XOR A B) C) B)の意味とは?

2016/09

ExcelのYEN関数とDOLLAR関数、およびODF標準

2016/08

「歩と銀を逆にするゲーム」を最短手数で解くには
"Einstein's five houses"パズルをCoqで解く

2016/07

浮動小数点数を近似するための連分数の応用: LibreOfficeの場合

2016/03

浮動小数点数の2乗の平方根が正確に計算できることの証明

2016/02

トランプを何回混ぜれば十分にランダムになるか?
"It can happen to anybody."で始まるCounterexamples in Analysisの書評

2016/01

「bugs.documentfoundation.orgの歩き方」の発表資料


© 2006-2023 fixedpoint.jp