2009-09-01から1ヶ月間の記事一覧

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 をインストール。 です。

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

Exercise 2.9 ここで扱う parse-expression は例示されている以下が対象という事で。 (define parse-expression (lambda (datum) (cond ((symbol? datum) (var-exp datum)) ((pair? datum) (if (eqv? (car datum) 'lambda) (lambda-exp (caadr datum) (parse…

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

マルっと纏める方向で現実トウヒ。var-exp な分岐の以下の部分を (var-exp (id) (if (memq id arg) (if (or (null? rslt) (not (memq id rslt))) (append rslt (list id)) rslt) rslt))手続きにしてしまって渡せば良いな、とゆーコトで以下。

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

差分が少ししかない、という事にてどうしたものか、と。

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

軽い環境でナニなのは良いのですが、emacs で skk 使えんのはイタ杉。とりあえず、'() を受け付けるようにして、parse を修正する方向で。

macbook 本格稼働

いくつか微妙。 emacs の中だけで良いので skk 使いたい マウスオーバーでフォーカスあたって欲しい。クリックするの手間 対処は探せてるんですが、微妙 pptp な接続ができん あと別件ですが、thinkpad の見積もりが着信してない。Web で検索したら見積もり…

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

今日はばたばたしてて現実トウヒどころではありませんでした。ちょっとストレス溜まってる感満点なので検討着手。

PUSH_GREF_CALL (2)

EoPL の前にこっちをヤッておく事に。とりあえず、昨晩の使用例を元に記述投入。もう少しネカせてレビュ依頼する方向。

とほほ

今日、職場端末を macbook に引っ越すための環境設定に着手。