終わってないものは明日！ 著者校正（終わらせてメールする）：優先度高 読書（自己啓発類） 数理論理学のつづき OSの勉強と開発：手をつけてない！ 優先度低 Lisp開発 昨日数ヶ月ぶりにソースを引っ張り出してきたけど， C#2.0じゃなくC#3.0で書きたくなっ…

Coqってやつを使ってみようと思ったら，本家が落ちてて繋がらない。 またあとで。 http://www.nicovideo.jp/watch/sm1276083 関係ないけど，一時期タイトルが「腹痛が痛いダイアリー日記」だったためか Googleで「腹痛」と検索してここにたどり着く人が多い…

>(setf (symbol-function 'foo) #'(lambda (x) (* x foo))) foo >(setq foo 5) 5 >(foo 4) 20

C#3.0の仕様に，遅れてひっそりと追加された「プロパティの自動実装」ですが， 「なんでこんなものを・・・」と思っておりました。 けど，実際使ってみるとクラスの中がとてもスッキリする。 プロパティが多いクラスはこれを用いると思いのほか可読性が向上…