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
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 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 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 Kakenhi Human Resource Development
Top SE Experts in Information Science Quantum Technology Education:A New Approach
Collaborative Research Promotion Collaboration with Industry, Government, and Academia Innovation Produced by Knowledge Research Results
Progress in Informatics NII Technical Reports
Service

Network
SINET6
Research Data Cloud
GakuNin RDM JAIRO Cloud CiNii Research CiNii Books IRDB
Authentication Infrastructure
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

Research

Principles of Informatics Research Division

TATSUTA Makoto
Principles of Informatics Research Division, Professor

Research Fields: Software verification; Separation logic; Theory of programs; Type theory; Constructive logic
Degrees: Ph.D. (Science)
Detail: http://researchmap.jp/tatsuta/

View research contents with researchmap

ツイート

Research Divisions Research Centers Faculty Major Project Involvement Kakenhi Human Resource Development Collaborative Research Promotion Collaboration with Industry, Government, and Academia Innovation Produced by Knowledge Research Results

SPECIAL

NII Today No.105(EN)

Overview of NII 2025

Summary of NII 2024

NII Today No.104(EN)

NII Today No.103(EN)

Overview of NII 2024

Guidance of Informatics Program, SOKENDAI 24-25

NII Today No.102(EN)

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

The National Institute of Information Basic Principles of Respect for LGBTQ