プログラミング言語意味論読書会 第1回 前置き [開催の理由]
ええと、なんとなくイベントをやってみたくなってえいやではじめて見ました。
世間様では「エンジニアがプライベートタイムを使って能力開発をすべきというのはおかしいのではないか」「いや、プライベートタイムを使うからこそ、業務だけでは得られない知見が得られるのではないか」といった議論があるようなのですが、私が今回のイベントを「読書会」としたのは、ある意味そういう議論からフリーでいたかったことがあります。
あともう一つ、SICP の日記でも書きましたが、プログラマたる物アカデミックなことを必ずしも知らなければならないか。私はぜんぜんそうは思いません。ガンガンコード書いてガンガンデバッグして、それが喜びでありその能力が誇りなのであれば、別にアカデミックな世界に触れる必要などないと思っています。
しかし一方で、もしまつもとゆきひろさんが「理想のプログラミング言語ってなんだろう？」って思わなかったら ruby は生まれなかったわけですし、じゃあなにを理想っていうの？ それぞれのプログラミング言語が持つ意味ってどんなものがあるの？ それを使うことでエンジニアは幸せになれるの？ ということを面白がることで、エンジニアとしての幅が出ることもあるんじゃない？ ということもあります。
まあそんなわけで、「実業に役に立つことははなから期待しないで、でも面白そうと思う人だけ来てね」というイベントになりました。
前置きが長くなりましたが(いやこのエントリ自体が前置きなんだけど)、今回の読書会では、カーネギーメロン大学の講義：
の教科書であるところの、
Programming Languages: Theory and Practice. Robert Harper.*1
を輪読しましょうということにしました。
こいつは CC-BY-NC-ND(日本語版)なので扱いやすい*2 ってのも理由だし、実際の言語ではなく数学的抽象をやってるっぽいので言語の印象に引っ張られない感じがよさそうだし、ちったー英語力の向上になるかなって思いもあったし、それでこいつをえらんだと。
自慢じゃないですがオイラは英語はまったくできませんし、プログラミング言語意味論なんて大昔に「算法表現論」
- 作者: 木村泉,米澤明憲
- 出版社/メーカー: 岩波書店
- 発売日: 1982/05/10
- メディア: 単行本
- 購入: 6人 クリック: 44回
- この商品を含むブログ (4件) を見る
会場どうしよう、告知どうしよう、とかいろいろ考えたんですが、やりたいと言ってくれてる人がせっかくいるのにぐちゃぐちゃ考えててもしょうがない。えーいやっちゃえ！ ということで場所もてきとー時間もてきとー進行もてきとー、ということで前述の ATND でイベント作って、でもやっぱり二人しか参加いなくて、ゆるーりとやってきたわけです。
1/3 ぐらいは雑談してたかな (^^;)。
でもねでもね。
すっげー面白かったっす。
なんかやっぱり、やらんでぐちゃぐちゃ悩むよりやってあとから反省したほうがいいなぁって思いました。
ということで次は面白かったその実際の内容と、次回へ向けての反省点を。できれば次回はもうちょい人が増えると楽しいなということでね。
今日は眠いのでここまでっ。
