ひげぽん OSとか作っちゃうかMona- - 末尾再帰

最近一部で盛り上がっている「末尾再帰」について自分の理解を確認するのも兼ねて書いてみます。 （そもそも自分がふったのがきっかけっぽいので）。 上級者の方は間違い等に厳しくつっこんでもらえると助かります:-) 背景 自分が末尾再帰を知ったのは多分Schemeの勉強を始めた頃だったと思います。 例えばSICPという本では20ページあたりにこっそりと出てきます。 そのころの理解はかなり浅いもので「ふーん。」程度でした。 さて後日Schemeの処理系を実装することになりR5RSというSchemeの仕様書を読んだところ Scheme の実装は真正に末尾再帰的(properly tail-recursive) であることが要求されている。これは，たとえ繰返し計算が 構文的に再帰的手続きで記述されているときでも，定数空間 でその繰返し計算を実行することを可能にする とあり末尾再帰のことを詳しく知る必要性

[pneumaster]

tail recursion/末尾再帰/再帰から戻ってきた後にreturn以外の処理を行わない再帰のこと

[webmarksjp]

アルゴリズム

[komagata]

すごく説明が分かり易い。説明が分かり易いということは良く理解しているということだと思う。

[Yoshiori]

後でお勉強

[tanakaBox]

末尾再帰の最適化について。どの処理が末尾再帰になるのか判定する必要がある。

[daisukebe]

あとで

[kennak]

ああっ！　なるほど

[khiker]

いいまとめ.