fixedpoint.jp

2013/10

10/30

• Make への批判

10/21

• SRFI 115: Scheme Regular Expressions

10/19

• A→B と ¬A∨B からみる the law of excluded middle と the principle of explosion

10/16

• 自作詰将棋その2

10/15

• $ aptitude why why

10/12

• 自作詰将棋

10/07

• 「ルービックキューブと数学パズル」にある Ramsey's theorem の証明