About NII

No.99／Jun. 2023

1. NII’s New Director on the Future of NII
2. Mathematically Verifying the Safety of Automated Driving Systems

PDF Download

[Interview]
How Informatics is Shaping Society
KUROHASHI, Sadao

[Article]
Proposing a method of explainable "safety and security
HASUO, Ichiro

[Article]
A Novel Extension of a Mathematical Method of "Formal Verification"
HASUO, Ichiro

[Interview]
The potential of mathematical "Safety Verification"
TAKADA, Hiroaki

[Interview]
Engineerable AI (eAI) to Drive Industrial Innovation
ISHIKAWA, Fuyuki

[Dialog]
"Zero Trust" for Establishing Safety
ISHIKAWA, Yutaka; TAKEFUSA, Atsuko

[Essay]
What is Control Theory?
KISHIDA, Masako

Downloads

No.99「1. NII’s New Director on the Future of NII 2. Mathematically Verifying the Safety of Automated Driving Systems」

Back number

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 @.