Programming-in-OCaml_1-3 の履歴(No.1)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Programming-in-OCaml_1-3 へ行く。
  • 1 (2019-07-31 (水) 17:59:02)

プログラミング 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

• Inria, l'institut national de recherche dédié aux sciences du numérique https://www.inria.fr/