m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 一昨日、ε記号、μ記号、ν記号の話をしました。「μ」は再帰的計算の2つの場面で出てきます（もっと他でも出てくるかも知れないけど）。再帰関数の定義で出てくるμ演算子は不動点方程式の最小解とは少し違いますが、似たような概念なので同じ「μ」を使っているのでしょう*1。そして、再帰関数の意味論を作るときに出てくるμは最小不動点演算子です。まず、自然数上の再帰関数（計算可能関数）の定義を見てみます。p(n) が自然数に関する計算可能な述語だとします。つまり、p(0), p(1), p(2) などが真偽値（0と1でもかまいません）として計算できるとします。そのとき、p(k) = true となる最初の数k… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20110715%2F1310710034" title="再帰的計算とμ - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2011-07-15 15:07:14 rich https://m-hiyama.hatenablog.com/entry/20110715/1310710034 1.0 100%