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-2023 fixedpoint.jp