06112010 life
丸の内の丸善で見かけた。化学コーナーによくわからんのがあった。
数学のコーナー、萌えを全面に押し出しているのがやたら目立って笑った。
05112010 life
圏論やるにもハイパーグラフやるにもどっちにしろ集合論はかじっといたほうがよさそうなので、図書館で適当に借りてみた。
多分、自分の興味は写像とかなんだろうと思うけど。
04112010 life
祖母が食用菊を持ってきたのでバラした。ここらへんではあまり見かけない気がするなぁと思って調べたら、そんなことないようだ。

来年は家庭菜園の端の方に「もってのほか」でも植えるかな。
近所の情報が載ってないと悲しい思いをするので、中見てからだな。
27102010 life
5,6年使ってたのが壊れたので、新しいのを買った。ちなみに初代iPod nanoを使っていて、バッテリーはないけど車内では電源があるのであまり困らない(電車内ではすぐ切れて使い物にならないが)。
色によって値段がかなり違うが色にはこだわらないので安いの購入。
満足。朝聴いてたHospital podcastのNu:Logic - Sundownがやたらと良かった。
26102010 life
Scheme手習いは、最後の方の章が気になる。あと娘か息子が読んでくれればいいなぁと思いつつ。
起業のファイナンス ベンチャーにとって一番大切なこと22102010 life
娘と息子がドミノとして遊んでいるが、小動物バージョンにすれば戦略性が高まっていいのではないかと思った。
みたいな。
どうぶつしょうぎは、ライオンを如何に取るかというよりは、自分のライオンを如何に相手の最終ラインに持っていくかの勝負だなと思った。
18102010 life
いわゆる参照カウントというやつですな。
お見合いパーティーの文脈でマーク・アンド・スイープを考えてみると
参考
要するに次世代というか今風のGCは自分で断らなくてもマークしとくと親のほうが良きにはからってくれるみたいな感じ?
んー小町の見過ぎだな。過干渉GCとかなんかメリットを見いだせるかもしれんよ。介護GCとかforkされたプロセスが親プロセスの面倒をみるとか。