R7RS's infinite NaN
2016年におけるLibreOfficeの開発をgitログから振り返る
LibreOffice Kaigi 2016.12での発表「Maintainting LibreOffice Math」
(XOR (AND (XOR A B) C) B)の意味とは?
ExcelのYEN関数とDOLLAR関数、およびODF標準
「歩と銀を逆にするゲーム」を最短手数で解くには
"Einstein's five houses"パズルをCoqで解く
浮動小数点数を近似するための連分数の応用: LibreOfficeの場合
浮動小数点数の2乗の平方根が正確に計算できることの証明
トランプを何回混ぜれば十分にランダムになるか?
"It can happen to anybody."で始まるCounterexamples in Analysisの書評
「bugs.documentfoundation.orgの歩き方」の発表資料