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

ウェブ全体の検索

関数プログラミングの楽しみ2010年09月18日 04時46分04秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/06/17/5167670
関数プログラミングの楽しみ
で名前を出した
http://www.amazon.co.jp/exec/obidos/ASIN/4274068056/showshotcorne-22/
関数プログラミングの楽しみ (単行本(ソフトカバー))
Jeremy Gibbons and Oege de Moor (編集),
山下 伸夫 (翻訳)
 原書は、
http://www.amazon.co.jp/exec/obidos/ASIN/0333992857/showshotcorne-22/
Fun of Programming (Cornerstones of Computing) (ペーパーバック)
Jeremy Gibbons (著)

 すっかり感想を書くのが遅くなった。すみません。
 まあまあ、そう謝らんでも、ええよ。
 いや、ほんとには謝ってないよ。形だけ形だけ。
 そうやね。\(^O^)/

 「第3章 おりがみプログラミング」は、おれが気になっている、おりがみ
工学やおりがみの数理の話かと思ったら、全然違った。まあ、シャレですね。
想像はつくと思うけど。つかない人は、本書を読んでください。関数プログラ
ミングでは、多用する話です。
 「第4章 Haskellで音楽を記述し解釈する」は、興味深かった。
 おれが、一番ウケたのが、「第7章 関数画像」。視覚効果も素晴らしいし、
設計や実装が、かっこいい。なるほど、こんな簡単な記述で、こんなにすごい
視覚効果が得られるプログラムが書けるのかと。
 一番興味深かったのは、「第6章 金融取引の書き方」。これ、コールオプ
ション、プットオプションやらデリバティブ(金融派生商品)の世界、あれの契
約書は、複雑化する一方だが、金融工学の連中は、それを正確に記述する記法
をもってないから、人間の手に負えなくなってきていると。そこで、Haskell
を使って仕様記述してみたら、コンピュータでいろんなことが自動処理できる
ようになったよという話。
 経済学部やらで金融工学をやってる人は、関数型プログラミングやHaskell
や仕様記述も、これからお勉強しようね。やらないと、やってる欧米の連中と
ますます差がつきそうね。でも日本の経済学部じゃ、無理かな。\(^O^)/
 後半は、、おれには難しい。「第10章 アローと計算」、「第12章 ファント
ム型を楽しむ」とかね。「第9章 論理プログラミングのためのコンビネータ」
は、こうまで、Haskellで論理プログラミングをやらなくてもいいんじゃない
かと思った。

 さて、本書の著者たちが、大いなる影響を受けたという本が、
http://www.amazon.co.jp/exec/obidos/ASIN/0134843460/showshotcorne-22/
Introduction Functional Programming (2nd Edition) (Prentice Hall
Series in Computer Science) [ペーパーバック]
Edna Bird (著), Wadler (著)
 これ、翻訳はありますか? まだないと思っているけど。
 旧版は、訳書がありますね。
http://www.amazon.co.jp/exec/obidos/ASIN/4764901811/showshotcorne-22/
関数プログラミング [単行本]
R. バード (著), P. ワドラー (著), 武市 正人 (翻訳)

Haskell関連:
http://iiyu.asablo.jp/blog/2009/12/01/4731394
Graham Hutton著、山本和彦訳「プログラミングHaskell」
http://iiyu.asablo.jp/blog/2009/10/23/4649004
Real World Haskell―実戦で学ぶ関数型言語プログラミング
http://iiyu.asablo.jp/blog/2006/06/01/389615
ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門

形式仕様記述(フォーマルメソッド、Formal Methods)関連:
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
http://iiyu.asablo.jp/blog/2010/07/29/5254556
フォーマルメソッド(形式仕様記述、Formal Methods)の教科書
http://iiyu.asablo.jp/blog/2010/07/29/5254545
VDM++によるオブジェクト指向システムの高品質設計と検証

コメント

コメントをどうぞ

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

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

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

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

コメント:

トラックバック

_ ホットコーナーの舞台裏 - 2011年02月04日 02時24分07秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 オーム社のgolden_luckyさん(鹿野さん)のつぶやき。
http://twitter.com/bonota

_ ホットコーナーの舞台裏 - 2011年06月15日 06時15分24秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 オーム社の鹿野さん。献本ありがとうございます。
http://www.amazon.co.

_ ホットコーナーの舞台裏 - 2012年08月23日 05時32分50秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。
http://www.amazon.co.jp/dp/4274068854/ref=

_ ホットコーナーの舞台裏 - 2012年10月31日 09時04分00秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。
http://www.amazon.co.jp/exec/obidos/ASIN/4

_ ホットコーナーの舞台裏 - 2013年08月04日 09時23分37秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。といっても、0円。つまり、タ

_ ホットコーナーの舞台裏 - 2014年07月10日 11時04分43秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 オーム社、がんばってくれてるよね。鹿野さんたち。
http://www.amazon.

_ ホットコーナーの舞台裏 - 2014年10月30日 11時18分06秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。
 財務諸表論のほうは、お買い

_ ホットコーナーの舞台裏 - 2014年11月15日 21時27分10秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2014/11/06/7484259
オライリー・ジャパンは、データサ

_ ホットコーナー - 2016年12月30日 10時54分53秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
 JavaScriptで関数型プログラミングをやる本が出ていた。しかも洋書の翻訳ではなく、日本で書いたもの。
 目次と索引をみたら、非常

_ ホットコーナー - 2017年12月17日 21時55分43秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
■Akka実践バイブル
 Scalaをやってる人には、おなじみのAkkaの本が出ている。
 ManningのAkka in Actionの翻訳ですね。
https://www.amazon.co.jp/ex

_ ホットコーナー - 2018年01月31日 10時48分50秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
■Scala for the Impatient (2nd Edition)
 お買い上げありがとうございます。お買い上げは、紙書籍。
 Scala for the Impatientは、「せっかちな人の

_ ホットコーナー - 2018年10月30日 02時21分50秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
 世の中、まだ、テスト駆動開発(TDD)しか知らず、形式手法(フォーマルメソッド、Formal Methods)を知らない人が多い。
 以前書いたけど

_ ホットコーナー - 2018年11月15日 06時27分22秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
 久々に日本語のScala本が出たので、ご祝儀で買った。
https://www.amazon.co.jp/exec/obidos/ASIN/4297101416/showshotcorne-22/
実践Scala入門 単行本(ソフ

_ ホットコーナー - 2021年02月01日 09時14分02秒

ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
 お買い上げありがとうございます。
 形式手法(フォーマルメソッド、形式仕様

_ ホットコーナー - 2021年09月29日 11時34分20秒

ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
 もう早く書かないから、明日まで。
 翔泳社が電子書籍を50%ポイント還元セール