• BPnet
  • ビジネス
  • IT
  • テクノロジー
  • 医療
  • 建設・不動産
  • TRENDY
  • WOMAN
  • ショッピング
  • 転職
  • ナショジオ
  • 日経電子版
数理科学的バグ撲滅方法論のすすめ

数理科学的バグ撲滅方法論のすすめ---目次

ITpro 2007/06/13 ITpro

筆者 住井 英二郎

 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにとっては聞いたこともない言語やモデルについて,日夜研究している。ただ,そのような言語は「難しい」「役に立たない」などと思われがちだ。

 この連載では,こうしたプログラミング言語やソフトウエア科学の様々な研究を,できるだけ普通のプログラマやエンジニアにもわかりやすく(どちらかといえば理論よりも実用に重点をおいて)紹介していく。

 更新は毎月第2水曜日(1月のみ第3水曜日)

連載目次

第1回 OCamlを試してみる

第2回 「単一代入」と「末尾再帰」

第3回 計算量の工夫でプログラムは劇的に速くなる

第4回 関数型言語とオブジェクト指向,およびOCamlの"O"について

第5回 LablGLで3Dグラフィックス ~OCamlの「多相バリアント」と「ラベル付き引数」~

第6回 OCamlの「モジュール・システム」

第7回 「代数データ型」でいろいろなデータを表してみる

第8回 独自のプログラミング言語を開発してみよう(その1)

第9回 独自のプログラミング言語を開発してみよう(その2) プログラムを実行できるようにする

第10回 静的スコープと関数クロージャ
~関数型言語のインタプリタを書いてみる~

第11回 クロージャによる超軽量並行プロセスの簡単実装法

第12回 「型推論」の実装法

第13回 「表明」と「契約」による命令型プログラムの形式的検証 

第14回 型=命題,プログラム=証明 

第15回 型からプログラムを当てる 

第16回 すべてのものは関数である 

あなたにお薦め

連載新着

連載目次を見る

今のおすすめ記事

ITpro SPECIALPR

What’s New!

経営

アプリケーション/DB/ミドルウエア

クラウド

運用管理

設計/開発

サーバー/ストレージ

クライアント/OA機器

ネットワーク/通信サービス

セキュリティ

もっと見る