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

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

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

得票数
23票

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

リクエスト内容

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

投票コメント

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

2

ラムダ計算に関する数少ない日本語の教科書。今後の学習者のためにも、ぜひ復刊をお願いいたします。 (2019/03/26)

1

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

1

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

1

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

1

もっと見る

新着投票コメント

読みたいが中古本もない (2019/07/04)

0

もっと見る

投票する

このリクエストの関連商品(1件)

  • 新装版 プログラミング言語の基礎理論

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

    34 個

    【著者】大堀淳
    【発送】2019/08/中旬

    高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて、関数型プログラミング...

    予価 4,968 円 (税込)

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

レビュー投稿はこちら

ニュース

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

スポンサーリンク

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

投票する

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

amazonリンク

amazon.co.jp

TOPへ戻る