ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　また、難しそうな本が売れとるわあ。
　お買い上げありがとうございます。
　時間がなく、名前だけですみません。

http://www.amazon.co.jp/exec/obidos/ASIN/413012062X/showshotcorne-22/
記号論理学講義: 基礎理論 束論と圏論 知識論 [単行本]
清水 義夫 (著)

　関連書で出てくる
http://www.amazon.co.jp/exec/obidos/ASIN/4274069117/showshotcorne-22/
型システム入門 －プログラミング言語と型の理論－
[単行本（ソフトカバー）]
Benjamin C. Pierce (著), 住井 英二郎 (翻訳), 遠藤 侑介 (翻訳),
酒井 政裕 (翻訳), 今井 敬吾 (翻訳), 黒木 裕介 (翻訳),
今井 宜洋 (翻訳), 才川 隆文 (翻訳), 今井 健男 (翻訳)
は、以前、紹介してます。

関連：
http://iiyu.asablo.jp/blog/2013/03/08/6740726
オーム社から、ピアース「型システム入門」
http://iiyu.asablo.jp/blog/2013/03/08/6740716
オーム社からカーニハン「ディジタル作法」

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　びっくり～～～～。
　数学の難問、ABC予想の本が新書で出た～～～～。＼(^O^)／
　ABC予想。京都大学の望月新一教授が証明を発表してから、注目されてます。

http://www.amazon.co.jp/exec/obidos/ASIN/4569810675/showshotcorne-22/
ABC予想入門 (PHPサイエンス・ワールド新書) [新書]
黒川 信重 (著), 小山 信也 (著)

　黒川さんの本は、これも。
http://www.amazon.co.jp/exec/obidos/ASIN/4774153885/showshotcorne-22/
リーマン予想の探求 ~ABCからZまで~ (知りたい! サイエンス)
[単行本（ソフトカバー）]
黒川 信重 (著)

　次は、以前、紹介した。感想書いてないけど。
http://www.amazon.co.jp/exec/obidos/ASIN/4791764870/showshotcorne-22/
リーマン予想は解決するのか?_絶対数学の戦略 [単行本]
黒川信重、小島寛之 (著)

関連：
http://iiyu.asablo.jp/blog/2013/03/08/6740729
数学の難問、ABC予想は、どうなった
http://iiyu.asablo.jp/blog/2010/02/27/4910560
少女素数、リーマン予想、数学セミナー増刊「リーマン予想がわかる」
http://iiyu.asablo.jp/blog/2009/08/14/4510753
オイラー、無限級数、ゼータ関数、リーマン、ラマヌジャン、ポアンカレ予想
http://iiyu.asablo.jp/blog/2007/03/07/1238277
NHK教育、高校数学基礎

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　技術評論社(技評)から出ている雑誌「Software Design」(SD)の総集編が出
ています。すごいのが、2001年から2012年まで全記事のPDFがDVD-ROMになって
いて、なんと、たったの2000円！＼(^O^)／
　ICTのプロ向けの雑誌が、ほとんど姿を消した昨今と思っているが、その中
で、SDはよくがんばってると思いますよ。ソフトウェア・テストPRESSは、
残念でしたが。

http://www.amazon.co.jp/exec/obidos/ASIN/4774155934/showshotcorne-22/
Software Design 総集編 【2001~2012】 [大型本]
SoftwareDesign 編集部 (著)
価格：￥ 2,079

　私は、献本してもらいました。ありがとうございました。
　一応、SDには、協力しているので。
　コラムとして、
OSS時代にエンジニアに必要とされる基礎体力
があって、各氏が書いているが、宮原徹さんの話が一番、おれがいつもここで
書いたり、九州大学(九大)や法政大学で講義してきた話に近い。
　ご一読を。

　関連して、
http://iiyu.asablo.jp/blog/2013/04/10/6773298
ソフトウェア・テスト PRESS 総集編、Googleはどうやってテストしているか
で紹介した次の２冊は、クリック数もすごくて、お買い上げがけっこうありました。
　みなさん、テストには非常に関心があるんですね。

http://www.amazon.co.jp/exec/obidos/ASIN/4774147338/showshotcorne-22/
ソフトウェア・テスト PRESS 総集編 [大型本]
ソフトウェア・テストPRESS編集部　編 (著),
ソフトウェア・テストPRESS編集部 (編集)

http://www.amazon.co.jp/exec/obidos/ASIN/4774134546/showshotcorne-22/
ソフトウェアテスト入門 押さえておきたい<<要点・重点>> [単行本（ソフトカバー）]
ソフトウェア・テストPRESS編集部 (編集)

関連：
http://iiyu.asablo.jp/blog/2010/03/24/4967024
Software Design創刊20周年記念特別対談。おれが出てるぞ＼(^O^)／
http://iiyu.asablo.jp/blog/2013/04/10/6773298
ソフトウェア・テスト PRESS 総集編、Googleはどうやってテストしているか
http://iiyu.asablo.jp/blog/2013/04/17/6779772
続ソフトウェア・テスト PRESS 総集編、Googleはどうやってテストしているか、フォーマルメソッド(形式仕様記述、Formal Methods)、抽象によるソフトウェア設計－Alloyではじめる形式手法－

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---


　　ぼんぼんの矢


#ippatu