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 Alumni
NII Library
NII Library Usage Guide(For General Public) NII Library Accessing databases via GakuNin
International Seminar House for Advanced Studies Advanced ICT Center Publications
NII Today
PR Video

Recruitment Access
National Institute of Informatics (National Center of Sciences) Kashiwa Annex 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 Strategic Cyber Resilience Research and Development Research Center for Open Science and Researcn Data Platform Center for Research Data Ecosystem Development Center for Trust & Digital Identity Research and Development Global Research Center for Quantum Information Science Global Research Center for Big Data Mathematics Research Center for Mathematical Trust in Software and Systems Research Center for Medical Bigdata Global Research Center for Synthetic Media Research and Development Center for Large Language Models Center for Advanced Mobile Driven Research

Faculty
Director-General Executives(related to research) 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
Major Project Involvement
JST CREST JST PRESTO JRP-LEAD with UKRI
Kakenhi Human Resource Development
Top SE Experts in Information Science Quantum Technology Education:A New Approach
Research Results
Progress in Informatics NII Technical Reports
Service

Network
SINET6
Research Data Cloud
GakuNin RDM JAIRO Cloud CiNii Research CiNii Books CiNii Dissertations IRDB
Authentication Infrastracture
GakuNin eduroam JP UPKI Notice of Authentication Service Maintenance

Cloud
GakuNin Cloud GakuNin Cloud Adoption Support Service GakuNin Cloud Gateway Service GakuNin Cloud On-Demand Configuration Service SINETStream
Information Security
NII Security Operation Collaboration Services (NII-SOCS) Princess Rinrin's information security column
Scholarly Communication
NACSIS-CAT/ILL E-resources Data Sharing Services KAKEN NII-REO

Collaboration
Collaboration with University Libraries Japan Alliance of University Library Consortia for E-Resources Future Scholarly Information Systems Committee Japan Consortium for Open Access Repository SPARC Japan Research Data Ecosystem Development Project to Promote the Use of AI HPCI mdx Academic Information Infrastructure Open Forum
Human Resource Development
GakuNin LMS Education and Training Services NII JMOOC | gacco Experts in Information Science Computer Science Park
Graduate Program

About NII

NII Today

No. 63／September. 2017

Extending Formal Methods to Manufacturing

PDF Download

Downloads

No. 63「Extending Formal Methods to Manufacturing」

Back number

Contact

Publicity Team, Planning Division, General Affairs Department
National Center of Science 2-1-2Hitotsubashi, Chiyoda-ku, Tokyo 101-8430
E-mail: kouhou [at] nii.ac.jp
*Please replace [at] with @.

Introduction Overview of NII International Exchange Global Liaison Office (GLO) - DAAD NII Library International Seminar House for Advanced Studies Advanced ICT Center Publications PR Video Information Disclosure Recruitment Access Contact News Event Link

SPECIAL

NII Today No.102(EN)

Summary of NII 2024

NII Today No.101(EN)

SINETStream Use Case: Mobile Animal Laboratory [Bio-Innovation Research Center, Tokushima Univ.]

NII Today No.100(EN)

Guidance of Informatics Program, SOKENDAI 23-24

The National Institute of Information Basic Principles of Respect for LGBTQ