Kazunori Ueda
Professor in Computer Science
Japanese version of this page
Profile
(University site)
(Google Scholar)
Software:
LMNtal: a programming and modelling language with model checking and an integrated visual environment
HydLa: a constraint-based hybrid systems modeling language
[revived!]
KLIC: a portable implementation of KL1
(version 3.01)
[new]
3D printing:
Modular 3D Printing: marriage of 3D printing and traditional Japanese construction
Conferences:
16th International Conference on Graph Transformation (ICGT 2023, Leicester, UK, July 17-21, 2023)
Publications (English)
Publications (English + Japanese)
The following information is currently available only in Japanese:
Courses
Readings
Introduction to the Ueda Lab. (for undergraduates)
Last update: December 25, 2022
ueda at ueda.info.waseda.ac.jp