残業プログラマのためのスキルアップリンク集

「職人プログラマ」と「ソフトウェアの専門家」の差とは？

プログラミング言語に力の差はあるのか？

お題をいろんな言語で実装して、投稿するサイト

プログラミング言語の性能比較。

プログラミング言語ランキング。検索エンジンの検索数から算出。

Ocamlで具体的に説明されています。これだけではない気もする。

まだ読んでないけど、時間をつくって読みたいな。

書評など、日本語のページでは珍しく豊富なページ。

ＷＥＢで始めるならここか。

ぱらぱら見たらあんまりと思っていたがAmazonで評判がよい。読んでみたい。

なんだか発見した。あとでまたよむ。と思ったら、翻訳がでた。
『すごいHaskellたのしく学ぼう!』

わかりやすい入門書。遅延評価などをおさえており、関数型言語の楽しさに入門できる。モナドは説明不足？

モナドの丁寧な説明があり、理解できた。

英語の原著の草稿を公開。レビューコメントつき。

Emacs用のHaskell開発環境。

ぜんぜんわかっていないけど、Yesodを勉強すると、わからないからこそ、自分のHaskell世界が広がる気がする。

山本和彦さんの説明資料。参考：Mighty and Yesod。Mightyなにかしらんですけど。

田中英行さんの説明資料。

12月1日から25日間、参加者が一人ひとつずつ自身のブログにHaskellネタを書くイベント。Haskell Advent Calendar jp 2010

Haskell開発環境のEclipseプラグイン。コンテンツ・アシスト、コンパイルエラー検知。Eclipse自体、最近重いから、つかってない…

「まとまった日本語の解説がほとんど無いので、 簡単な解説記事を書いてみました。」とのこと。

プログラミングの基礎をOCamlで解説。いい本らしい。

東北大学の住井先生による連載。未読。Ocamlで説明してあるらしいのでここに分類。

C言語とのシームレスな連携などが特徴ときいております。

SML#の開発者大堀先生が書かれた本。

むかし読んだが、わかりやすかったと思います。

Lispの解説書です。

プログラミング言語Schemeの紹介、海外エッセーの翻訳、「普通のやつらの上を行け」等。

LISPのマクロってすごいらしい。

LISP入門の名著。復刊。

プログラミング言語Schemeのスクリプト処理系である。R5RS準拠。多バイト文字列を組み込みでサポート。

Javaで記述されたSchemeのインタープリタ。湯淺太一先生が作られたようです。

「私が知る中で、書く人がタイピングよりも考える事に費やす時間が長い言語は、SQL, Lisp, Haskellだけだ。 - Philip Greenspun」とあるが、タイピングが多いプログラマほど、肉体労働に近いわけだな、ふむふむ。

デザインレシピを使った設計方法の説明の本らしいです。電子ブック本文あり。読んでみたい。Lispを使って説明していあるらしいので、とりあえずここに分類。

タイトルの頭文字をとってSICPとか、魔術師本と呼ばれてます。ソフトウェアの設計、構成法の本質を学ぶなら、この一冊かもしれない。表示の魔術師の絵がなんとも魅力的。プログラミング言語の説明本はたくさんあるけど、プログラムの部品の作り方、組み合わせてプログラム全体を構成する方法を説明した本は数少ない。この本がまずは決定版ではないだろうか。まだ私も7割がたしか読んでませんが、オススメです。

SICPのオンラインページ。この本は英語ならこのサイトで全文読めます。

上記、日本語訳。

京大でLISPを教えているのは、LISPプログラマを養成するためではないそうです。「プログラミングというのは、単に与えられた問題をコーディングする技術でなく、計算機科学の成果であるさまざまな概念や機能を駆使できる能力である。この意味で、講義で採用しているSICPは、きわめて適切な教科書である。」SICPでLISPの方言であるSchemeで解説しているので、LISPを使っているというわけです。本文では、「SICPは、これらを単に概念として紹介するのではなく、Lispでどのように実現されているかを具体的に解説している。」とあります。Lispってのは、シンプルにいろんなことを実現できるので、仕組みの説明にすごく向いていると思います。この記事は、プロ組ラング言語を理解してだけでは、プログラミングには不足なのだと言っている、いい記事ですね。計算機科学の成果をしっかり学ぶことが大事だという点、同感です。

University of California BerkeleyではSICPの内容をプログラミング言語をPythonに変えて教えてるみたいです。講義ノートもあります。

最近MITではSICPは講義から無くなってしまったようですが、Independent Activities Period（IAP）という短期間の講義でSICPの内容が教えられているそうです。参考：濃縮還元オレンジニュース：MITにてSICPのクラスが復活!?｜gihyo.jp … 技術評論社

もともとSICPだった講義は内容も改められ、やはりプログラミング言語をPythonになっているようです。

プログラマの気骨を語っているエッセイ。おすすめです。

フェイスブックのエンジニアで史上ベスト３に入るといわれるEvan Priestley氏へのインタビュー。

Haskell以外でも使えるようです。

QuickCheckにも言及あります。

Coq本家。

Emacs上のCoqフロントエンド。Generalの顔が怖い！

下の方。

Coqゼミのコーナーがあります。

大学生によるCoqチュートリアル。

インストールのしかた、とか。

日本語のリファレンス。途中。

TAPLのBenjamin C. Pierceさんの電子ブック。教科書らしい。このコースは以下のことをするとのこと。
「It develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems, using the Coq proof assistant.」
読んでみたい。

ポピュラーなモデル検査器。

これまたポピュラーなモデルチェッカー。

CSPを先祖にもつFSP記法がまあまあシンプルで好きです。Spinよりさくっと美しく書ける。規模が大きいとなるとSpinのが実用的かも。アップデートがJune 2006で止まっているけど、まあまあ使えるレベルまでいったということかもしれません。

シンガポール発の、モデル検査ツール（シミュレーションとかもできる）。CSPの拡張(グローバル変数相当もサポート)していて、実用的にしているようで興味深い。他にも確率、リアルタイム性に関する検証ができるようだ。

コード詳細化が特徴。いまでもコード詳細化って重要なのかが興味あるところ。

パリ地下鉄14号線の信号システムが「Bメソッドを適用」、「これまでにバグがない」。

ホーア(Tony Hoare)による、CSPの教科書の電子版(free)。

CSPの応用、普及しているフォーラム。

日本のCSPの団体。存在を知らなかった。

シンガポール発の、モデル検査ツール（シミュレーションとかもできる）。CSPの拡張(グローバル変数相当もサポート)していて、実用的にしているようで興味深い。他にも確率、リアルタイム性に関する検証ができるようだ。

エディタ。カスタマイズ可能で、Coq-modeやHaskell mode等サポート。使ってます。ここを参考。

Emacsのテーマがえ。色がえ。

オンラインのコンパイラ、インタープリタ。

エディタ。もとにしているEmacsが古いので、CoqとかHaskellモードが使えないので使わなくなった。(2011/11/3時点)

型システムなどの手法を利用したプログラム解析の研究

プログラミング言語の基礎理論、特に、型システム、並行/分散プログラミング言語、型推論、オブジェクト指向言語の型理論など。

Label-selective lambda-calculus and Transformation calculusなど

Mewを作られた方。Haskellも書かれてます。

関数型言語の国際学会

プログラマのメジャーリーグ。コンペティションに参加すると、レーティングされ、プログラミング能力を証明する。世界中から参加。

国際的なプログラミングコンテスト？