フランス情報科学・自動化研究所

国立デジタル科学技術研究所（Inria）（フランス語: Institut national de recherche en sciences et technologies du numérique）は、コンピュータ科学と応用数学に重点を置くフランスの国立研究機関です。1967年にパリ近郊のロッケンクールで、プラン・カルキュルの一部として、フランスコンピュータ科学・自動化研究所（IRIA）（フランス語: Institut de recherche en informatique et en automatique）という名称で設立されました。最初の拠点は、 NATO軍の中央司令部であるSHAPEの歴史的な施設で、現在もInriaの本部として使用されています。1980年にIRIAはINRIAになりました。^{[ 1 ]} 2011年以降はInriaという名称になっています。

Inriaは、フランス国民教育・高等教育・研究省と経済・財務・産業省の二重監督下にある公的科学技術研究機関（EPST）です。

Inriaは、フランス国内に9つの研究センター（ボルドー、グルノーブル・イノヴァレ、リール、リヨン、ナンシー、パリ・ロカンクール、レンヌ、サクレー、ソフィア・アンティポリス）を、チリのサンティアゴに1つの海外センターを擁しています。また、これらのセンター以外の学術研究チームにも貢献しています。

Inria Rennes は、他のいくつかの組織と共同のInstitut de recherche en informatique et systèmes aléatoires (IRISA)の一部です。 Inria Nancy は、 CNRSおよびロレーヌ大学との共同LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications)の一員です。

2007年12月以前は、ボルドー、リール、サクレーの3つのセンターがINRIA Futursという単一の研究センターを形成していた。

2010年10月、Inriaはピエール・アンド・マリー・キュリー大学（現ソルボンヌ大学）およびパリ・ディドロ大学と共同で、フリーソフトウェアのためのイノベーションおよび研究イニシアチブセンターであるIRILLを設立した。

Inriaには3800人の従業員がおり、その内訳は研究者1300人、博士課程学生1000人、ポスドク研究員500人である。

Inriaはコンピュータサイエンスの分野で理論研究と応用研究の両方を行っています。その過程で、以下のような広く利用されている多くのプログラムを生み出してきました。

• Bigloo、Schemeの実装
• CADPは、非同期並行システムの検証のためのツールボックスです。
• CamlはMLファミリー に属する言語です。
  • Caml LightとOCamlの実装
• Chorus、マイクロカーネルベースの分散オペレーティングシステム
• CompCertは、PowerPC、ARM、x86_32向けに検証済みのCコンパイラです。
• コントレイル^{[ 2 ]}
• CYCLADESは、 TCP/IPやインターネットで採用されたデータグラム、機能階層化、エンドツーエンド戦略の使用を先駆的に行いました。^{[ 3 ] [ 4 ] [ 5 ] [ 6 ]}
• Eigen（C++ライブラリ）
• Esterel、状態オートマタのためのプログラミング言語
• Geneauto — モデルからのコード生成^{[ 7 ]}
• Graphiteは、コンピュータグラフィックス、3Dモデリング、数値幾何学の研究プラットフォームです。
• Gudhi —計算トポロジーとトポロジーデータ解析のためのPythonインターフェースを備えたC++ライブラリ^{[ 8 ]}
• Le Lisp、移植可能な Lisp 実装
• medInriaは、MRI画像によく使用される医療画像処理ソフトウェアです。^{[ 9 ]}
• GNU MPFR、任意精度浮動小数点ライブラリ
• OpenViBEは、脳とコンピュータのインターフェースの設計、テスト、および使用に特化したソフトウェアプラットフォームです。
• Pharoは、 Squeakから派生したオープンソースのSmalltalkである。^{[ 10 ]}
• Rocq、証明支援システム
• scikit-learnは、機械学習ソフトウェアパッケージです。
• Scilabは、数値計算ソフトウェアパッケージです。
• SimGrid
• SmartEiffelは、無料のEiffelコンパイラです。
• SOFAは、医療シミュレーションに重点を置いた、マルチフィジックスシミュレーションのためのオープンソースフレームワークです。
• TOM、パターンマッチング言語
• ViSPは、オープンソースのビジュアルサーボプラットフォームライブラリです。
• XtreemFS ^{[ 2 ]}
• XtreemOSは、グリッド分散型オペレーティングシステムです。
• Zenonは、検証可能な証明を生成する拡張可能な自動定理証明器です。

さらにInriaはフランスのAI研究をリードしており、ニューラル情報処理システムに関する会議で採択された論文に基づき、2019年には世界で12位にランクインした。^{[ 11 ]}

1988年の夏、INRIAはソフィア・アンティポリスユニットをプリンストン経由でNSFNetに接続しました。接続にはフランス・テレコムとMCIにリースされた衛星リンクを使用しました。このリンクは1988年8月8日に運用開始され、INRIAの研究者は米国のネットワークにアクセスでき、NASAの研究者はストラスブールにある天文学データベースにアクセスできるようになりました。これはNSFNETへの最初の国際接続であり、フランスのネットワークがTCP/IPを使用してネットワークに直接接続された最初の事例でした。フランスのインターネットはその後数年間、研究と教育に限定されていました。^{[ 12 ] [ 13 ] [ 14 ]}

• アバテ、ジャネット（ 1999）。インターネットの発明。マサチューセッツ州ケンブリッジ：MIT Press。ISBN 978-0-262-01172-3。

• ベルトラン、アラン。グリセ、パスカル (2007)。Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [コンピュータ先駆者の物語: INRIA での 40 年間の研究] (フランス語)。 EDP​​サイエンス。ISBN 978-2-86883-806-3。

• ウィキメディア・コモンズにあるINRIA関連のメディア
• 公式サイト