bellbind https://blog.hatena.ne.jp/bellbind/ ラシウラ https://bellbind.hatenadiary.org/ http://www.sampou.org/cgi-bin/haskell.cgi?Memoise http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/fix.html http://www.kmonos.net/wlog/52.php#_0308050827 (最小)不動点を使うのは、けっきょくletrecのような自身を参照できる機能を使わずに再帰的に自身を呼び出すからか。遅延評価な言語なら fix f = f (fix f) 。リンクにあるのは fix f = fixedf where fixedf = f fixedfか。どちらも左辺で指定… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbellbind.hatenadiary.org%2Fentry%2F20050903%2Fp3" title=" 関数の不動点 - ラシウラ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2005-09-03 00:00:00 rich https://bellbind.hatenadiary.org/entry/20050903/p3 1.0 100%