fixedpoint.jp

2015/02

02/26

• Timsort 実装のバグが形式的手法で見つかったけれど...

02/24

• SRFI 121と eof object

02/17

• SRFI-118 と可変長文字列

02/13

• SRFI-120: Timer APIs について