National Institute of Informatics

About NII

Introduction
Greeting from the Director General Mission & Strategies
Overview of NII
History Administrative Council Organization Charts Intellectual Properties Staff / Budget Outline and Catalogue of National Institute of Informatics PR Video
International Exchange
International Exchange based on MOU Conclusion of International Exchange Agreements or MOUs NII International advanced lectures series on ICT NII Shonan Meeting

Global Liaison Office (GLO) - DAAD
Information about Fellowship Japan with your images Research Activities Alumni
Graduate Education Activities NII Library
NII Library Usage Guide NII Library Accessing databases via GakuNin
International Seminar House for Advanced Studies Advanced ICT Center Publications
NII Today
PR Video Procurement Information

Recruitment Access
National Institute of Informatics (National Center of Sciences) chiba International Seminar House
Contact News Event Link Sitemap
Research

Research Divisions Research Centers
Research and Development Center for Academic Networks Research Center for Knowledge Media and Content Science GRACE Center: Center for Global Research in Advanced Software Science and Engineering Research Center for Community Knowledge Center for Cloud Research and Development Center for Dataset Sharing and Collaborative Research Center for Cybersecurity Research and Development Research Center for Open Science and Data Platform Global Research Center for Quantum Information Science Global Research Center for Cyber-Physical Systems Global Research Center for Big Data Mathematics Global Research Center for Systems Design and Mathematics Research Center for Medical Bigdata Research Center for Financial Smart Data Cognitive Innovation Center

Faculty
Director General Deputy Director General Principles of Informatics Research Division Information Systems Architecture Science Research Division Digital Content and Media Sciences Research Division Information and Society Research Division Directory of Faculty and Staff index Professor Emeritus
Main Projects to Promote
Artificial Brain Project - Can a robot get into the University of Tokyo? ERATO Kawarabayashi Large Graph Project Cyber-physical Integrated IT Infrastructure Project to Optimize Social Systems and Services
Research Results
Progress in Informatics NII Technical Reports
Service

Science Information NETwork "SINET5" Promotion of Academic Information Circulation and Open Access
CiNii Articles CiNii Books CiNii Dissertations JAIRO KAKEN NII-DBR NII-REO NII Support Academic information Services ERDB-JP JAIRO Cloud NACSIS-CAT/ILL NII-IRP SPARC Japan

Collaboration between University Libraries and NII
GakuNin eduroam JP
Support to Academic Information Infrastructure in Universities
JUSTICE
Graduate Program

EVENT

Event News

2018/06/26	Talk by Prof. Castéran Pierre on Coq: "The hydra game: a formal development with the Coq proof assistant"
2018/06/22	NII OPENHOUSE 2018
2018/06/22	Shonan Meetings 100th Commemorative Symposium
2018/06/18	Japan Open Science Summit 2018
2018/06/14	The 9th DSC Seminar "Analyzing Nontextual Content Features to Detect Academic Plagiarism"
2018/06/13	Project colloquium by Asst. Prof. Taro Sekiyama: "Towards automated proof synthesis for intuitionistic propositional logic with deep learning"
2018/06/12	Lectures on Knowledge Representation and Reasoning (AI)
2018/06/11	Talk by Jeremy Dauphin on argumentation theory: "A dynamic approach for combining abstract argumentation semantics"
2018/05/30	Project colloquium by Tomoo Yokoyama: "Topological methods for analyzing two dimensional flows"
2018/05/28	Lecture meeting about Reinforcement Learning by AWS

list-index

NII Open Forum on Informatics NII Open House International Symposium International Workshop Event News

SPECIAL

湘南会議 100回記念シンポジウム

NII OPENFORUM 2018

NII OPENHOUSE 2018

Japan Open Science Summit 2018

NII Today No.60

NII Shonan Meeting