(To Japanese version)

Makoto Tatsuta

Professor
National Institute of Informatics

Concurrent position: Professor, The Graduate University for Advanced Studies
Interest: theoretical computer science, mathematical logic
E-mail: tatsuta AT nii.ac.jp
Phone: +81-3-4212-2552
FAX: +81-3-4212-2120 (secretary office)
Postal address:

National Institute of Informatics
2-1-2 Hitotsubashi, Tokyo 101-8430, JAPAN

• NII Logic Seminar
• Bibliograpy
• Bio
• proof.sty --- Proof Figure Macros for LaTeX
• SNU Logic in Computer Sceience 2023
• My page in Faculty List
• National Institute of Informatics