サクサク読めて、アプリ限定の機能も多数!
再帰的関数は、ある汎関数の不動点と考えることができるが、その枠組みではたとえばCurryの再帰演算子とTuringの再帰演算子の特徴を記述する方法がない。トレースのような代数的な仕組みを利用するべきだという話らしい
kgbu のブックマーク 2008/11/12 11:51
スライド「再帰プログラムの幾何」[数学][lambda][programming-functional][あとで読む]再帰的関数は、ある汎関数の不動点と考えることができるが、その枠組みではたとえばCurryの再帰演算子とTuringの再帰演算子の特徴を記述する方法がない。トレースのような代数的な仕組みを利用するべきだという話らしい2008/11/12 11:51
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.kurims.kyoto-u.ac.jp/~hassei2007/10/26
Geometry of Recursive Programs 2006 9 15 I. 2 • • • • • 3 — • • • 4 5 6 recursion I II III IV 7 II. 8 fact(x) ≡ if x = 0 then 1 else x × fact(x−1) F F(f)(x) ≡ if x = 0 then 1 else x × f(x−1) fact =...
15 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /
再帰的関数は、ある汎関数の不動点と考えることができるが、その枠組みではたとえばCurryの再帰演算子とTuringの再帰演算子の特徴を記述する方法がない。トレースのような代数的な仕組みを利用するべきだという話らしい
kgbu のブックマーク 2008/11/12 11:51
このブックマークにはスターがありません。
最初のスターをつけてみよう!
スライド「再帰プログラムの幾何」
www.kurims.kyoto-u.ac.jp/~hassei2007/10/26
Geometry of Recursive Programs 2006 9 15 I. 2 • • • • • 3 — • • • 4 5 6 recursion I II III IV 7 II. 8 fact(x) ≡ if x = 0 then 1 else x × fact(x−1) F F(f)(x) ≡ if x = 0 then 1 else x × f(x−1) fact =...
15 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /