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

翻訳|ML

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

【cc∥c.c.】より

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

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

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

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

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

[名](スル)1 別の衣服に着替えること。特に夏冬の季節に応じて改めること。平安時代には、陰暦4月1日、10月1日に行われた。江戸幕府では、このほかに5月5日・9月9日などにも着替える定めがあった。現...

衣替えの用語解説を読む