2009-09-05から1日間の記事一覧

EoPL reading (80) 2.2 An Abstraction for Inductive Data Type

天気は良いのですが波が高いはずなので外に遊びに行く気にならない。買い物してきて帰宅後に検討着手。 Exercise 2.11 expression を以下に修正。 (add-load-path ".") (load "define-datatype") (define-datatype expression expression? (var-exp (id symb…

thinkpad 復活

それにしても全部 skk で入力できるって本当にいいなぁ。 実は IBM に修理を依頼したのですが、自宅の fax がインク切れで見積書が結構早めに着信していたにも関わらず、未確認でした。Web で確認したら見積送付済みとの事で繋がらない電話で問い合わせてよ…

EoPL reading (79) 2.2 An Abstraction for Inductive Data Type

lisp と将棋エンジンに取り組んでいるヒトの記事を見た。具体的なアウトプットって良いなぁ。 Exercise 2.10 とりあえず以下をでっち上げてみました。 (add-load-path ".") (load "define-datatype") (define all-ids (lambda (exp) (cases expression exp (…

寝そびれた

という訳ではないんですが、ddskk の導入にトライ。 参考にしたのは Carbon Emacs に ddskk をインストール。 です。