「プログラミング言語ML」の版間の差分
ナビゲーションに移動
検索に移動
(ページの作成:「== プログラミング言語ML ( ML programming language ) == 定理証明支援系を記述するために開発された関数型言語。MLとは[[Meta-Language]...」) |
(相違点なし)
|
2013年11月23日 (土) 16:29時点における版
プログラミング言語ML ( ML programming language )
定理証明支援系を記述するために開発された関数型言語。MLとはMeta-Languageの略語である。