id:alohakunさんに進められた、「Types and Programming Languages」を買うか迷い中。 9000円と値が張るため、自分が読みきれるかが心配。 計算論 計算可能性とラムダ計算は図書館で予約した。 読んでみて良さそうなら購入して手元に置く。 追記 計算論 計算…

希望は天上にあり、実行は脚下にあり 後生須（すべか）らく実行の人たれ遠くから自分を眺めて、このように見えると良い。 できているだろうか。

moccur-editで query-replace(M-%)が固まる場合があるんですが、みなさんそんなことありませんか。 とりあえず emacs の HEAD をビルドしてみようか。（脈絡がない） ビルドした emacs 起動したけど。 Warning (initialization): Building Emacs overflowed …