wt-tree のバグの話題 @chaton_gauche まとめ。

Chaton Gauche @chaton_gauche

kazu: slib って、Scheme コミュニティでは重要なものですか？ 素人質問ですいません。 http://bit.ly/a1A3wV

Chaton Gauche @chaton_gauche

kazu: 念のため、例を示しますね。 http://bit.ly/bhX3EK

Chaton Gauche @chaton_gauche

kazu: (alist->wt-tree number-wt-type '((-3 . -3)(-6 . -6)(3 . 3)(1 . 1)(7 . 7)(-2 . -2)(5 . 5))) http://bit.ly/ancXz5

Chaton Gauche @chaton_gauche

shiro: おもしろい。slibはポータブルなSchemeライブラリとして歴史が長く、R5RSならほとんどのシリアスな実装上で走るものなので、「slibのユーザ」なら「MIT-Schemeのユーザ」より多いかも。slib中のwttre… http://bit.ly/9Y7kxd

Chaton Gauche @chaton_gauche

kazu: こうやって作った木はバランスしているんですが、この木に対して wt-tree/delete-min すると、バランスが崩れます。 http://bit.ly/cTRgXh

Chaton Gauche @chaton_gauche

kazu: さっきのを x だとすると： http://bit.ly/a6jfRC

Chaton Gauche @chaton_gauche

kazu: (balanced x) -> #t http://bit.ly/bO5kVl

Chaton Gauche @chaton_gauche

kazu: (balanced (wt-tree/delete-min x)) -> #f http://bit.ly/aAvbeS

Chaton Gauche @chaton_gauche

kazu: となります。 http://bit.ly/b3GW8P

Chaton Gauche @chaton_gauche

kazu: balanced の実装は、こう書きます。 http://bit.ly/9vXMuW

Chaton Gauche @chaton_gauche

kazu: (define (balanced n) (balanced- (tree/root n))) (define (balanced- n) (or (empty? n) (let ((l (node/l… http://bit.ly/csI6qA

Chaton Gauche @chaton_gauche

kazu: MIT Scheme の define-structure の仕様がよく分からないので、僕はこの定義を外に持ち出すことができず、wttree.scm に直接書きしました。 http://bit.ly/aSlgnZ

Chaton Gauche @chaton_gauche

kazu: あ、MIT Scheme の問題というより、slib の問題という方が、インパクトが強いんですね。 http://bit.ly/dv5K50

Chaton Gauche @chaton_gauche

shiro: 関係ないけど「balanced-」は本当は「balanced'」と書きたかった? http://bit.ly/bpMGg4

Chaton Gauche @chaton_gauche

kazu: Scheme の習慣はあまり知りません。名前は適当です。ごめんなさい。 http://bit.ly/9PdRnl

Chaton Gauche @chaton_gauche

kazu: Adams さんのテクニカルペーパーは、ここにあります。 http://bit.ly/bQVCJG

Chaton Gauche @chaton_gauche

kazu: http://groups.csail.mit.edu/mac/users/adams/BB/ http://bit.ly/aMmvoK

Chaton Gauche @chaton_gauche

shiro: slibがMIT Schemeの実装に基づいているなら、上流が直ればslibも追従すると思いますが、MIT Schemeの方の反応が遅ければslibのAubrey Jafferさんに直接言えばすぐに対応してくれると思います… http://bit.ly/9z0JGK

Chaton Gauche @chaton_gauche

kazu: そうですか。論文の草稿ができたら、それを見せて直してもらうことにします。 http://bit.ly/bQ3VAw

Chaton Gauche @chaton_gauche

shiro: 日本でのMIT Schemeのユーザというのはどのくらいいるんでしょうね。blogで何回かみかけたことはありますが… http://bit.ly/daB2qd

Chaton Gauche @chaton_gauche

kazu: それで、論文では Haskell の Data.Map に使われているよ、で十分インパクトはあるんですけど、Scheme コミュニティにも重要なことなら、wttree にも触れようかなぁ、どうしようかなぁという感じで迷ってい… http://bit.ly/arKTLW

Chaton Gauche @chaton_gauche

shiro: MIT Schemeにあってslibにも取り込まれているなら、Scheme界でのニュースとしてのインパクトは十分にあると思います。 http://bit.ly/ao7Wrc

Chaton Gauche @chaton_gauche

kazu: 分かりました。ありがとうございます。MIT Scheme と slib の名前を論文で出す方向で考えます。 http://bit.ly/cKMsrt

Chaton Gauche @chaton_gauche

kazu: 我々のスライドを見たい方がいましたら、kazu iij ad jp までメールを下さい。 http://bit.ly/abuAT4

Chaton Gauche @chaton_gauche

kazu: Scheme Workshop で、我々の研究成果を発表することはできるのでしょうか？ それなら、行ける可能性が出てきます。:) http://bit.ly/al4OFi