■
今日は寒い.朝は雨が降ってたようだが,昼前にはすっかり秋晴れである.
PC v.s. 「紙と鉛筆」
PCをいじってると,つい鉛筆に手を伸ばして紙にあれこれ書くのが面倒になってしまう.しかしPC上では計算も図を描くのも気軽にはできないから,ちょっと頭の整理をしたいときに自由に紙の上にあれこれを書きつけるのはやはり大事なことだ.紙に書く/描くことの重要性は言うまでもないことで,私は普段はどこにでも計算用紙を持ち歩いてたりするんだが,まだPCとのインターオペラビリティ(?)には自分なりの追求の余地があるな,と思った次第.
あ,「タブレットPCを買え」というのはナシでお願いします.
Y combinatorへもう一歩
- http://plapla.tk/%7Eplaster/d/ 11/12 > 不動点関数
本物のY combinatorにはあと一歩,自明な書き換えを行うだけである.整理すると現状は次の通り((私の好みに従って少々名前を変えた.fix
よりY
が好き.)):