当サイトではアフィリエイト広告を利用しています
コンピュータ用語集
ハードウェア
モバイル・スマートフォン
インターネット・Webデザイン
ネットワーク
アプリケーション
OS
デザイン・グラフィックス
その他
|
|
著者大堀淳(著)出版社共立出版発売日2019年08月ISBN9784320124509ページ数272Pキーワードぷろぐらみんぐげんごのきそりろん プログラミングゲンゴノキソリロン おおほり あつし オオホリ アツシ9784320124509内容紹介高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。 これら基礎理論の学習を通じて,関数型プログラミング言語の動作やその型システムの原理,さらに,多相型,型推論,継続計算,レコード計算などを含むプログラミング言語の種々の高度な機能の基礎を習得できる。 『情報数学講座9 プログラミング言語の基礎理論』として1997年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。 この度,多くの読者からの要望を受け単行本に改装し発行するものです。
※本データはこの商品が発売された時点の情報です。 目次第1章 プログラミング言語のモデル/第2章 型付きラムダ計算/第3章 型付きラムダ計算の拡張/第4章 型推論システム/第5章 多相型言語のモデル/第6章 レコード計算系の理論
商品を詳しく見る
¥ 5,060-(税込)
#ショップ名 :
bookfan 1号店 楽天市場店
#送料 :
送料込
#クレジットカード :
利用可
#海外配送 :
海外配送不可
#あす楽 :
翌日配送不可
#ギフト :
ギフト包装不可能
商品を詳しく見る
「プログラミング」の関連商品を見る
「プログラミング」の人気商品を見る
| | |
|