「プログラミング言語ML」の版間の差分

提供: クリエイターズネットワークWiki
ナビゲーションに移動 検索に移動
(ページの作成:「== プログラミング言語ML ( ML programming language ) == 定理証明支援系を記述するために開発された関数型言語。MLとは[[Meta-Language]...」)
(相違点なし)

2013年11月23日 (土) 16:29時点における版

プログラミング言語ML ( ML programming language )

定理証明支援系を記述するために開発された関数型言語。MLとはMeta-Languageの略語である。

書籍紹介

資料リンク

リンク