『Scheme手習い』（The Little Schemer, 4th edition）、印刷所に入稿。10月23日発売予定。 http://bit.ly/bokZZk
MIT の教科書 "計算機プログラムの構造と解釈" (昔は構造と実行) を読む為の本だったそうである。まじか！
@valvallow (define(accrec-right p f g c s :optional(t'()))(let l((s s)(a t))(if(p s)a(l(g s)(c(f s)a))))) unfoldとunfold-rightの最後の引数は意味が違いますよ
(define (accrec-right p f g c s :optional(t'())) (let l ((s s)(a t)) (if (p s) a (l(g s)(c (f s) a))))) (accrec-right null? car cdr cons '(1 2 3 4 5) '(0)) ;; (5 4 3 2 1 0)
これは Hylomorphism になるのかなあ: 「unfold の cons が指定できても良いような」 http://valvallow.blogspot.com/2010/09/unfold-cons.htmlヒロモーフィズム？ハイロモーフィズム？何と読むんでしょうか。。初めて聞きました。
「アナモルフィズム」(anamorphism)とかいった言葉は srfi-1 のドキュメントで目にしたことがあります。
「アポモルフィズム」(apomorphism)
『関数プログラミングの楽しみ』ではリストに対する hylomorphism を次のような感じで定義しています。
(define (hylo f e p g h seed) (fold-right f e (unfold p g h seed))) (define (fact n) (hylo * 1 (cut = <> 0) values (cut - <> 1) n))おお。なんかカッコイイ！
(define (fact n) (hylo * 1 zero? identity (lambda (n) (- n 1)) n)) (define (fact n) (fold * 1 (unfold zero? identity (cut - <> 1) n)))
comp.lang.scheme で簡単なリスト操作のお題が出ておるな。 http://goo.gl/5GAmということで、やってみました。Scheme（Gauche）です。
@valvallow (use gauche.sequence)(use srfi-1)(define(key-sorted-combine lst)(map(pa$ append-map cdr)(group-collection lst :key car)))
(use gauche.sequence) (use srfi-1) (define (key-sorted-combine lst) (map (pa$ append-map cdr) (group-collection lst :key car))) (define data '((0 a b) (1 c d) (2 e f) (3 g h) (1 i j) (2 k l) (4 m n) (2 o p) (4 q r) (5 s t))) (key-sorted-combine data) ;; ((a b) (c d i j) (e f k l o p) (g h) (m n q r) (s t))group-collection 要チェックや！
sdic-inline.el,sdic-inline-pos-tip.elもいいですよ!なるほどこれも便利そうだ！
イディオム「`',fn-names」はコメントする価値がある。最初は混乱するかもしれないが、よく使用されるイディオムである。等価な形式 `(quote ,fn-names) のほうが、理解しやすいかもしれない。これはわかりやすい。
(define-key global-map [f5]
'(lambda ()
(interactive)
(insert (format-time-string "%Y/%m/%d %H:%M:%S"))))
(defvar anything-c-source-info-gauche-refj ;; '((info-index . "~/../gauche/share/info/gauche-refj.info"))) '((info-index . "gauche-refj.info"))) (defun anything-info-ja-at-point () "Preconfigured `anything' for searching info at point." (interactive) (anything '(anything-c-source-info-gauche-refj) (thing-at-point 'symbol) nil nil nil "*anything info*")) (define-key global-map (kbd "C-M-;") 'anything-info-ja-at-point)
(load "./lifegame.scm")
(define-constant PULSER
'((0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
(0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0)
(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
(0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0)
(0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0)
(0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0)
(0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0)
(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
(0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0)
(0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0)
(0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0)
(0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0)
(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
(0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0)
(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)))
(define pl (endless-repeat-lifegame (const->auto-step-lifegame PULSER)))
(pl)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ● ● ● ○ ○ ● ● ○ ● ● ○ ○ ● ● ● ○)
;; (○ ○ ○ ● ○ ● ○ ● ○ ● ○ ● ○ ● ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ● ○ ● ○ ● ○ ● ○ ● ○ ● ○ ○ ○)
;; (○ ● ● ● ○ ○ ● ● ○ ● ● ○ ○ ● ● ● ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
(pl)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ● ● ○ ○ ○ ○ ○ ● ● ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ● ○ ○ ● ○ ● ○ ● ○ ● ○ ○ ● ○ ○)
;; (○ ○ ● ● ● ○ ● ● ○ ● ● ○ ● ● ● ○ ○)
;; (○ ○ ○ ● ○ ● ○ ● ○ ● ○ ● ○ ● ○ ○ ○)
;; (○ ○ ○ ○ ● ● ● ○ ○ ○ ● ● ● ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ● ● ● ○ ○ ○ ● ● ● ○ ○ ○ ○)
;; (○ ○ ○ ● ○ ● ○ ● ○ ● ○ ● ○ ● ○ ○ ○)
;; (○ ○ ● ● ● ○ ● ● ○ ● ● ○ ● ● ● ○ ○)
;; (○ ○ ● ○ ○ ● ○ ● ○ ● ○ ● ○ ○ ● ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ● ● ○ ○ ○ ○ ○ ● ● ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
(pl)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ● ● ● ○ ○ ○ ● ● ● ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ● ○ ○ ○ ○ ● ○ ● ○ ○ ○ ○ ● ○ ○)
;; (○ ○ ● ○ ○ ○ ○ ● ○ ● ○ ○ ○ ○ ● ○ ○)
;; (○ ○ ● ○ ○ ○ ○ ● ○ ● ○ ○ ○ ○ ● ○ ○)
;; (○ ○ ○ ○ ● ● ● ○ ○ ○ ● ● ● ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ● ● ● ○ ○ ○ ● ● ● ○ ○ ○ ○)
;; (○ ○ ● ○ ○ ○ ○ ● ○ ● ○ ○ ○ ○ ● ○ ○)
;; (○ ○ ● ○ ○ ○ ○ ● ○ ● ○ ○ ○ ○ ● ○ ○)
;; (○ ○ ● ○ ○ ○ ○ ● ○ ● ○ ○ ○ ○ ● ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ● ● ● ○ ○ ○ ● ● ● ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
(pl)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ● ● ● ○ ○ ● ● ○ ● ● ○ ○ ● ● ● ○)
;; (○ ○ ○ ● ○ ● ○ ● ○ ● ○ ● ○ ● ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ● ○ ● ○ ● ○ ● ○ ● ○ ● ○ ○ ○)
;; (○ ● ● ● ○ ○ ● ● ○ ● ● ○ ○ ● ● ● ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ● ○ ○ ○ ● ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○ ● ○ ○ ○ ○ ○)
;; (○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○)
二つ値を返せば良いんですよ。メモ化なんてしなくていい。取りあえず Scheme の多値でやってみました。速い。。どうして？
(define (cxr->ad-fun-lis sym)
(fold-right (lambda (e acc)
(let1 p (coalesce ((eq? e 'a) car)
((eq? e 'd) cdr))
(if p
(cons p acc)
acc))) '() (symbol->list sym)))
(let1 e 'd
(if (or (if (eq? e 'a)
'car)
(if (eq? e 'd)
'cdr))
'found
'notfound))
(let1 e 'd
(if (coalesce ((eq? e 'a) 'car)
((eq? e 'd) 'cdr))
'found
'notfound))
計画は予想に過ぎない（P.17）
計画は、過去に未来の操縦をさせる。（P.18）
完璧主義なのだと主張するかもしれないが、それは次の仕事にとりかからずに、つまらない細部に執着して時間を無駄にしているにすぎない。（P.23）
初めのうち詳細は気にしない（P.54）
完璧なタイミングは決して到来しない。いつも若すぎたり、年寄りすぎたり、忙しかったり、金がなかったり、その他いろいろだったりする。（P.33）
何が一番よいか想像するのはやめ、現実を見出すのだ。（P.68）
まだ起こっていない問題を作ってはいけない。現実に問題になってから考えれば良いことだ。多くの「もしも」は起こらない。（P.164）
無名であるのは、すばらしいことだ。日陰にいることを幸せに思おう。（P.118）
無名であれば、プライドを失うことも我を失うこともないだろう。（P.118）
誰もあなたの言うことに腹を立てないのなら、おそらく押しが足りないのだ（多分つまらないのだろう）。（P.34）
多くのものは小さくすればするほどよくなる。（P.52）
誰にもありがちなことだが、ツールに没頭するあまり、やるべきことを忘れてしまうことがある。（P.62）
変わった書体や高価なフォトショップの特殊効果を駆使しながらも、伝えるものがなにもないデザイナー。（P.62）
銀塩カメラとデジタル機器について延々と議論をするものの、真に写真をすばらしくするものに注目しないアマチュア写真家。（P.63）
ビジネスの世界では、本質的な問題から目をそむけ、ツールや、ソフトウェアの細かなテクニック、スケールの問題、高価なオフィス空間、豪華な備品といったどうでもいいことに心酔する人があまりに多すぎる。（P.63）
実際に形あるものをつくり始めるのだ。それ以外のことはすべて注意をそらすだけだ。（P.70）
;; image
(define count-test
(let ((count 0))
(dlambda
(:reset ()(set! count 0))
(:inc (n)(inc! count n))
(:dec (n)(dec! count n))
(:bound (lo hi)
(set! count (min hi (max lo count)))))))
;; expand image
(define count-test
(let ((count 0))
(lambda (key . args)
(case key
((:reset)(apply (lambda ()
(set! count 0)) args))
((:inc)(apply (lambda (n)
(inc! count n)) args))
((:dec)(apply (lambda (n)
(dec! count n)) args))
((:bound)(apply (lambda (lo hi)
(set! count
(min hi (max lo count)))) args))
(else key)))))
(count-test :reset)
;; 0
(count-test :inc 100)
;; 100
(count-test :inc 1)
;; 101
(count-test :inc 2)
;; 102
(count-test :bound -10 10)
;; 10
(count-test :reset)
;; 0
(count-test :inc 1)
;; 1
(use srfi-1)
(define (list-append x . n)
(if (null? n)
x
(unfold null? car cdr x
(lambda _
(apply list-append n)))))(use srfi-1) (define (list-append . xss) (reduce-right append1 '() xss))
