数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）

筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日夜研究している。ただ，そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では，こうしたプログラミング言語やソフトウエア科学の様々な研究を，できるだけ普通のプログラマやエンジニアにもわかりやすく（どちらかといえば理論よりも実用に重点をおいて）紹介していく。 更新は毎月第2水曜日（1月のみ第3水曜日）

[ryozo18]

メモ

[grafi]

住井さんだったのか

[escape_artist]

読んでみる

[zyzy]

古い記事だけどかなりまとまってるなぁ。

[masterq]

住井さんの

[webmarksjp]

ocaml

[haiju]

functional programming ocaml

[yuji1982]

連載

[esper]

LYEEのテスト不要ってのは、このぐらいの話のような気がしてる。

[takuya-itoh]

「プログラミング言語理論」"プログラミング言語やソフトウエア科学の様々な研究を，できるだけ普通のプログラマやエンジニアにもわかりやすく紹介していく。"

[ujihisa]

なんだこれ。ものすごいよくまとまってそう。あとで読む

[Wacky]

「プログラミング言語理論」という研究分野がある。

[bull2]

住井さんのOCaml入門。

[todesking]

関数型言語、入門、実装

[tanakaBox]

OCaml入門にいいかも。

[gamaguchi]

未読

[nilab]

数理科学的バグ撲滅方法論のすすめ：ITpro

[henjin1go]

住井先生の

[faerie]

いつか見る。

[mako-28]

あとで

[peltier]

住井先生の記事

[yupo5656]

haskell