プログラミング★さがして！

プログラミング in OCaml ＞ 第1章　はじめに

1.3　OCamlに関する情報源 †

OCamlの総本山はフランスのINRIAという国立の計算機科学・情報科学に関する研究所です。

  • フランス国立情報学自動制御研究所 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E5%9B%BD%E7%AB%8B%E6%83%85%E5%A0%B1%E5%AD%A6%E8%87%AA%E5%8B%95%E5%88%B6%E5%BE%A1%E7%A0%94%E7%A9%B6%E6%89%80

    INRIA（Institut National de Recherche en Informatique et en Automatique、 フランス国立情報学自動制御研究所）は、フランス政府研究省および、経済・財務省が共同管理するフランス国立研究所である。
    1979年に、フランスの情報・制御分野の中心となる研究機関として設立された。
    フランス国内に8ヶ所の研究施設（アキテーヌ、ブルターニュ、ロレーヌ、フランシュ＝コンテ、イル＝ド＝フランス、ノール＝パ・ド・カレー、コート・ダジュール、ラングドック＝ルシヨン、ローヌ＝アルプ）をもち、3000人以上の職員を抱える大規模な研究所である。

    概要
    研究分野はネットワークシステム、画像情報処理、自動制御からシミュレーション、バーチャルリアリティまで多岐にわたる。
    研究成果の技術移転を積極的に行っており、年間予算（1億6千万ユーロ）の20％は自身の研究成果から得られた収益である。
    主な顧客は大学や他の研究機関、私企業であり、提携企業にはフランス国外の企業も多い。

    INRIA で開発された主なソフトウェアとして、次のものがある。

    • OCaml (Objective Caml)
    • Scilab
    • Esterel
    • Coq
トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS