0
回編集
差分
ページの作成:「== プログラミング言語ML ( ML programming language ) == 定理証明支援系を記述するために開発された関数型言語。MLとは[[Meta-Language]...」
== プログラミング言語ML ( ML programming language ) ==
定理証明支援系を記述するために開発された関数型言語。[[ML]]とは[[Meta-Language]]の略語である。
== 書籍紹介 ==
*<amazon>4320120248</amazon>
*<amazon>4756116418</amazon>
== 資料リンク ==
*[[Wikipedia日本語版:プログラミング言語ML]]
*[http://www.jaist.ac.jp/~ohori/texts/mlmaegaki.html プログラミング言語 Standard ML 入門]
== リンク ==
*[[プログラミング言語]]
{{DEFAULTSORT:ふろくらみんく言語ML}}
[[Category:コンピュータ]]
定理証明支援系を記述するために開発された関数型言語。[[ML]]とは[[Meta-Language]]の略語である。
== 書籍紹介 ==
*<amazon>4320120248</amazon>
*<amazon>4756116418</amazon>
== 資料リンク ==
*[[Wikipedia日本語版:プログラミング言語ML]]
*[http://www.jaist.ac.jp/~ohori/texts/mlmaegaki.html プログラミング言語 Standard ML 入門]
== リンク ==
*[[プログラミング言語]]
{{DEFAULTSORT:ふろくらみんく言語ML}}
[[Category:コンピュータ]]