keigoiさんのページ

復刊リクエスト投票

プログラミング in OCaml
専門書
プログラミング in OCaml
五十嵐淳
7票
keigoi
keigoi
解説に書いた通り、OCamlを学ぶのに大変良い一冊です。

2012/08/19

プログラミング言語の基礎理論
専門書
プログラミング言語の基礎理論
大堀淳
23票
keigoi
keigoi
モデル検査や関数型言語の浸透により、プログラミング言語の理論的扱いを学習しようという機運が高まりつつあります。 本書はそういった動機の人が読みやすく書かれていると聞いています。

2012/03/26

プログラム意味論　(情報数学講座)
専門書
プログラム意味論　(情報数学講座)
横内　寛文
32票
keigoi
keigoi
この本で表示的意味論を勉強しました。 書店では手に入らず、図書館で借りて読みましたが、売っていれば買います。 類書もそれほど豊富ではなく、とくに圏論に関する部分は貴重です。

2011/09/10

圏論の基礎
専門書
圏論の基礎
S・マックレーン
19票
keigoi
keigoi
圏論に関する事典という感じで、絶えることなく末永く愛される良書なのだと思います。

2011/07/27

リクエスト一覧を見る