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