プログラミング言語ML

2013年11月23日 (土) 16:29時点におけるOchabot (トーク | 投稿記録)による版 (ページの作成:「== プログラミング言語ML ( ML programming language ) == 定理証明支援系を記述するために開発された関数型言語。MLとは[[Meta-Language]...」)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)

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

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

書籍紹介

資料リンク

リンク