higeponさんから最初のバトンを渡されました
渡されたバトン http://gist.github.com/273431
次はgaraemonさんへ
渡したバトン http://gist.github.com/273551

やったことは、higeponさんのコードがmosh用だったので、Gaucheで動くように最小限の変更を加えただけ
第一印象で「breakのためだけにcall/ccを使ってるんでこれは削除できるなー」と思ったんだけど、自分の技量では泥沼にはまる気もしたので、とりあえずパス
moshでやりたい人はhigeponさんのをベース、Gaucheでやりたい人は私のをベースに書き換えるとよいと思います
ということで、最初の書き換えとしては妥当かな

変更点
- 読み込むライブラリをGaucheのものに変更。といっても必要なのはmatchのためのutil.matchだけ
- （file->sexp-listはGaucheではfile.utilに用意されてるんだけど、こういうのは実装が見えてた方がいいだろうということで、higeponさんの実装をそのまま残した）
- R6RSのlist-sortとGaucheのsortは引数の順序が逆なので、引数を入れ替え
- SRFI1のsecondをcadrに変更（これはやらない方がいいかも）
- 角カッコの対応が合ってなかったところを1個所修正
- 入出力をコードの順番通りに行うためにflushを2個所追加
- call-with-port＋open-file-output-portをcall-with-output-fileに書き換え

2010-01-06

第183回素人くさいSICP読書会（at 三田某所）

event

会場提供ありがとうございました

佐野さんがなぜかトラックポイント付きのIBMのキーボードを持ってきた
EmacsではC-x ^で分割ウインドウを拡大

解いていた問題5.17と問題5.18をプロジェクタで発表

問題5.17
instを3要素に拡張してそこにラベルを格納する方針
extract-labelsの中で、命令を取り出すタイミングでラベルを書き込み。あとはmake-new-machineに「ラベルがあったら印字する処理」を追加

(define (update-label-name! insts label-name)
  (if (null? insts)
      '()
      (let ((inst (car insts)))
        (set-cdr! inst (list (cadr inst) label-name))
        insts)))

(define (extract-labels text receive)
  (if (null? text)
      (receive '() '())
      (extract-labels
       (cdr text)
       (lambda (insts labels)
         (let ((next-inst (car text)))
           (if (symbol? next-inst)
               (receive (update-label-name! insts next-inst) ;;←ここ
                        (cons (make-label-entry next-inst insts)
                              labels))
               (receive (cons (make-instruction next-inst)
                              insts)
                        labels)))))))

問題5.18
基本的には問題5.16と同じような処理をmake-registerに追加するだけ
最初、getという内部関数名を使っていたら意味がわからないと怒られた

(define (make-register name)
  (let ((contents '*unassigned*)
        (trace-on? #f))
    (define (display-when-get)
      (if trace-on? (begin (display name)
                           (display ": ")
                           (display contents)
                           (newline))))
    (define set
      (lambda (value)
        (if trace-on? (begin (display name)
                             (display ": old-value = ")
                             (display contents)
                             (display " new-value = ")
                             (display value)
                             (newline)))
        (set! contents value)))
    (define (dispatch message)
      (cond ((eq? message 'get) (display-when-get) contents)
            ((eq? message 'set) set)
            ((eq? message 'trace-on)  (set! trace-on? #t))
            ((eq? message 'trace-off) (set! trace-on? #f))
            (else (error "Unknown request -- REGISTER" message))))
    dispatch))

make-new-machineのメッセージ処理はこんな感じ↓

((eq? message 'register-trace-on)
 (lambda (name) ((lookup-register name) 'trace-on)))
((eq? message 'register-trace-off)
 (lambda (name) ((lookup-register name) 'trace-off)))

フィボナッチでは同じ値を代入する処理が思いのほか多かった
組み込みなどでメモリ・デバイスの速度がボトルネックの場合には、こういう場合は代入を行わないようにするとか

「この読書会は恵まれている」（佐野さん）
たしかに一人で読むのはつらい本
この本にはチューター役と生徒役が必要。どんなに人数が少なくなってもその役割分担は保たれていると思った

2010-01-06

Schemeにおけるリファクタリングのパターン

TwitterでCommon Lispのアンチパターンの話があって、Schemeでもリファクタリングの際のパターン（というほど大げさものでもないけど）があるんじゃないかと思ったので、思いつくまま挙げてみる。

再帰に一時変数を導入して末尾再帰にする（基本）
- consを使った場合には順番が逆になるので最後にreverseをかける
再帰（末尾再帰）からmapやapplyを使う形に書き換える
- 実際には、mapやapplyが適したケースは最初から自明なことも多いけど
同じ計算を繰り返している部分をletでまとめる
長いlambdaに内部defineで名前を付ける
多値の受け渡しの方法を変更する
- ペア（またはリスト）にして渡す
- CPSを使う
- values/receiveを使う（Gauche等）
  - R5RSのcall-with-valuesって使ってるの見たことないなあ
SRFIを使う
- 目的に合ったシンプルな関数を自作した方がSRFIの関数より高速な場合もある。ケースバイケース

【20:15追記】

複数のmap等でリストを走査している場合、処理をまとめることでリストの走査回数をなるべく少なく抑える

2010-01-03

世界一短い（かもしれない）オブジェクト指向フレームワーク「nekoduck」

発表資料。要Firefox（他のブラウザでは試してない）。1024×768ピクセル固定。F11キー（全画面表示）推奨
http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3A%E3%82%AA%E3%83%96%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E6%8C%87%E5%90%91%E8%A1%A8%E7%8F%BEのCLOS風ではない方のOOをできるだけ素朴に実装しようと思って30分くらいででっちあげたプログラム。かなり手抜き

●ソースコード
(define (object parent . methods)
  (lambda (method-name . params)
    (if (null? parent)
        (let ((root-value (assoc method-name methods)))
          (if root-value ((cadr root-value) params) 'not_found))
        (let ((my-value (assoc method-name methods)))
          (if my-value ((cadr my-value) params) (parent method-name))))))

●使い方
(define オブジェクト名
  (let ((フィールド1 初期値1)
        (フィールド2 初期値2)
                     　　 …))
    (object 親オブジェクト名
            `(メソッド1 ,処理1)
            `(メソッド2 ,処理2)
                     　　   …))))

ルートオブジェクトの場合は親オブジェクトとして空リストを指定
外からフィールドにアクセスするにはアクセサを用意する
継承の例は発表資料を参照

●オブジェクトの例（カウンタ）
(define counter
  (let ((c 0))
    (object '() `(up ,(lambda (p) (set! c (+ c 1))))
                `(plus ,(lambda (p) (set! c (+ c (car p)))))
	        `(show ,(lambda (p) c)))))

(counter 'show)
0
(counter 'up)
1
(counter 'plus 5)
6

【追記】
よく見たら親オブジェクトにメソッドの引数渡してなかった。ダメすぎ
引数を一つに限定して、複数の引数を渡したいときはリストを渡すようにすればOKか。コードは略

【2010-03-20追記】
親オブジェクトにメソッドの引数を渡すのはapplyでいいのに気付いた。なんでわからなかったんだろう

(define (object parent . methods)
  (lambda (method-name . params)
    (if (null? parent)
        (let ((root-value (assoc method-name methods)))
          (if root-value ((cadr root-value) params) 'not_found))
        (let ((my-value (assoc method-name methods)))
          (if my-value ((cadr my-value) params) (apply parent method-name params))))))

ついでに、カウンターのplusも任意の個数の引数を取れた方がいいよね

(define counter
  (let ((c 0))
    (object '() `(up ,(lambda (p) (set! c (+ c 1))))
                `(plus ,(lambda (p) (set! c (apply + c p))))
	        `(show ,(lambda (p) c)))))

2009-12-22

第182回素人くさいSICP読書会（at 三田某所）

event

会場提供ありがとうございました
参加者4名。ほやの干物効果で約1名増員
プチ忘年会気分

スポーツドリンクが凍ったという話→凝固点/沸点と圧力の話
無線マウスの話→電子レンジの話→マイクロウェーブ・ドライヤー。内側から髪を痛めつける

問題5.18
問題5.17は先週解いたので、適当に雑談しつつ、ぼちぼちやった
基本的には問題5.16とあまり変わらない
make-registerは引数でnameを取っているのに内部で全く使っていなかった。実は問題5.18で必要になるということだったらしい
最初、pcをtrace-onして表示が大変なことに
うまく動いたっぽい
フィボナッチの計算では、レジスタの値を同じ値に書き換える動作が多かった。しょうがないけど
マイコンとかだと、書き込みが極端に遅いデバイスを使っている場合には、同値なら書き込みをパスするという判定を入れた方がいいという話とか

オレンジニュースについて
二郎で初心者はニンニク入りを頼んではいけないという豆知識をゲット

CLの人がおなか空いたと言うので、いつもより20分早く店じまい
今年はこれで終わり
来年は問題5.17と問題5.18の答合わせから始めます

2009-12-21

某所でのshiroさん講演のtwitterまとめ

garaemonさん、kabusさん、ありがとうございました

garaemon	講演タイトル: Lisp, メタプログラミング, プログラマの使命	link
garaemon	流しのプログラマってかっこよすぎだろ...	link
garaemon	プログラマになろうと思ってるひと? => 4, 5人	link
garaemon	コードを書きたいが本音. 好きなコードをかきまくれるキャリア	link
garaemon	今や誰でもコードを書ける時代.	link
garaemon	がんばってコーディングすればするほどコードベースが大きくなってる.	link
garaemon	90年代; 昔のUNIXは簡単だった. いまや一人でコードをよめない	link
garaemon	はたしてそれで良いのか? >> 膨張するコードベース	link
garaemon	文章とのアナロジーで考える. プロの物書きは顧客の満足できる質の文章を書く.	link
garaemon	多くの人が読みたがる文章を書けるのはプロでもほんの一握り.	link
garaemon	スタープログラマ. スタープラチナみたいな?w	link
garaemon	Linux, matzさんはスタープログラマと言えるのではないか	link
garaemon	プログラムは使うもの, 文章は読むもの	link
garaemon	仕様をみたせば良い, というものではない. 提示するモデルも考えないと	link
garaemon	ユーザを考えましょうという話	link
garaemon	対照を最も的確に, 簡潔に記述	link
garaemon	user => 自分, peer programmers	link
garaemon	問題の記述, 操作, 記述するための言語	link
garaemon	言語ってのをよく考えよう. いかに問題を記述するか?	link
garaemon	問題点: ライブラリでいいじゃん => ベースげんごと問題記述言語のミスマッチ	link
garaemon	抽象的すぎると性能がでない => 処理系が残念	link
kabus	「抽象的すぎると性能が出ない」のは言語のせいじゃなくて処理系のせい	link
garaemon	Haskellでゲームは(一般的には)書けない. でもそれは処理系がよくないんだよ	link
garaemon	なんで昔の文章はよめるのに, ソフトウェアは昔のものがつかえないんだろう?	link
garaemon	限られた時間で問題を解決するためにミニ言語をつくったりしてた.	link
kabus	awkでC言語のプリプロセッサ	link
garaemon	ゼロ階のメタプログラミング. DSL. T: S' => S	link
garaemon	Tにdomain knowledgeがうめこまれてる	link
garaemon	不適切な抽象化	link
garaemon	REPLのないサーバプログラムは信用しない(キリ	link
kabus	「実行中に修正が効くREPLは便利」	link
garaemon	自分がやったことのあるゲームがshiroさんのプログラムだったなんて! 感動	link
garaemon	いまこのはなし. http://bit.ly/4oJu4f	link
garaemon	Lispイイ!	link
kabus	「Lispイイ！」	link
garaemon	アプリケーション本体とユーザかくちょうのシームレスな結合	link
garaemon	ユーザ拡張のためのスタブは冗長になっちゃうよね	link
garaemon	日本SGI - Onyx2 - http://bit.ly/4NAxoW	link
garaemon	MOP ktkr	link
yadokarielectri	Meta Object Protocol	link
garaemon	VRMLってばーむるってよむのかー	link
kabus	VRML使ったゲームの話 Schemeで全部書いてVRMLファイルとJavascriptコードを生成	link
garaemon	VRMLっていうと3dモデル記述フォーマットのイメージ. おなじものなのかな?	link
garaemon	MOPイイ!	link
kabus	「MOPイイ！」	link
garaemon	データとプログラムの境界は曖昧.	link
garaemon	program as dataのはなしかな?	link
garaemon	操作されるものと操作するものが同じ言語	link
kabus	「当時はSTkを使っていました」	link
garaemon	OODBかー	link
kabus	「Lisp MOPによるOODB」	link
garaemon	こないだのFranzのLisp チュートリアルでもあったなぁ	link
kabus	「クラス定義がそのままスキーマ定義」「柔軟にスキーマの変更ができる」	link
garaemon	@ddk50 いまってAllegroGraph? http://bit.ly/5O3WkF	link
garaemon	DSLですなぁ	link
garaemon	緊急時のEmacsによる高速編集www	link
garaemon	replはいいよね, やっぱ	link
garaemon	デモのときにいろいろ大変になってくるのはあるあるwww	link
garaemon	Gauche ktkr!	link
garaemon	CiSEってドキュメントあったっけ?	link
yadokarielectri	http://practical-scheme.net/wiliki/wiliki.cgi?Shiro	link
garaemon	super instruction	link
garaemon	CiSE => さいず	link
garaemon	コードが増える大きな要因は, 性能のためのっkludge	link
yadokarielectri	kludgeってその場しのぎという意味らしい	link
garaemon	Kahua ktkr!	link
garaemon	Kahua, 永続化. インタラクションの抽象的記述をしたい	link
garaemon	Catyスクリプトの構文 - 檜山正幸のキマイラ飼育記 - http://bit.ly/5o5IxN	link
garaemon	Lisp セミナーではなしてたやつ? >> ACL Regex Engine	link
garaemon	これははんぱない...	link
garaemon	抽象化のレベルを意識せよ	link
garaemon	ad hocな抽象化. 1階の抽象化. 高階の抽象化	link
garaemon	Lispのマクロ. 高階の抽象化. 使い方を誤ると収集つかない	link
garaemon	ライブラリか構文拡張か? 境界はあいまい	link
garaemon	簡潔で本質的なコードを書ける言葉を探す	link
garaemon	真のプロはコードを増やすのではなくへらす	link
kabus	「簡潔で本質的なコードを書ける言葉を探す」「真のプロはコードを増やすのではなく減らす」「真のプログラマはメタプログラマだ」	link
garaemon	真のプログラマはメタプログラマだ	link
kabus	「良いコードは読みやすいはず」	link
kabus	やっぱまずは書いてみてそれから重複してるところをマクロにしていくよね	link
garaemon	かきたいこととコードの間の差, こういうことしたいんだからこうかきたい, くりかえし, が抽象化のチャンス	link
kabus	みんなメタプログラマになればいいのに	link
garaemon	淘汰されるものはよくないモデル, 残っていくものが良いモデル	link
garaemon	shibuya.lispでしてたはなしだ	link
garaemon	質問: なぜLispはやらないの?	link
garaemon	> がんばって普及させなくていいんじゃない?	link
kabus	「抽象化して短くなったが少し読みにくくなった => 慣れてないだけかもしれないが，抽象化が不十分なのかもしれない」	link
garaemon	rubyにあってlispにないものってなに?	link
garaemon	おわったー	link
garaemon	結論: shiroさんかっこいい	link
garaemon	竹内先生の挨拶なう. S式重要だよ	link
garaemon	これから第二幕	link
garaemon	フリー質問たいむ	link
garaemon	R5RSとR6RS	link
garaemon	Ruby JIS Spec	link
garaemon	Lisp1のほうが好き, という話	link
garaemon	annotationとかはようわからん. マクロでいいんじゃないとかおもってしまう	link
garaemon	最近のゲームでlispつかわれてたのあるよね	link
garaemon	concurrency, parallelのはなし,	link
garaemon	Clojureについて	link
garaemon	srfiについて.	link
garaemon	rubyのinspect. describeとかformat-objectみたいなもんかな?	link
garaemon	GCのはなし	link
garaemon	one-shot continuation, full-shot continuation	link
garaemon	partial-continuation	link
garaemon	thread vs continuation	link