意図通り動いたようです。インターフェースもあったりします。IronScheme以前少し試したことが・・・。思ったように動かない(書き方がわからない)という状態でした。補助マクロやローカルマクロが思ったように動かないなら、パターンを追加すれば良いのかも?ということで、今回の場合はこれで動いたようです。なんかメソッドのオーバーロード(C#とか)に似ていませんか。さんにコメントを頂き、教えて頂きました。ありがとうございます!こうやって処理系の作者の方から直接コメントを頂けるなんて、すごい世界ですね、インターネッツは・・・。reverse-and-quote-listdefine-syntaxの直下にletrec-syntaxが来る形はGaucheではまだサポートされていません。書くことにR6RSではなっています。Gaucheでは未サポートです。ついてはほとんど何もしりません。難しそうなものがある、ということくらいしか知りません。補助マクロやローカルマクロが思ったように動かないなら、パターンを追加すれば良いのかも?でも、余計なインターフェース(?)が増えるのか・・・。amb非決定性というやつです。分からないので、写経してみました。動き気持ち悪いですね。なってるんですかこれ。(計算機プログラムの構造と解釈)にも出てくるらしいですね。http://people.csail.mit.edu/jhbrown/scheme/continuationslides04.pdfわけわかめ。trymacroの方のPDFを一通り読み終えたので、continuationの方のPDFを読み始めました。Bits英語の方は、ほとんどわかりません。Editionは雰囲気と勢いで読みました。ことを思い出しました。Bits取りあえず書いてみたのがこれ。書いてあったのは、こういうの。ー!これは、letrec-syntaxとやらで、rl-helperをローカルに定義できるのでは?エラー。間違ってるのはどこだろう。エラーメッセージもよくわからない。余計に情報少ないな・・・(web)。追記これは動きますね。いうことかよくわかりません。最初見たときは、驚きました。