末尾再帰除去、けっこう興味あります。shuJITでは、末尾再帰除去をした際は、スタックトレースはあきらめました。いう問題もありました。2003)で、それはどう解決されたんでしょうか。セキュリティモデル末尾再帰除去してスタックトレースも、とするには、別に専用のリストかなにか用意して、そこに最小限の情報だけ積んで行くしかないんじゃないかと思いますが、そうするとそっちが深さの制限になってしまうでしょうし。2003)そもそもCPSだと「呼び出し→復帰」というモデルじゃないですから、スタックトレースという概念自体が意味あることかどうか...「別に専用のリストかなにか用意して」というのはある意味正しいアプローチで、というのはスタックモデルな言語におけるスタックトレースというのはプログラムの状態履歴のごく一部の情報に過ぎないわけです。本当に調べたい関数はもう復帰しちゃってて状態が見られないなんてことは良くある話で。スタックトレースで何が見たいのかということだと思うんですが。(そういうシステムでは)スタックトレースはあまり気にしても意味がないに一票。2003)回数は考えてみたんですが、相互再帰には使えないなぁと。そこまで必要ないかな。2003)相互再帰とかは、回数さえわかれば計算できるから要らないかな、とか思ったんですがどうなんでしょうね。2003)相互再帰の情報は回数からだけで復元できなさそうに思います。飛び先か飛んで来た元を保存しておかないと。私は相互再帰をよく使いますが、頭の中では状態遷移ネットワークになっているので、「手続きを呼んでいる」という感覚が無いです。2003)笠原研には愉快な人々が沢山いました。Tracingによるコンピュータグラフィックスのプログラムを書いて(10年前のことです。Japanでも最近似たような記事があったような気がするけど、それよりもはるか昔)プリンタにジョブとして放り込んだら、結果が出るまで1時間くらいプリンタが黙ったままになってみんなを困らせたヒトとか。ありますが、今日はこの辺で。akrさんが既にそう書いてますね。そのオブジェクトが「クラス」に属している、ということを調べるメソッドってないですよね。思ったりしたんですが、よくわかりません。