Institutes of Innovation for Future Society Global Research Institute for Mobility in Society

Ubiquitous Computing, Software, Communication/Network Engineering, Media Informatics/Data Base, Computer System Network, Informatics / Information theory, Informatics / Software, Activity recognition, Informatics / Information networks, Informatics / Computer systems

Graduate School of Informatics Center for Embeded Computing Systems

Real-time system, Embedded System, Informatics / Information networks, Informatics / Information security, Informatics / Software, Informatics / Computer systems

Graduate School of Informatics Center for Embeded Computing Systems

Informatics / Software, Informatics / Computer systems

Graduate School of Informatics Department of Computing and Software Systems 2

Informatics / Software

Graduate School of Informatics Department of Computing and Software Systems 3

Informatics / Software

Graduate School of Mathematics Division of Mathematics

Formal Verification of Programs, Functional Programming, Formalization of mathematics, Quantum Computation, Type Theory

Graduate School of Informatics Department of Computing and Software Systems 1

Term rewriting systems, Combinatorial optimization, Informatics / Intelligent informatics

Graduate School of Informatics Department of Computing and Software Systems 1

Informatics / Software, Informatics / Information theory, Informatics / Intelligent informatics, Informatics / Biological, health, and medical informatics

Nagoya University Hospital Department of Patient Safety

Incident Reporting System, Numerical Analysis, Statistical Analysis, AI, BERT FineTuning, Comparing Document Embedding Distributions with BERT