Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索

オーム社から、ピアース「型システム入門」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

コメント

コメントをどうぞ

※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。

※なお、送られたコメントはブログの管理者が確認するまで公開されません。

※投稿には管理者が設定した質問に答える必要があります。

名前:
メールアドレス:
URL:
次の質問に答えてください:
一富士、二鷹、三は? ひらがなで。

コメント:

トラックバック

_ ホットコーナーの舞台裏 - 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 (著)