TATSUTA Makoto - Principles of Informatics Research Division - Faculty - Research - 国立情報学研究所 / 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
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

Principles of Informatics Research Division

TATSUTA Makoto
Principles of Informatics Research Division, Professor

Degrees: 1993, PhD., University of Tokyo
Research Fields: Mathematical Logic
Detail: http://researchmap.jp/tatsuta/

View research contents with researchmap

Research

Principles of Informatics Research Division

SPECIAL