Loading article…
 | |
| 形成 | 1967年1月3日 |
|---|---|
| タイプ | 公共 |
| 目的 | 研究 |
| 本部 | ル シェズネー ロッカンクール、フランス |
| フィールド | コンピュータサイエンス 応用数学 |
公用語 | フランス語、英語 |
社長 | ブルーノ・スポルティス |
予算 | 2億3500万ユーロ（2013年） |
| スタッフ | 1,772人の研究者 |
| Webサイト | インリア |
旧称 | 情報および自動機械研究研究所 |
国立デジタル科学技術研究所（Inria）（フランス語：Institut national de recherche en sciences et technologies du numérique）は、コンピュータサイエンスと応用数学に焦点を当てたフランスの国立研究機関です。1967年にPlan Calculの一環として、フランスコンピュータサイエンスおよびオートメーション研究所（IRIA）（フランス語：Institut de recherche en informatique et en automatique ）の名称でパリ近郊のロッカンクールに設立されました。最初の場所は、現在もInriaの本部として使用されているSHAPE（NATO軍の中央司令部）の歴史的な建物でした。1980年に、IRIAはINRIAになりました。[1] 2011年からはInriaと名称が変わっています。
Inria は、フランス国立教育・高等教育・研究省と経済・財務・産業省の二重監督下にある公立科学技術研究機関(EPST)です。
行政上の地位
Inria は、フランス全土に 9 つの研究センター (ボルドー、グルノーブル-イノヴァレ、リール、リヨン、ナンシー、パリ-ロカンクール、レンヌ、サクレー、ソフィア アンティポリス) を構え、海外ではチリのサンティアゴ デ チリに 1 つのセンターを構えています。また、これらのセンター以外の学術研究チームにも貢献しています。
Inria Rennes は、他のいくつかの組織と共同のInstitut de recherche en informatique et systèmes aléatoires (IRISA)の一部です。
2007 年 12 月以前は、ボルドー、リール、サクレーの 3 つのセンターが INRIA Futurs と呼ばれる単一の研究センターを形成していました。
2010 年 10 月、Inria は、ピエール・エ・マリー・キュリー大学(現在のソルボンヌ大学) およびパリ・ディドロ大学と共同で、フリー ソフトウェアの革新と研究イニシアチブのセンターである IRILL を設立しました。
Inria は 3,800 人の従業員を雇用しています。そのうち 1,300 人は研究者、1,000 人は博士課程の学生、500 人は博士研究員です。
研究
Inriaはコンピュータサイエンスの理論と応用の両方の研究を行っています。その過程で、次のような広く使われているプログラムを数多く生み出してきました。
- Bigloo、Scheme実装
- CADP 、非同期並行システムの検証用ツールボックス
- Caml 、 MLファミリー の言語
- Chorus、マイクロカーネルベースの分散オペレーティングシステム
- CompCert、PowerPC、ARM、x86_32 用の検証済み C コンパイラ
- 飛行機雲[2]
- 証明支援ツールCoq
- CYCLADESは、データグラム、機能階層化、エンドツーエンド戦略の使用を先駆的に進めました。[3] [4]
- Eigen (C++ ライブラリ)
- ステートオートマトン用のプログラミング言語Esterel
- Geneauto — モデルからのコード生成[5]
- Graphite は、コンピュータ グラフィックス、3D モデリング、数値幾何学の研究プラットフォームです。
- Gudhi —計算トポロジーとトポロジカルデータ分析のためのPythonインターフェースを備えたC++ライブラリ[6]
- Le Lisp、移植可能な Lisp 実装
- medInriaは、MRI画像によく使われる医療用画像処理ソフトウェアです。[7]
- GNU MPFR、任意精度浮動小数点ライブラリ
- OpenViBE は、脳コンピューターインターフェースの設計、テスト、使用に特化したソフトウェア プラットフォームです。
- PharoはSqueak [1]から派生したオープンソースのSmalltalkです。
- 機械学習ソフトウェアパッケージであるscikit-learn
- 数値計算ソフトウェアパッケージであるScilab
- シムグリッド
- SmartEiffel、無料の Eiffel コンパイラ
- SOFA は、医療シミュレーションに重点を置いたマルチフィジックスシミュレーション用のオープンソースフレームワークです。
- TOM、パターンマッチング言語
- ViSP、オープンソースのビジュアルサーボプラットフォームライブラリ
- エクストリームFS [2]
- グリッド分散オペレーティングシステム XtreemOS
- Zenon、検証可能な証明を生成する拡張可能な自動定理証明器
さらに、INRIAはフランスのAI研究をリードしており、権威ある神経情報処理システム会議で採択された論文に基づいて、2019年には世界で12位にランクされています。[8]
歴史
1988年の夏、INRIAはフランステレコムとMCIにリースされた衛星リンクを使用して、プリンストン経由でソフィア-アンティポリスユニットをNSFNetに接続しました。リンクは1988年8月8日に運用を開始し、INRIAの研究者は米国のネットワークにアクセスでき、 NASAの研究者はストラスブールにある天文学データベースにアクセスできました。これはNSFNETへの最初の国際接続であり、フランスのネットワークがインターネットプロトコルであるTCP/IPを使用してネットワークに直接接続された最初の例でした。フランスのインターネットはその後数年間、研究と教育に限定されていました。[9] [10] [11]
参考文献
- ^ (フランス語) Décret No. 79-1158 du 27 décembre 1979 Création d'un institut National de recherches en informatique et en automatique (INRIA)、établissement public à caractère administratif, place sous la tutelle du ministre de l'industrie。
- ^ ab Versweyveld, Leslie (2012 年 10 月 30 日)。「Contrail プロジェクトは、相互運用可能なクラウド フェデレーション ツールの初の完全なセットを発表できることを誇りに思います」。International Science Grid This Week (ISGTW)。2013 年 10 月 17 日時点のオリジナルからアーカイブ。2013年10 月 17 日閲覧。
- ^ ベネット、リチャード（2009年9月）。「変化のための設計：エンドツーエンドの議論、インターネットの革新、そしてネット中立性の議論」（PDF）。情報技術とイノベーション財団。pp. 7、11 。 2017年9月11日閲覧。
- ^ 「スタンフォードとキクラデス諸島の間、インターネットの誕生に関する大西洋横断の視点」Inria 2020年11月9日2023年9月4日閲覧。
- ^ 「Geneauto / P ツールセット - P ツールセットには、TOPCASED 環境でサポートされている言語用のコード生成および検証フレームワークが含まれています」。Scilab。
- ^ 「Gudhi、INRIA」。
- ^ "medInria".
- ^ 「NeurIPS 2019 統計」。2019年12月18日。
- ^ 「フランスにおけるデジタルリテラシーとネットワーク文化への道（1980年代から1990年代）」。The Routledge Companion to Global Internet Histories。Taylor & Francis。2017年。84～89ページ。ISBN 978-1317607656。
- ^ Et Dieu crea l'Internet、Christian Huitema、ISBN 2-212-08855-8、1995、10ページ
- ^ アンドリアナリソア、メンジャニリナ。 「インターネットの簡単な歴史」。
さらに読む
- ベルトラン、アラン。グリセ、パスカル (2007)。Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [コンピュータ先駆者の物語: INRIA での 40 年間の研究] (フランス語)。 EDPサイエンス。ISBN 978-2-86883-806-3。
外部リンク
ウィキメディア・コモンズのINRIA関連メディア- 公式サイト （英語）
参照
- 人工知能を注ぐ国家戦略