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

翻訳|ML

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

【cc∥c.c.】より

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

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

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

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

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

企業の退職を希望する従業員本人に代わって退職に必要な手続きを代行するサービス。依頼者と会社の間に入ることで円滑な退職をサポートするとともに、会社への連絡などを代わりに行うことで依頼者の心理的負担を軽減...

退職代行の用語解説を読む