「【電脳】Erlangで遊んでみた 番外編 たらい回し関数，ネイティブコンパイラ，native compiler，計時，型推論」記事へのコメント

収束ではなく停止性

[parsley (5772)]

この「たらい回し関数」ってのの収束は保証されているのだろうか？

停止性は証明されています
Notes on higher-dimensional tarai functions [arxiv.org]

Code読みましたが、関数名Takだと別の関数になってしまうので、Taraiの方がいいと思います

--
Copyright (c) 2001-2014 Parsley, All rights reserved.

Re:収束ではなく停止性

[t-nissie (8647)]

コメントありがとうございます．
Erlangで一秒以内で終わるのはTakで，Taraiは数分かかるみたいです．
closureってのを使って遅延評価すると速くなるみたいです．
http://d.hatena.ne.jp/sfujiwara/20070513/1179067776

いろいろ追記しておきました．

リンクの論文は引数が３より大きくても停止するっていう証明ですね．
簡単な関数なのに驚くべき深遠な世界がひろがってますね．

--
love && peace && free_software
t-nissie