オーム社から、ピアース「型システム入門」 ― 2013年03月08日 09時14分02秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
さっき書いたカーニハン「ディジタル作法」に続いてピアース「型システム
入門」。
忙しくて油断していたら、オーム社め、こんなものを出してきた。
あっぱれ!\(^O^)/
原書を、2009年に、
http://iiyu.asablo.jp/blog/2009/02/13/4115774
プログラミング言語本
で紹介していたもの。
http://www.amazon.co.jp/exec/obidos/ASIN/4274069117/showshotcorne-22/
型システム入門 -プログラミング言語と型の理論- [単行本(ソフトカバー)
]
Benjamin C. Pierce (著), 住井 英二郎 (翻訳), 遠藤 侑介 (翻訳),
酒井 政裕 (翻訳), 今井 敬吾 (翻訳), 黒木 裕介 (翻訳),
今井 宜洋 (翻訳), 才川 隆文 (翻訳), 今井 健男 (翻訳)
原書。
http://www.amazon.co.jp/exec/obidos/ASIN/0262162091/showshotcorne-22/
Types and Programming Languages [ハードカバー]
Benjamin C. Pierce (著)
価格:¥ 7,848
原書Kindle版。
http://www.amazon.co.jp/exec/obidos/ASIN/B00AJXZ5JE/showshotcorne-22/
Types and Programming Languages [Kindle版]
Benjamin C. Pierce (著)
紙の本の価格: ¥ 7,793
Kindle 価格: ¥ 5,990
OFF: ¥ 1,803 (23%)
オーム社にある紹介。
http://www.ohmsha.co.jp/kaihatsu/archive/2013/01/17112000.html
2013年3月新刊予定:型システム入門 プログラミング言語と型の理論
MIT Pressにある紹介。
http://mitpress.mit.edu/books/types-and-programming-languages
Types And Programming Languages
---
さっき書いたカーニハン「ディジタル作法」に続いてピアース「型システム
入門」。
忙しくて油断していたら、オーム社め、こんなものを出してきた。
あっぱれ!\(^O^)/
原書を、2009年に、
http://iiyu.asablo.jp/blog/2009/02/13/4115774
プログラミング言語本
で紹介していたもの。
http://www.amazon.co.jp/exec/obidos/ASIN/4274069117/showshotcorne-22/
型システム入門 -プログラミング言語と型の理論- [単行本(ソフトカバー)
]
Benjamin C. Pierce (著), 住井 英二郎 (翻訳), 遠藤 侑介 (翻訳),
酒井 政裕 (翻訳), 今井 敬吾 (翻訳), 黒木 裕介 (翻訳),
今井 宜洋 (翻訳), 才川 隆文 (翻訳), 今井 健男 (翻訳)
原書。
http://www.amazon.co.jp/exec/obidos/ASIN/0262162091/showshotcorne-22/
Types and Programming Languages [ハードカバー]
Benjamin C. Pierce (著)
価格:¥ 7,848
原書Kindle版。
http://www.amazon.co.jp/exec/obidos/ASIN/B00AJXZ5JE/showshotcorne-22/
Types and Programming Languages [Kindle版]
Benjamin C. Pierce (著)
紙の本の価格: ¥ 7,793
Kindle 価格: ¥ 5,990
OFF: ¥ 1,803 (23%)
オーム社にある紹介。
http://www.ohmsha.co.jp/kaihatsu/archive/2013/01/17112000.html
2013年3月新刊予定:型システム入門 プログラミング言語と型の理論
MIT Pressにある紹介。
http://mitpress.mit.edu/books/types-and-programming-languages
Types And Programming Languages
コメント
トラックバック
_ ホットコーナーの舞台裏 - 2013年04月23日 10時49分12秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
また、難しそうな本が売れとるわあ。
お買い上げありがとうござ
---
また、難しそうな本が売れとるわあ。
お買い上げありがとうござ
_ ホットコーナーの舞台裏 - 2013年04月27日 23時58分51秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
なるほど、この前、紹介したカーニハン先生のディジタル作法は、
---
なるほど、この前、紹介したカーニハン先生のディジタル作法は、
_ ホットコーナー - 2017年03月29日 10時28分18秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
こんな本が出ますね。
https://www.amazon.co.jp/exec/obidos/ASIN/4048930567/showshotcorne-22/
純粋関数型データ構造 単行本 – 2017/4/28
Chris Okasaki (著)
---
こんな本が出ますね。
https://www.amazon.co.jp/exec/obidos/ASIN/4048930567/showshotcorne-22/
純粋関数型データ構造 単行本 – 2017/4/28
Chris Okasaki (著)
コメントをどうぞ
※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。
※なお、送られたコメントはブログの管理者が確認するまで公開されません。
※投稿には管理者が設定した質問に答える必要があります。