2013年における LibreOffice の開発をログから振り返る
なぜ shift / reset が R7RS small に入らなかったのか
"Graphical Inference for Infovis"の紹介
SQLite のテストにおける静的解析
"A Categorical Theory of Patches"の紹介
R7RS small language 最終ドラフトが批准
Google Common Lisp Style Guide で触れられていること
Make への批判
SRFI 115: Scheme Regular Expressions
A→B と ¬A∨B からみる the law of excluded middle と the principle of explosion
自作詰将棋その2
$ aptitude why why
自作詰将棋
「ルービックキューブと数学パズル」にある Ramsey's theorem の証明
A Course in Machine Learning の紹介
Clime の紹介
SRFI 113: Sets, bags, integer sets, enumeration sets
SRFI 112: Environment Inquiry
SRFI 111: Boxes
SRFI-110 の役割
Portable interprocess communication facility という特許
TinyPNG の紹介
「アジャイル型開発プラクティス・リファレンスガイド」公開