ふつうの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^)／
京王線で人身事故 ― 2006年06月03日 20時11分53秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
今日、京王線で家に帰ろうとしたら、午後３時半ごろ、布田で人身事故とい
うので、国領の手前で止まった。１時間半も電車内。
もう、ほんとに。今日も休日出勤かつ朝８時に会社に行って仕事して早く帰
ったつもりが、これだもんね。
先週、今週、すごいんだもん。おれが朝７時過ぎとか、すごいときは朝６時
半から会社で仕事しているんだもんね。
一体、彼に何があったのか。
ワールドカップのために仕事をやりだめしているんです。＼(^O^)／
以前、人身事故のときに電車に乗っていたときは、明大前の手前だったけど、
明大前までのろのろで動いてドアが開いたのですぐ降りて、駅を出て喫茶店で
コーヒー飲んで本読んでそこらのお姉ちゃん１０人捕まえてセックスして戻っ
てきたら１時間以上経っていたので電車が動き出していて、乗ったらしばらく
してまた止まったり、のろのろだったりで、でも、なんとか府中まで着いた。
結局１時間半以上、帰るの遅れたね。
おれ的経験則は、京王線で人身事故に遭ったら１時間半遅れ。
最近、京王線も人身事故、多いね。
つい、この前も、朝かな、府中駅でもあったでしょ。
なんで増えたの？
BSE問題で牛肉輸入できないからか。＼(^O^)／
最近の食品添加物やらを駆使したテクニックを使えば、人肉でも牛肉として
出せるんじゃないか。＼(^O^)／
それにしても、自殺するなら(ま、これが飛び込み自殺だとして)、勝手に一
人で死ねよ。
おかげで今日はフラッグスに食パン買いに行くのが遅れて、食パン、もう売
り切れだったぞ。ぷんぷん。
おい、兄さん。そうやって、あんまり、念を出さないほうがいいぞ。
それは怨念になる。この現象を関西弁でいうと、
「怨念がおんねん」＼(^O^)／
それはともかく、この件であれこれ思いをぶちまけると、死んだ奴の霊がか
らんでくる。縁はちょっとしたことでできるからな。
たとえば、今夜あたり、これを読んだ人たちのところにも。。。
コンコン。
わああああああああああああああああああああああああああああああ。
---
今日、京王線で家に帰ろうとしたら、午後３時半ごろ、布田で人身事故とい
うので、国領の手前で止まった。１時間半も電車内。
もう、ほんとに。今日も休日出勤かつ朝８時に会社に行って仕事して早く帰
ったつもりが、これだもんね。
先週、今週、すごいんだもん。おれが朝７時過ぎとか、すごいときは朝６時
半から会社で仕事しているんだもんね。
一体、彼に何があったのか。
ワールドカップのために仕事をやりだめしているんです。＼(^O^)／
以前、人身事故のときに電車に乗っていたときは、明大前の手前だったけど、
明大前までのろのろで動いてドアが開いたのですぐ降りて、駅を出て喫茶店で
コーヒー飲んで本読んでそこらのお姉ちゃん１０人捕まえてセックスして戻っ
てきたら１時間以上経っていたので電車が動き出していて、乗ったらしばらく
してまた止まったり、のろのろだったりで、でも、なんとか府中まで着いた。
結局１時間半以上、帰るの遅れたね。
おれ的経験則は、京王線で人身事故に遭ったら１時間半遅れ。
最近、京王線も人身事故、多いね。
つい、この前も、朝かな、府中駅でもあったでしょ。
なんで増えたの？
BSE問題で牛肉輸入できないからか。＼(^O^)／
最近の食品添加物やらを駆使したテクニックを使えば、人肉でも牛肉として
出せるんじゃないか。＼(^O^)／
それにしても、自殺するなら(ま、これが飛び込み自殺だとして)、勝手に一
人で死ねよ。
おかげで今日はフラッグスに食パン買いに行くのが遅れて、食パン、もう売
り切れだったぞ。ぷんぷん。
おい、兄さん。そうやって、あんまり、念を出さないほうがいいぞ。
それは怨念になる。この現象を関西弁でいうと、
「怨念がおんねん」＼(^O^)／
それはともかく、この件であれこれ思いをぶちまけると、死んだ奴の霊がか
らんでくる。縁はちょっとしたことでできるからな。
たとえば、今夜あたり、これを読んだ人たちのところにも。。。
コンコン。
わああああああああああああああああああああああああああああああ。
Re: １００００人のキャンドルナイト～都筑ヨコハマ ― 2006年06月03日 20時12分21秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
田村ちゃんから、「１００００人のキャンドルナイト～都筑ヨコハマ」は全
国でやるイベントだというメール。ありがとうございました。
キャンドルナイトのサイトは
http://www.candle-night.org/
には、グーグルマップのAPIを使ったマップがあるんですが、
http://event.candle-night.org/
のほうで選ぶほうが、簡単に近辺のイベントがわかります。
なんと、府中でもやるんですね。行ってどれどれ、ドレミソか。
---
田村ちゃんから、「１００００人のキャンドルナイト～都筑ヨコハマ」は全
国でやるイベントだというメール。ありがとうございました。
キャンドルナイトのサイトは
http://www.candle-night.org/
には、グーグルマップのAPIを使ったマップがあるんですが、
http://event.candle-night.org/
のほうで選ぶほうが、簡単に近辺のイベントがわかります。
なんと、府中でもやるんですね。行ってどれどれ、ドレミソか。
最近のコメント