fixedpoint.jp - fixedpoint.jp - 2013




2013/12

2013年における LibreOffice の開発をログから振り返る / なぜ shift / reset が R7RS small に入らなかったのか / "Graphical Inference for Infovis"の紹介

2013/11

SQLite のテストにおける静的解析 / "A Categorical Theory of Patches"の紹介 / R7RS small language 最終ドラフトが批准 / Google Common Lisp Style Guide で触れられていること

2013/10

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 の証明

2013/09

A Course in Machine Learning の紹介

2013/08

Clime の紹介

2013/06

SRFI 113: Sets, bags, integer sets, enumeration sets

2013/05

SRFI 112: Environment Inquiry / SRFI 111: Boxes

2013/04

SRFI-110 の役割

2013/03

Portable interprocess communication facility という特許 / TinyPNG の紹介 / 「アジャイル型開発プラクティス・リファレンスガイド」公開


© 2006-2013 fixedpoint.jp