ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門 ― 2006年06月01日 23時47分41秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
仕事忙しいし、もうサッカーワールドカップ始まるし、ラグビーも代表の試
合があるし、なかなか書けずすみません。
本屋に行ったら、またHaskell本が出ていた。
http://www.amazon.co.jp/exec/obidos/ASIN/4797336021/showshotcorne-22/ref=nosim
青木峰郎著, 山下伸夫監修「ふつうのHaskellプログラミング ふつうのプログ
ラマのための関数型言語入門」
をどうぞ。
会社帰りの電車の中で、160ページくらいまで読みましたけど、わかりやす
く、読みやすい。
監修が山下伸夫さん。知ってる人は知ってる人で(当たり前か)、仲間たちと、
Scheme、SICPや圏論の勉強会やったり、いろいろと活動なさってる。
もう、一昨年かな、スクリプト言語の集まりで、Haskellで書くと、どんど
んバカになるので、とってもいいですなんていって、ウケていた。＼(^O^)／
活動状況は、
http://www.sampou.org/
をどうぞ。
---
仕事忙しいし、もうサッカーワールドカップ始まるし、ラグビーも代表の試
合があるし、なかなか書けずすみません。
本屋に行ったら、またHaskell本が出ていた。
http://www.amazon.co.jp/exec/obidos/ASIN/4797336021/showshotcorne-22/ref=nosim
青木峰郎著, 山下伸夫監修「ふつうのHaskellプログラミング ふつうのプログ
ラマのための関数型言語入門」
をどうぞ。
会社帰りの電車の中で、160ページくらいまで読みましたけど、わかりやす
く、読みやすい。
監修が山下伸夫さん。知ってる人は知ってる人で(当たり前か)、仲間たちと、
Scheme、SICPや圏論の勉強会やったり、いろいろと活動なさってる。
もう、一昨年かな、スクリプト言語の集まりで、Haskellで書くと、どんど
んバカになるので、とってもいいですなんていって、ウケていた。＼(^O^)／
活動状況は、
http://www.sampou.org/
をどうぞ。
私の最近のお勉強プログラミング ― 2006年06月01日 23時48分12秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
ぼくが昨年暮れくらいかな、お勉強してた＆しているのは、Common Lisp,
Prolog, Haskell, Erlang, oz。
Common LispやPrologはAI(人工知能)的手法の温故知新。
最近は、oz。なぜかといえば、改めてお勧めする、
http://www.amazon.co.jp/exec/obidos/ASIN/0262220695/showshotcorne-22/ref=nosim
Seif Haridi, Peter Van-Roy著「Concepts, Techniques, and Models of
Computer Programming」(MIT Press)
が、ozを使っているから。
この本(以下CTMCP)は、ほんといい教科書。詳しく書きたいが、時間なし。
だが、これだけはいえる。買って損なし、学んで損なし。
以前、Perl, Python, Rubyといったスクリプト言語で、プログラミング言語
を設計・実装する世界がアマチャアにも広がったと書いたが、これらが扱うの
は、スタンドアローンの世界。その先にあるのが、並行/並列、分散をいかに
簡単に扱うかの世界。これらの言語にもスレッドやネットの機能はあるが言語
機能としては低水準であって、ライブラリレベルのサポート。言語レベルでの
サポートではない。
プロの研究者の世界では、プログラミング言語のアイデアや実装は、大体
1980年代末までで出尽くしたといえるだろう。だが、並行・並列、分散の言語
のジャンルで、アマチュアが作ったPerl, Python, Rubyのような言語が出てく
るのか、出てくるとしたらどんな言語になるのかなとひそかな期待はあった。
しかし、インターネットのおかげで、Erlangやozのような言語がオープンソ
ースで簡単に手に入る以上、もう作る話じゃないのかも。
CTMCPを読むと、いろんな概念や計算モデルの本質的な部分は何かがよくわ
かるが、単に、Erlang, ozとMozartプログラミングシステムのことを知りた
いなら、
http://www.erlang.org/
Erlang
http://www.mozart-oz.org/
The Mozart Programming System
をどうぞ。
なぜ、並列・並行や分散が簡単に扱える言語のことを思っていたかといえば、
今後５年もすれば、一人で１０個のプロセッサを使うのが当たり前になる。マ
ルチコアだったり、SMPだったり、ネットワークに分散したりプロセッサだっ
たりさまざまだろうが、プロセッサは身の回りにごろごろするようになる。
そこで動かすソフトをC, Java, Perl, Rubyなどのシーケンシャルな言語で
書く気にはならない。
大体、「ウェブ進化論」を読んで、Web2.0, シリコンバレー万歳、Google万
歳などと言っている奴に限って、何にもわかってない。
常識で考えて、Googleが数十万個のプロセッサや超大容量のストレージを扱
うのに、いまだにCで書いたり、ナイーブなLinuxを使っているということがあ
り得るだろうか。おれの感覚ではあり得ない。おれの定義によれば、Googleは
広告スポンサーというパトロンから金をもらってサイエンスをやっている会社
だから。早い話が株式公開して民営化された大学の研究室。
となると、つまりは、おぬしが言いたいのは、これじゃろ。
そうそう。せーの。
コネクショニズムの再来じゃ。＼(^O^)／
コンカレント・パラレル・ディストリビューテッド・ファンクショナル・ロ
ジック・オブジェクトオリエンテッド・マルチパラダイムLispじゃ。＼(^O^)／
---
ぼくが昨年暮れくらいかな、お勉強してた＆しているのは、Common Lisp,
Prolog, Haskell, Erlang, oz。
Common LispやPrologはAI(人工知能)的手法の温故知新。
最近は、oz。なぜかといえば、改めてお勧めする、
http://www.amazon.co.jp/exec/obidos/ASIN/0262220695/showshotcorne-22/ref=nosim
Seif Haridi, Peter Van-Roy著「Concepts, Techniques, and Models of
Computer Programming」(MIT Press)
が、ozを使っているから。
この本(以下CTMCP)は、ほんといい教科書。詳しく書きたいが、時間なし。
だが、これだけはいえる。買って損なし、学んで損なし。
以前、Perl, Python, Rubyといったスクリプト言語で、プログラミング言語
を設計・実装する世界がアマチャアにも広がったと書いたが、これらが扱うの
は、スタンドアローンの世界。その先にあるのが、並行/並列、分散をいかに
簡単に扱うかの世界。これらの言語にもスレッドやネットの機能はあるが言語
機能としては低水準であって、ライブラリレベルのサポート。言語レベルでの
サポートではない。
プロの研究者の世界では、プログラミング言語のアイデアや実装は、大体
1980年代末までで出尽くしたといえるだろう。だが、並行・並列、分散の言語
のジャンルで、アマチュアが作ったPerl, Python, Rubyのような言語が出てく
るのか、出てくるとしたらどんな言語になるのかなとひそかな期待はあった。
しかし、インターネットのおかげで、Erlangやozのような言語がオープンソ
ースで簡単に手に入る以上、もう作る話じゃないのかも。
CTMCPを読むと、いろんな概念や計算モデルの本質的な部分は何かがよくわ
かるが、単に、Erlang, ozとMozartプログラミングシステムのことを知りた
いなら、
http://www.erlang.org/
Erlang
http://www.mozart-oz.org/
The Mozart Programming System
をどうぞ。
なぜ、並列・並行や分散が簡単に扱える言語のことを思っていたかといえば、
今後５年もすれば、一人で１０個のプロセッサを使うのが当たり前になる。マ
ルチコアだったり、SMPだったり、ネットワークに分散したりプロセッサだっ
たりさまざまだろうが、プロセッサは身の回りにごろごろするようになる。
そこで動かすソフトをC, Java, Perl, Rubyなどのシーケンシャルな言語で
書く気にはならない。
大体、「ウェブ進化論」を読んで、Web2.0, シリコンバレー万歳、Google万
歳などと言っている奴に限って、何にもわかってない。
常識で考えて、Googleが数十万個のプロセッサや超大容量のストレージを扱
うのに、いまだにCで書いたり、ナイーブなLinuxを使っているということがあ
り得るだろうか。おれの感覚ではあり得ない。おれの定義によれば、Googleは
広告スポンサーというパトロンから金をもらってサイエンスをやっている会社
だから。早い話が株式公開して民営化された大学の研究室。
となると、つまりは、おぬしが言いたいのは、これじゃろ。
そうそう。せーの。
コネクショニズムの再来じゃ。＼(^O^)／
コンカレント・パラレル・ディストリビューテッド・ファンクショナル・ロ
ジック・オブジェクトオリエンテッド・マルチパラダイムLispじゃ。＼(^O^)／
１００００人のキャンドルナイト～都筑ヨコハマ ― 2006年06月01日 23時48分48秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
知り合いが、「１００００人のキャンドルナイト～都筑ヨコハマ」というイ
ベントに関わっているので、お知らせします。
2006/06/17の20:00から灯りを消しましょうというイベントのようです。
詳しくは、
http://yokohama-tsuzuki.sakura.ne.jp/candle-night/
をどうぞ。
私は、ブラジル戦に備えて、今日も早く寝て、朝、早く起きる練習だ。＼(^O^)／
しかし、オーストラリア戦やクロアチア戦は、22:00くらいだよ。
えっ、じゃ、早寝の練習したらまずいじゃん。
そうだよ。夜更かしの練習しないと。
えっ、明日、朝からミーティングなんですけど。^^;
とりあえず、ライトを消して、キャンドルで夜更かしの練習。
絶対、寝ちゃう。＼(^O^)／
---
知り合いが、「１００００人のキャンドルナイト～都筑ヨコハマ」というイ
ベントに関わっているので、お知らせします。
2006/06/17の20:00から灯りを消しましょうというイベントのようです。
詳しくは、
http://yokohama-tsuzuki.sakura.ne.jp/candle-night/
をどうぞ。
私は、ブラジル戦に備えて、今日も早く寝て、朝、早く起きる練習だ。＼(^O^)／
しかし、オーストラリア戦やクロアチア戦は、22:00くらいだよ。
えっ、じゃ、早寝の練習したらまずいじゃん。
そうだよ。夜更かしの練習しないと。
えっ、明日、朝からミーティングなんですけど。^^;
とりあえず、ライトを消して、キャンドルで夜更かしの練習。
絶対、寝ちゃう。＼(^O^)／
最近のコメント