keigoiさんのページ 復刊リクエスト投票 プログラミング in OCaml 【著者】五十嵐淳 解説に書いた通り、OCamlを学ぶのに大変良い一冊です。(2012/08/19) プログラミング言語の基礎理論 【著者】大堀淳 モデル検査や関数型言語の浸透により、プログラミング言語の理論的扱いを学習しようという機運が高まりつつあります。 本書はそういった動機の人が読みやすく書かれていると聞いています。(2012/03/26) プログラム意味論 (情報数学講座) 【著者】横内 寛文 この本で表示的意味論を勉強しました。 書店では手に入らず、図書館で借りて読みましたが、売っていれば買います。 類書もそれほど豊富ではなく、とくに圏論に関する部分は貴重です。(2011/09/10) 圏論の基礎 【著者】S・マックレーン 圏論に関する事典という感じで、絶えることなく末永く愛される良書なのだと思います。(2011/07/27)
復刊リクエスト投票
プログラミング in OCaml
【著者】五十嵐淳
プログラミング言語の基礎理論
【著者】大堀淳
本書はそういった動機の人が読みやすく書かれていると聞いています。(2012/03/26)
プログラム意味論 (情報数学講座)
【著者】横内 寛文
書店では手に入らず、図書館で借りて読みましたが、売っていれば買います。
類書もそれほど豊富ではなく、とくに圏論に関する部分は貴重です。(2011/09/10)
圏論の基礎
【著者】S・マックレーン