という本を読んでいる。おもしろい。大学に泊まった翌日に、根津をよろよろ歩いていて、古本屋を発見してしまった。毎週のように怪しい本を買ってきそうな予感。既にあやしいのたくさんあるのに。 あと、『セクシーコマンドー外伝 すごいよ!!マサルさん』は…

内部表現は、ラムダ式の集合をα同値で割った商集合をきれいに表せるように工夫した。ややこしい式をいれてみて、ひたすらβ変換しているのを眺める、なごむ。