ホットコーナーブログ(iiyu.asablo.jpの検索)ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。)に転載したものから。---お買い上げありがとうございます。これ、何?と思って、いろいろ見ていると、なんと、iPhoneとSuica、パスモなどのICカードを一緒にケースに入れると、干渉して動かないので、それを防止して動くようにするためのシートだそうです。みなさん、そんなにしてまで、荷物の数を減らしたいんですね。http://www.amazon.co.jp/exec/obidos/ASIN/B009TNZ2RU/showshotcorne-22/アイフォン5・4s干渉エラー防止・ノイズ抑制シート(原シート部材販売)サードWEB雑貨ショップいろんなところが出してますね。パスモJPS株式会社このケースは、動かないときは、電磁波干渉シートを入れてくれと書いてある。付VERUSavenue-dという会社、シートが附属しているケースも出している。(ブラック)avenue-d次は、「ICカードをケースに入れたまま、改札での利用も可能です」と書いてあるだけで、特に注意書きがない。ストラップヤその他、アイデア商品は、上の検索窓に「アイデア商品」と入れて、検索してください。)に転載したものから。---お買い上げありがとうございます。英語以外の言語の教材のお買い上げは初めてかも。将棋のトッププロ、斬新な新手を次々と出す、いまは将棋の棋士会長でもある佐藤康光九段かと思いました。(著)他の言語のしくみシリーズを少しリスト。(著)「フランス語のしくみ」関連で出てくる次は、いま、このカテゴリーのベストセラー1位です。著者の清岡智比古さんは、いくつもフランス語入門の人気本を出してるんですね。(著)[コメント(0)|トラックバック(0)]筒井康隆「モナドの領域」の影響か。)に転載したものから。ゴルゴ13は、こんな偶然を信じないぞ。情報省が暗躍して、すなわち、情報省トップのおれが、共立出版に圧力をかけて出版させたと考えるのが自然。ま、そんなガイキチはほっといて、なぜ、「モナドの領域」で圏論かというと、我々、プログラマ、それも関数型プログラミングに関心がある人間にとっては、モナドは、哲学用語としてのライプニッツのモナドではなく、関数型言語Haskell(ハスケル)で有名になったモナドです。このモナドの数学的ベースは、圏論です。圏論は、数学基礎論、メタ数学、超数学と呼ばれる、数学を研究する数学の一分野。ま、数学力がないおれには、さっぱりわからんけど。共立出版から出た本は、これ。(翻訳)原書は、これ。(著)ハードカバーは、2万円もするんだ。Awodeyは、コンピュータサイエンスの超有名大学、CMU(カーネギーメロン大学)の教授で、しかも哲学科なんですね。コンピュータサイエンス科か数学科の先生ではないかと思ったから、ちょっとびっくり。University昔は、物理学と哲学は同じもので、ニュートンとライプニッツ以来、物理学は数学を使って考えるようになったから、数学と哲学も同じといえば同じ。以前も書いたが、現代の宇宙論や世界認識論を量子力学や相対論抜きには語れず、数学で記述してあるので、数学力のない哲学者は、いまいち信用する気になれないんですよ。Awodey先生は、信用できる哲学者ということになりそうです。お、日本語で最近、こんな本が出てますね。これなら、おれもついていけるかな。(編集)これもよさげですね。---数学、論理学に強い哲学者ということか。こりゃ、信用できるっぽい?圏論の定番書の1つで、一時、売り切れになって高値がついていたのが、これ。(著)いま、ハードカバーよりペーパーバックのほうが高いね。(著)次も評判がよくて、定番書の1つ。これは日本語版が出てないみたい。ペーパーバックは8000円くらいなのに、ハードカバーが6万5千円って、でたらめだ。(著)おお、部分的に、この本を訳している人がいる。Scalazの独習だ。独習Scalazは、目次を見ただけでも、素晴らしいですね。ScalazScalazで思い出したのが、これですね。(翻訳)型理論、型システムに関しては、プログラマにとっては、こっちのほうがいいと思う。(翻訳)原書は、これ。これも1万円もするのか。(著)素人評にある、続編の本がこれらしい。探したが、日本語版はないみたいです。(編集)Haskell本は、これまでいくつも紹介していますが、いくつか。上の検索窓に「Haskell」や「関数型」と入れて検索してください。第2版ついでといってはなんですが、世界数学者事典という本が出ました。訳)が,いよいよ発売ですね。---おれの名前がないな。(翻訳)日本評論社にある紹介。30このブログについて本業はプログラマでありながら、文章がICT業界を超えて大人気の中村正三郎のブログ。ICT関連の話題、セキュリティの話題からマスコミ、科学、お笑い、ちょっとHなネタまで硬軟織り交ぜ話題沸騰。詳しいプロフィールは、http://www.asahi-net.or.jp/~ki4s-nkmr/profile.htmlをどうぞ。さんは、情報省のスパイ\(^O^)/府中、分倍河原のラーメン、麺屋もろ。いまの限定は「新作担々麺」。アイデア商品:着るお一人様用こたつ、あったか脚入れヒーター、歩けるシュラフ、寝袋。BCヒューズボックス府中の航空自衛隊に宇宙軍(宇宙作戦隊(仮称))、でわかる情報省支配。