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

ウェブ全体の検索

記号論理学講義: 基礎理論 束論と圏論 知識論2013年04月23日 10時48分49秒

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
オーム社からカーニハン「ディジタル作法」

数学の難問、ABC予想の新書が出た\(^O^)/2013年04月23日 10時49分16秒

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教育、高校数学基礎

Software Design総集編2001年から2012年の記事が丸ごとDVDに2013年04月23日 10時49分46秒

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はどうやってテストしているか
で紹介した次の2冊は、クリック数もすごくて、お買い上げがけっこうありました。
 みなさん、テストには非常に関心があるんですね。

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ではじめる形式手法-

アベノミクスは3本の矢やないっちゃ ← 北九州弁2013年04月23日 10時50分20秒

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


  ぼんぼんの矢


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

ウェブ全体の検索