タグ

inriaに関するnabinnoのブックマーク (3)

  • Accueil | Inria

    National Institute for Research in Digital Science and Technology

  • フランス国立情報学自動制御研究所 - Wikipedia

    INRIA(Institut National de Recherche en Informatique et en Automatique、 フランス国立情報学自動制御研究所)は、フランス政府研究省および、経済・財務省が共同管理するフランス国立研究所である。 1979年に、フランスの情報・制御分野の中心となる研究機関として設立された。 フランス国内に8ヶ所の研究施設(アキテーヌ、ブルターニュ、ロレーヌ、フランシュ=コンテ、イル=ド=フランス、ノール=パ・ド・カレー、コート・ダジュール、ラングドック=ルシヨン、ローヌ=アルプ)をもち、3000人以上の職員を抱える大規模な研究所である。 概要[編集] 研究分野はネットワークシステム、画像情報処理、自動制御からシミュレーション、バーチャルリアリティまで多岐にわたる。 研究成果の技術移転を積極的に行っており、年間予算(1億6千万ユーロ)の20%は

  • OCaml - Wikipedia

    OCaml([oʊˈkæməl] oh-KAM-əl、オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された[2]。 もとはCamlという名前の、MLの方言の処理系実装、および言語であった。この名前はcategorical abstract machine languageの頭字語に由来する(en:Categorical abstract machineも参照)。やがて、categorical abstract machineよりも効率の良い抽象機械ベースに書き直され、クラスや継承などクラスベースオブジェクト指向の言語機能が追加され Obj

  • 1