国立情報学研究所 / National Institute of Informatics

NIIについて
/ About NII

はじめに
所長の挨拶 NIIの特色大学共同利用機関
概要
沿革運営会議・共同利用委員会・アドバイザリーボード組織図知的財産所員・予算歴代所長要覧・概要年報ロゴマーク・
広報コミュニケーションマーク設立20周年記念ウェブサイト

国際交流
大学・研究機関との研究交流国際交流協定（MOU）の
締結状況 NII International advanced lectures series on ICT NII湘南会議
研究戦略室先端ICTセンター NII CSIRT 国立情報学研究所図書室
図書室利用案内（一般の方）図書室学認経由のアクセス
国際高等セミナーハウス

広報
広報ビデオ情報犬ビットくん
出版物・広報誌
NII Today 軽井沢土曜懇話会講演集
知と美のハーモニーのぞいてみようNII
情報犬ビットくん情報研シリーズ情報学シリーズその他　教員の著書 NII20周年記念出版物
情報公開
学術情報ネットワーク
外部諮問委員会報告書 LGBTQを尊重する基本理念
研究データ管理
国立情報学研究所研究データポリシー（実施方針）機関リポジトリ

調査報告書調達情報採用情報交通アクセス
学術総合センター柏分館国際高等セミナーハウス
問い合わせ窓口メールマガジン
購読の登録／解除バックナンバー
トピックスイベントリンク
研究
/ Research

研究系研究センター
学術ネットワーク研究開発センター知識コンテンツ科学研究センター社会共有知研究センタークラウド基盤研究開発センターデータセット共同利用研究開発センターストラテジックサイバーレジリエンス研究開発センターオープンサイエンス基盤研究センター研究データエコシステム構築事業推進センタートラスト・デジタルID基盤研究開発センター量子情報国際研究センタービッグデータ数理国際研究センター数理的高信頼ソフトウェアシステム研究センター医療ビッグデータ研究センターシンセティックメディア国際研究センター大規模言語モデル研究開発センター先端モバイル駆動研究センター

研究者紹介
所長役職員（研究系）情報学プリンシプル研究系アーキテクチャ科学研究系コンテンツ科学研究系情報社会相関研究系研究者一覧名誉教授研究者クローズアップ
参画する大型プロジェクト科学研究費助成事業（科研費）人材育成
トップエスイー情報科学の達人量子技術高等教育拠点

産官学連携活動
産官学連携塾 NII SEEDs
共同研究（民間・公募型）受託研究概要寄附金研究員・学生受入制度
外来研究員特別共同利用研究員研究研修生連携大学院日本学術振興会特別研究員受託研究員研究環境向上のための若手研究者雇用支援事業育成方針
客員教員研究費研究成果
Progress in Informatics NIIテクニカルレポート競争的研究費の直接経費から研究代表者（PI）の人件費の支出について
事業
/ Service

ネットワーク
SINET6
研究データ基盤
GakuNin RDM JAIRO Cloud CiNii Research CiNii Books IRDB
認証基盤
学認（GakuNin） eduroam JP UPKI電子証明書発行サービス認証系メンテナンスのお知らせ

クラウド
学認クラウド導入支援サービスゲートウェイサービスオンデマンド構築サービス SINETStream
情報セキュリティ
大学間連携に基づく情報セキュリティ体制の基盤構築（NII-SOCS）情報セキュリティポリシーサンプル規程集倫倫姫の情報セキュリティ教室
学術情報流通
NACSIS-CAT/ILL 電子リソースデータ共有サービス（ERDB-JP、ライセンス） KAKEN NII-REO

連携
大学図書館と国立情報学研究所との連携・協力推進会議大学図書館コンソーシアム連合（JUSTICE）これからの学術情報システム構築検討委員会オープンアクセスリポジトリ推進協会（JPCOAR） SPARC Japan AI等の活用を推進する研究データエコシステム構築事業オープンサイエンスのためのデータ管理基盤ハンドブック HPCI mdx 学術情報基盤オープンフォーラム
人材育成
学認LMS 教育研修事業 NII JMOOC | gacco 情報科学の達人コンピュータサイエンスパーク
案内・配信
NIIサービスニュース
大学院教育
/ Graduate Program

ニュース / News

受賞

2018/11/14

小林努特任研究員、石川冬樹准教授（ともにアーキテクチャ科学研究系）の論文が国際会議ICFEM 2018でBest Paper Awardを受賞

小林努特任研究員、石川冬樹准教授（ともにアーキテクチャ科学研究系）の論文が国際会議The 20th International Conference on Formal Engineering Methods(ICFEM 2018)でBest Paper Awardを受賞しました。

賞の名称

Best Paper Award

受賞論文

Analysis on Strategies of Superposition Refinement of Event-B Specifications

受賞者

小林努（国立情報学研究所）、石川冬樹（国立情報学研究所）

受賞日

2018年11月14日

関連リンク

ツイート

3371

2025年度 2024年度 2023年度 2022年度 2021年度 2020年度 2019年度 2018年度 2017年度 2016年度 2015年度 2014年度 2013年度 2012年度 2011年度 2010年度 2009年度ニュースリリース受賞

注目コンテンツ / SPECIAL

NII Today No.106

NIIサービスニュース

国立情報学研究所 2025年度概要

SINET広報サイト

ウェブサイト「軽井沢土曜懇話会アーカイブス」を公開

SINETStream 事例紹介：トレーラー型動物施設 [徳島大学バイオイノベーション研究所]

情報研シリーズこれからの「ソフトウェアづくり」との向き合い方

学術研究プラットフォーム紹介動画

教育機関DXシンポ

高等教育機関におけるセキュリティポリシー