fixedpoint.jp

2009/12

12/31

• Should Your Specification Language Be Typed?

12/27

• A Space-efficient Goedel Numbering with Chinese Remainder Theorem

12/26

• Hello, Twitter

12/22

• Errata: 新しい蔵書の公開/非公開

12/18

• Ypsilon の現状
• Broadcom 4312G 802.11b/g Wi-Fi Adapter on Debian squeeze

12/13

• Data Compression Using Long Commmon Strings

12/05

• Geek of the century
• Errata: 書棚にインポート

12/02

• Errata: 同じ正誤情報を追加する