ML(読み)エムエル

世界大百科事典内のMLの言及

【cc∥c.c.】より

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

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

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

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

出典|株式会社平凡社世界大百科事典 第2版について | 情報

今日のキーワード

国民投票法

正式名称は「日本国憲法の改正手続に関する法律」。平成19年法律第51号。2007年(平成19)5月18日に制定され、施行は3年後の2010年5月18日である。この法律は、日本国憲法第96条に定める日本...

続きを読む

コトバンク for iPhone

コトバンク for Android