英语释义

1. unit, one

2. atom sense 3

3. an elementary individual substance which reflects the order of the world and from which material properties are derived

4. a flagellated protozoan (as of the genus Monas)

5. a monovalent element or radical

6. any of the four chromatids that make up a tetrad in meiosis

片语

monadic breeding单倍体育种

monadic equation一元方程

monadic operation[数] 一元运算；一目运算；单值运算

monadic instructionl一元指令

Monadic Quantifier单式量词

monadic sentence一元命题

monadic indicant[计]

monadic operator一元算子

monadic formula[数]

英汉例句

• Applying theory to specific cases to analyse ideogical method of transformation of several problems, briefly problems the principle and significance of transformation method in monadic calculus.

  扼要论述了化归的原则及意义，从理论和实例分析讨论了一元微积分中若干典型问题化归的基本方法。

• Of course, the monadic approach to IO has its disadvantages.

  当然，IO单子的方法有其自身的缺点。

• According to fragrance characteristics of black tea, the process that using monadic perfume base of different note to make black tea essence would introduced.

  根据红茶的香味特点，介绍了如何运用不同香韵的单体香原料调配出红茶香精的过程。

• There's no deep programming here-no need for object-orientation, monadic application, co-routines, or other subtleties.

  这里并没有涉及到很深的编程技术，不需要面向对象、单体应用程序、协同例程，或者其他巧妙的技术。

• To use monadic means is difficult to correctly locate hidden water flowing subsided columns.

  目前单一探测手段难以準确探测隐伏导水陷落柱。

• This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.

  这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。

• Likewise, a monadic programming style enables us to encode exceptions and state in a legible, compositional manner.

  类似地，单质编程风格帮助我们用一种清晰的、组合的方式来描述异常和状态。

• Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing-modular monadic slicing.

  因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。

• Note, that by just mechanically converting side-effecting code to a monadic style you gain nothing.

  注意，这只是机械地将副作用的代码到你没有获得一元的风格。

• Modular monadic slicing for programs with Pointers.

  含指针程序的模块单子切片。

• In this paper we analyze the relation of some special domains and its monadic polynomial rings.

  给出一些特殊的整环与它的一元多项式环之间的关系。