#author("2019-08-03T05:45:22+00:00","default:sagasite","sagasite")
[[プログラミングの基礎]] > 第1章 はじめに
*1.4 参考となる資料 [#e94d5f24]
**出版社情報 [#wcd95ee9]
-「プログラミングの基礎」株式会社サイエンス社
http://www.saiensu.co.jp/?page=book_details&ISBN=978-4-7819-1160-1
**著者のサポートページ [#offbc1a1]
-「プログラミングの基礎」
http://pllab.is.ocha.ac.jp/~asai/book/Top.html
**OCamlの公式サイト [#j461199b]
-OCaml
https://caml.inria.fr/ocaml/
(旧公式サイト)
-OCaml – OCaml
https://ocaml.org/
(新公式サイト)
**OCamlMakefile [#p72e0f06]
-Markus Mottl - Open Source Software
http://www.ocaml.info/software.html#build_tools
-OCamlMakefile - A Simple Generic Makefile for OCaml-Projects
http://mmottl.github.io/ocaml-makefile/
**デザインレシピ [#j88bec18]
-How to Design Programs
https://htdp.org/
~
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/0262534800/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/61A1zTUq3AL._SL160_.jpg" border="0"></a></td><td> </td><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/0262534800/vertex9-22/" target="_blank">How to Design Programs: An Introduction to Programming and Computing (The MIT Press)</a><br>Matthias Felleisen / Robert Bruce Findler / Matthew Flatt / Shriram Krishnamurthi<br>The MIT Press<br>2018-05-04<br>¥ 7,042</td></tr></table>
}}
**MinCaml [#i21097b0]
-速攻MinCamlコンパイラ概説
http://esumii.github.io/min-caml/
**Standard ML [#w52eb2eb]
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4320120248/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/51ZdN1xsHiL._SL160_.jpg" border="0"></a></td><td> </td><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4320120248/vertex9-22/" target="_blank">プログラミング言語StandardML入門</a><br>大堀 淳<br>共立出版<br>2001-09-30<br>¥ 4,536</td></tr></table>
}}
~
-SML# - SML#プロジェクト
https://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/
**ダイクストラのアルゴリズム [#y531cbac]
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4000103431/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/41lM1rzG12L._SL160_.jpg" border="0"></a></td><td> </td><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4000103431/vertex9-22/" target="_blank">アルゴリズムとデータ構造 (岩波講座 ソフトウェア科学 3)</a><br>石畑 清<br>岩波書店<br>1989-03-30<br>¥ 4,212</td></tr></table>
}}