ML(読み)エムエル(その他表記)ML

翻訳|ML

世界大百科事典(旧版)内のMLの言及

【cc∥c.c.】より

…英語のcubic centimetre(立方センチメートル)の省略形。ただし,立方センチメートルの正規の記号はcm3であり,これに相当するミリリットルの記号はmlまたはmLであって,これらの単位の記号としてccなどを使うことは英語でも誤りとされている。【三宅 史】。…

【プログラミング言語】より

…Lispは,ラムダ(λ)式によって記述された関数の適用を主な計算機構とする言語であり,適用型applicative言語と呼ばれる(〈計算モデル〉を参照)。また,副作用のない関数の評価に基づく言語を関数型functional言語と呼び,ML,Haskellなどが代表的である(Lispを関数型に分類することもある)。さらに,Prologなど述語論理に基づくプログラミングモデルlogic programmingをもつ言語もあり,論理型言語と呼ばれる。…

※「ML」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

ローマ法王ともいう。ラテン語 Papaの称号はカトリック教会首長としてのローマ司教 (教皇) 以外の司教らにも適用されていたが,1073年以後教皇専用となった。使徒ペテロの後継者としてキリスト自身の定...

教皇の用語解説を読む