1. TOP
  2. 復刊リクエスト
  3. 専門書
  4. 『プログラミング言語の基礎理論(大堀淳)』 投票ページ

プログラミング言語の基礎理論

  • 著者:大堀淳
  • 出版社:共立出版
  • ジャンル:専門書
  • 復刊リクエスト開始日:2011/09/29
  • ISBNコード:9784320026599
  • 復刊リクエスト番号:54012

得票数
19票

関連キーワード : [キーワードの編集] help「キーワードの編集」のリンクから、関連キーワードの追加/削除が行えます。
このエントリーをはてなブックマークに追加

リクエスト内容

1.プログラミング言語のモデル 2.型付きラムダ計算 3.型付きラムダ計算の拡張 4.型推論システム 5.多相型言語のモデル 6.レコード計算系の理論

投票コメント

評価文脈付きの簡約規則について日本語で解説している数少ない(唯一かも?)の書籍のため。 現状、継続関連などの論文を読む前提知識について学びにくくなってしまっている。 (2019/03/15)

1

同シリーズのプログラム意味論とともによく良書と言われている。 プログラム意味論が復刊したので、ぜひこちらも読みたい。 (2018/10/14)

1

プログラミング言語モデルについて記述された貴重な邦書であるため。 (2018/04/29)

1

プログラミング言語について,とくに強い静的型システムを持ったものについての日本語のテキストとして価値が高い.是非とも入手しやすくなって欲しい. (2015/02/03)

1

図書館で借りて読みましたが,とてもいい本です.是非手元に置きたいと思っています. (2013/11/19)

1

もっと見る

新着投票コメント

う

基本重要 (2019/03/15)

0

もっと見る

投票する

すでに本をお持ちの方は是非レビューをお寄せください。

レビュー投稿はこちら

ニュース

2012/09/15
『プログラミング言語の基礎理論』が10票に到達しました。
2011/09/29
『プログラミング言語の基礎理論』(大堀淳)の復刊リクエスト受付を開始しました。

スポンサーリンク

この本の復刊活動にご賛同の方はリクエスト投票をお願いします

投票する

※当作品の復刊が決定した場合、投票者の方は、購入時のTポイントが5倍になります。詳細はコチラ!

amazonリンク

amazon.co.jp

TOPへ戻る