查询词典 monad

In this paper an automatic Monad generator from other style of Monad is designed and implemented in Haskell.

鉴于这种思想，用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统。

This paper starts by giving the mathematical background of monad by introducing the concept of category, functor, natural transformation and monad respectively.

本文依次给出了范畴论中范畴、函子、自然变换以及Monad的概念，并以Haskell语言为例，给出了上述概念在Haskell语言中的实现。

Let ω denote the common measure of the left monad and right monad of r, proves in standard mathematics that ω is a positive infinitesimal outside of R.;Ⅳ.

令ω代表r的左单子和r的右单子的共同测度，在标准数学中证明了ω是R之外的正无穷小；Ⅳ。

The Hieroglyphic Monad (47 pages) Written in thirteen days in 1564 by the renowned Elizabethan magus, Dr. John Dee, The Hieroglyphic Monad explains his discovery of the monas, or unity, underlying the universe as expressed in a hieroglyph, or symbol.

象形的单子(47页)写在13天是在1564年由著名的伊丽莎白拥有过人博士约翰Dee的， Monad的象形解释说，他发现的Monas地区，还是统一，深层的宇宙中所表达的一种象形文字，或符号。

The appetition of the monad takes the God as itsultimate noema,which makes the monad to be the never-ending drive towards thegood,and to be eternal stream of life,so the stiff substance of modern philosophy isactivated by this.

在单子的观照之下，自然界脱下了灰色的外衣，以富有诗意的形态展现在人们面前，它不再是死板的广延、机械的位移，而是充满了生命。

He thinks this apriority,which is not like the apriority of mathematics,is in fact inthe scope of material intitution,and is the manefestion of the monad's drive towardsthe God.To some extent we can say that his ethics is the forerunner of MaxSheller's"a priori—material ethics".

莱布尼茨认为道德本能是一种非数学的先验性，它实际上处于直觉的领域之中，是单子对上帝的永不停歇的欲求的表现，他的这种伦理学说可说是舍勒的"先验—质料伦理学"的先驱。

Monads are not material, like atoms; each monad is self-activating, a unique center of force.

Monads不是物质，像原子；每一个单子是自我激活，一个独特的中心力量。

The next two chapters are the main content. From empirical distribution function, using theory of spline function , give new algorithms of monad distribution function and multivariate distribution function separately.

第三章和第四章由经验分布函数出发，利用B—样条函数理论，分别给出构造一元分布函数和多元分布函数的方法。

He did not allow the Humanity to be a distinct monad; but this is no more than the view of many modern Catholic theologians that it has no esse of its own.

他没有让人类成为一个独特的单子，但这只不过是许多人认为现代天主教神学，它没有存在自己。

First, the anthor gives a new algorithm of monad distribution function. Under given level, this distribution function can pass Kolmogorov criterion, thus it can approximate samples real distribution function.

首先给出了构造一维随机变量的分布函数的方法：用这种方法构造的分布函数在给定的水平下可通过柯尔莫哥洛夫检验，从而可很好的逼近母体之真实分布函数。

It's rather showy.I'd like something plainer.

赶花了，我想要素净些的。

The Kremlins Spassky Tower and passers-by are reflected in the wet cobblestones of Moscows Red Square on Feb.

克里姆林宫的斯巴斯克塔和旅客的身影倒映在潮湿的鹅卵石墙上。