Lecturer in Graduate School of Computer and Information Sciences at Hosei University.
The first developer of formal method in the Japanese industrial world.
- Tokyo
-
03:24
(UTC +09:00)
Popular repositories Loading
-
overturetool.github.io
overturetool.github.io PublicForked from overturetool/overturetool.github.io
The Overture Tool Website
JavaScript
-
-
vdmexample
vdmexample PublicVDM (Vienna Development Method) examples with Japanese identifiers. A few examples with English.
TeX
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.