function mu f . H f satisfies (and is defined by) the equation mu f . H f = H (mu f . H f)An alternative notation for the same function is fix H = H (fix H)See fixed point combinator3. ">.3. multiple value[">.[Jargon File](1995-10-30)Jargon File](1995-10-30)……">

翻訳と辞書 Words near each other ・ msx ・ msx-dos ・ mt ・ mta ・ mtbf ・ mtc ・ mtos ・ mts ・ mttr ・ mtu ・ mu ・ mu-law ・ mu-prolog ・ mua ・ mucal ・ mud ・ mud object oriented ・ muddie ・ muddle ・ mudhead Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク mu ： FOLDOC Mu (Greek letter). 1. /micro/ prefix denoting division by 10^6, e.g. mu m (micrometre, a millionth part of a metre). Sometimes written as a 'u', the ASCII character nearest in appearance. 2. /myoo/ In the theory of functions, mu x . E denotes the least value of x for which E = x, i.e. the least fixed point of the function x . E. The recursive function mu f . H f satisfies (and is defined by) the equation mu f . H f = H (mu f . H f) An alternative notation for the same function is fix H = H (fix H) See fixed point combinator. 3. multiple value. [Jargon File] (1995-10-30) Jargon File] (1995-10-30) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.